Micro-architecture designers are very cautious about expanding the number of architected and exposed registers in the instruction set because increas...

In order to achieve better precision of abstract interpretation-based static analysis, we introduce a new generic abstract domain, the trace partition...

The notion of control dependence underlies many program analysis and transformation techniques. Despite being widely used, existing definitions and ap...

We show how to limit a program’s resource usage in an efficient way, using a novel combination of dynamic checks and static analysis. Usually, dynamic...

We consider integer arithmetic modulo a power of 2 as provided by mainstream programming languages like Java or standard implementations of C. The dif...