ESOP 2012

29 papers

1. A Compositional Specification Theory for Component Behaviours · Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
2. A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert · Gilles Barthe, Delphine Demange, David Pichardie
3. A Process Algebra for Wireless Mesh Networks · Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
4. A Systematic Approach to Delimited Control with Multiple Prompts · Paul Downen, Zena M. Ariola
5. A Type and Effect System for Determinism in Multithreaded Programs · Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
6. Adding Equations to System F Types · Neelakantan R. Krishnaswami, Nick Benton
7. Automated Verification of Equivalence Properties of Cryptographic Protocols · Rohit Chadha, Stefan Ciobaca, Steve Kremer
8. Complete Monitors for Behavioral Contracts · Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
9. Concurrent Library Correctness on the TSO Memory Model · Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
10. Eventually Consistent Transactions · Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv
11. Expansion for Universal Quantifiers · Sergueï Lenglet, Joe B. Wells
12. Fictional Separation Logic · Jonas Braband Jensen, Lars Birkedal
13. Foundations of C++ · Bjarne Stroustrup
14. GMeta: A Generic Formal Metatheory Framework for First-Order Representations · Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
15. Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce · Kento Emoto, Sebastian Fischer, Zhenjiang Hu
16. Gradual Ownership Types · Ilya Sergey, Dave Clarke
17. Java and the Java Memory Model - A Unified, Machine-Checked Formalisation · Andreas Lochbihler
18. Linear Logical Relations for Session-Based Concurrency · Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
19. Multiparty Session Types Meet Communicating Automata · Pierre-Malo Deniélou, Nobuko Yoshida
20. Non-monotonic Self-Adjusting Computation · Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch
21. On the Correctness of the SIMT Execution Model of GPUs · Axel Habermaier, Alexander Knapp
22. Probabilistic Abstract Interpretation · Patrick Cousot, Michael Monerau
23. Reasoning about Lock Placements · Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
24. Reasoning about Multi-stage Programs · Jun Inoue, Walid Taha
25. Staged Computation with Staged Lexical Scope · Morten Rhiger
26. The Call-by-Need Lambda Calculus, Revisited · Stephen Chang, Matthias Felleisen
27. Trace Spaces: An Efficient New Technique for State-Space Reduction · Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
28. Validating LR(1) Parsers · Jacques-Henri Jourdan, François Pottier, Xavier Leroy
29. What's Decidable about Weak Memory Models? · Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi