Efficient Local Unfolding with Ancestor Stacks

Efficient Loop Navigation for Symbolic Execution

Elementary affine $lambda$-calculus with multithreading and side effects

Elementary transformation analysis for Array-OL

Encapsulation and Dynamic Modularity in the Pi-Calculus

Enforcing Secure Object Initialization in Java

Enhanced sharing analysis techniques: a comprehensive evaluation

Ensuring Query Compatibility with Evolving XML Schemas

Ensuring Spreadsheet Integrity with Model Master

Equality Saturation: A New Approach to Optimization

Equality, Quasi-Implicit Products, and Large Eliminations

Estimating the overlap between dependent computations for automatic parallelization

Evaluating Call-By-Need on the Control Stack

Evaluation strategies for monadic computations

Event Synchronization by Lightweight Message Passing

Events! (Reactivity in urbiscript)

Expansion for Universal Quantifiers

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Explaining Constraint Programming

Expressiveness and Extensions of an Instruction Sequence Semigroup