ESOP 2010

32 papers

1. A Grammar-Based Approach to Invertible Programs · Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2. A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While · Keiko Nakata, Tarmo Uustalu
3. A PolyTime Functional Language from Light Linear Logic · Patrick Baillot, Marco Gaboardi, Virgile Mogbil
4. A Semantic Framework for Declassification and Endorsement · Aslan Askarov, Andrew C. Myers
5. A Theory of Speculative Computation · Gérard Boudol, Gustavo Petri
6. A Universal Calculus for Stream Processing Languages · Robert Soulé, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar + 1 more
7. Amortised Resource Analysis with Separation Logic · Robert Atkey
8. Amortized Resource Analysis with Polynomial Potential · Jan Hoffmann, Martin Hofmann
9. Automating Security Mediation Placement · Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
10. CFA2: A Context-Free Approach to Control-Flow Analysis · Dimitrios Vardoulakis, Olin Shivers
11. Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis · Assalé Adjé, Stéphane Gaubert, Eric Goubault
12. Deadlock-Free Channels and Locks · K. Rustan M. Leino, Peter Müller, Jan Smans
13. Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions · David A. Naumann, Anindya Banerjee
14. Enforcing Stateful Authorization and Information Flow Policies in Fine · Nikhil Swamy, Juan Chen, Ravi Chugh
15. Explicit Stabilisation for Modular Rely-Guarantee Reasoning · John Wickerson, Mike Dodds, Matthew J. Parkinson
16. Faulty Logic: Reasoning about Fault Tolerant Programs · Matthew L. Meola, David Walker
17. Fluid Updates: Beyond Strong vs. Weak Updates · Isil Dillig, Thomas Dillig, Alex Aiken
18. Formal Verification of Coalescing Graph-Coloring Register Allocation · Sandrine Blazy, Benoît Robillard, Andrew W. Appel
19. Functional Programming in Sublinear Space · Ugo Dal Lago, Ulrich Schöpp
20. Generative Operational Semantics for Relaxed Memory Models · Radha Jagadeesan, Corin Pitcher, James Riely
21. Logical Concurrency Control from Sequential Proofs · Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
22. On the Expressive Power of Primitives for Compensation Handling · Ivan Lanese, Cátia Vaz, Carla Ferreira
23. Parameterized Memory Models and Concurrent Separation Logic · Rodrigo Ferreira, Xinyu Feng, Zhong Shao
24. Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays · Torben Amtoft, John Hatcliff, Edwin Rodríguez
25. Propositional Interpolation and Abstract Interpretation · Vijay D'Silva
26. Separating Shape Graphs · Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
27. Stateful Contracts for Affine Types · Jesse A. Tov, Riccardo Pucella
28. TRX: A Formally Verified Parser Interpreter · Adam Koprowski, Henri Binsztok
29. Testing Polymorphic Properties · Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
30. The Audacity of Hope: Thoughts on Reclaiming the Database Dream · Sam Lindley, Philip Wadler
31. Verifying a Compiler for Java Threads · Andreas Lochbihler
32. Weighted Dynamic Pushdown Networks · Alexander Wenner