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...

The ?-calculus, a calculus of mobile processes, can compositionally represent dynamics of major programming constructs by decomposing them into name p...