ESOP 2011

25 papers

1. A New Method for Dependent Parsing · Trevor Jim, Yitzhak Mandelbaum
2. A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract) · Vasileios Koutavas, Matthew Hennessy
3. Algorithmic Nominal Game Semantics · Andrzej S. Murawski, Nikos Tzevelekos
4. Barriers in Concurrent Separation Logic · Aquinas Hobor, Cristian Gherghina
5. Biochemical Reaction Rules with Constraints · Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
6. Compiling Information-Flow Security to Minimal Trusted Computing Bases · Cédric Fournet, Jérémy Planul
7. Dataflow Analysis for Datarace-Free Programs · Arnab De, Deepak D'Souza, Rupesh Nasre
8. From Exponential to Polynomial-Time Security Typing via Principal Types · Sebastian Hunt, David Sands
9. General Bindings and Alpha-Equivalence in Nominal Isabelle · Christian Urban, Cezary Kaliszyk
10. Generalizing the Template Polyhedral Domain · Michael Colón, Sriram Sankaranarayanan
11. Improving Strategies via SMT Solving · Thomas Martin Gawlitza, David Monniaux
12. Linear Absolute Value Relation Analysis · Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
13. Measure Transformer Semantics for Bayesian Machine Learning · Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
14. Polymorphic Contracts · João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
15. Precise Interprocedural Analysis in the Presence of Pointers to the Stack · Pascal Sotin, Bertrand Jeannet
16. Proving Isolation Properties for Software Transactional Memory · Annette Bieniusa, Peter Thiemann
17. Secure the Clones - Static Enforcement of Policies for Secure Object Copying · Thomas P. Jensen, Florent Kirchner, David Pichardie
18. Semantics of Concurrent Revisions · Sebastian Burckhardt, Daan Leijen
19. Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs · Antoine Miné
20. The Relationship between Separation Logic and Implicit Dynamic Frames · Matthew J. Parkinson, Alexander J. Summers
21. Transfer Function Synthesis without Quantifier Elimination · Jörg Brauer, Andy King
22. Type-Based Access Control in Data-Centric Systems · Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
23. Typing Copyless Message Passing · Viviana Bono, Chiara Messa, Luca Padovani
24. Typing Local Control and State Using Flow Analysis · Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
25. Verified Software Toolchain - (Invited Talk) · Andrew W. Appel