Accepted Papers

Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, and German Puebla
Java Bytecode Verification using Analysis and Transformation of Logic Programs

Achim D. Brucker, Burkhart Wolff
A Package for Extensible Object-Oriented Data Models with an Application to IMP++

Stefano Tonetta, Natasha Sharygina
A Uniform Framework for Predicate Abstraction Approximation

Dieu Donne Okalas Ossami, Jeanine Souquieres, and Jean-Pierre Jacquot
Ensuring Specifications Correctness by Construction

Luke Simon, Ajay Mallya, Ajay Bansal, and Gopal Gupta
Co-Logic Programming: Extending Logic Programming with Coinduction

Aleks Zaks, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Zijiang Yang, Malay Ganai, Aarti Gupta, and Pranav Ashar
Using Range Analysis for Software Verification

Ganna Zaks, Amir Pnueli
Translation Validation of Interprocedural Optimizations