POPL 2009:

• Static contract checking for Haskell
• A calculus of atomic actions
• SPEED: precise and efficient static estimation of program computational complexity
• Automatic modular abstractions for linear constraints
• Verifying distributed systems: the operational approach

CADE 22:

• Progress in the Development of Automated Theorem Proving for Higher-order Logic
• Ground Interpolation for Theory Combination
• Superposition and Model Evolution Combined
• Decidability Results for Saturation-Based Model Building
• Real World Verification
• Interpolation and Symbol Elimination
• Automated Inference of Finite Unsatisfiability