ESOP 2007

35 papers

1. A Calculus for Orchestration of Web Services · Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2. A Certified Lightweight Non-interference Java Bytecode Verifier · Gilles Barthe, David Pichardie, Tamara Rezk
3. A Complete Guide to the Future · Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
4. A Concurrent Calculus with Atomic Transactions · Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
5. A Consistent Semantics of Self-adjusting Computation · Umut A. Acar, Matthias Blume, Jacob Donham
6. A Core Calculus for a Comparative Analysis of Bio-inspired Calculi · Cristian Versari
7. A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract) · Adrian Francalanza, Matthew Hennessy
8. A Rewriting Semantics for Type Inference · George Kuan, David MacQueen, Robert Bruce Findler
9. Abstract Predicates and Mutable ADTs in Hoare Type Theory · Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
10. Anti-pattern Matching · Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
11. CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements · Maria Grazia Buscemi, Ugo Montanari
12. Computing Procedure Summaries for Interprocedural Analysis · Sumit Gulwani, Ashish Tiwari
13. Controlling the What and Where of Declassification in Language-Based Security · Heiko Mantel, Alexander Reinhard
14. Cost Analysis of Java Bytecode · Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
15. Dependent Types for Low-Level Programming · Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
16. Immutable Objects for a Java-Like Language · Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
17. Interprocedurally Analysing Linear Inequality Relations · Helmut Seidl, Andrea Flexeder, Michael Petter
18. Modal I/O Automata for Interface and Product Line Theories · Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
19. Modular Shape Analysis for Dynamically Encapsulated Programs · Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
20. Multi-language Synchronization · Robert Ennals, David Gay
21. On the Implementation of Construction Functions for Non-free Concrete Data Types · Frédéric Blanqui, Thérèse Hardin, Pierre Weis
22. On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning · Xinyu Feng, Rodrigo Ferreira, Zhong Shao
23. Precise Fixpoint Computation Through Strategy Iteration · Thomas Gawlitza, Helmut Seidl
24. Principal Type Schemes for Modular Programs · Derek Dreyer, Matthias Blume
25. Probabilistic Anonymity Via Coalgebraic Simulations · Ichiro Hasuo, Yoshinobu Kawabe
26. Scalar Outcomes Suffice for Finitary Probabilistic Testing · Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
27. Small Witnesses for Abstract Interpretation-Based Proofs · Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
28. Static Analysis by Policy Iteration on Relational Domains · Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
29. Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic · Guodong Li, Scott Owens, Konrad Slind
30. Structured Communication-Centred Programming for Web Services · Marco Carbone, Kohei Honda, Nobuko Yoshida
31. Techniques for Contextual Equivalence in Higher-Order, Typed Languages · Andrew M. Pitts
32. The Java Memory Model: Operationally, Denotationally, Axiomatically · Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
33. Type Reconstruction for General Refinement Types · Kenneth L. Knowles, Cormac Flanagan
34. Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts · Kohei Suenaga, Naoki Kobayashi
35. Using History Invariants to Verify Observers · K. Rustan M. Leino, Wolfram Schulte