TOPLAS 2011

21 papers

1. A Theory of Synchronous Relational Interfaces · Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
2. An Abstract Model of Certificate Translation · Gilles Barthe, César Kunz
3. Automated termination proofs for haskell by term rewriting · Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
4. Bottom-up shape analysis using LISF · Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
5. Editorial · Jens Palsberg
6. Editorial note · Jens Palsberg
7. Environmental bisimulations for higher-order languages · Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
8. Fast interprocedural linear two-variable equalities · Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl
9. Floyd-hoare logic for quantum programs · Mingsheng Ying
10. JavaGI: The Interaction of Type Classes with Interfaces and Inheritance · Stefan Wehr, Peter Thiemann
11. LOCKSMITH: Practical static race detection for C · Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
12. Mathematical foundation of trace scheduling · Utpal Banerjee
13. Mechanically verified proof obligations for linearizability · John Derrick, Gerhard Schellhorn, Heike Wehrheim
14. Morphing: Structurally shaping a class by reflecting on others · Shan Shan Huang, Yannis Smaragdakis
15. On contract satisfaction in a higher-order world · Christos Dimoulas, Matthias Felleisen
16. Refactoring using type constraints · Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter
17. Refinement types for secure implementations · Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
18. Semantics of transactional memory and automatic mutual exclusion · Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
19. Separating ownership topology and encapsulation with generic universe types · Werner Dietl, Sophia Drossopoulou, Peter Müller
20. Software model checking using languages of nested trees · Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
21. Solving systems of rational equations through strategy iteration · Thomas Martin Gawlitza, Helmut Seidl