ESOP 2009

28 papers

1. A Basis for Verifying Multi-threaded Programs · K. Rustan M. Leino, Peter Müller
2. A Theory of Non-monotone Memory (Or: Contexts for free) · Eijiro Sumii
3. Abstract Processes in Orchestration Languages · Maria Grazia Buscemi, Hernán C. Melgratti
4. Abstraction for Concurrent Objects · Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
5. All Secrets Great and Small · Delphine Demange, David Sands
6. Amortised Memory Analysis Using the Depth of Data Structures · Brian Campbell
7. An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees · Hao Yuan, Patrick Th. Eugster
8. An Interval-Based Inference of Variant Parametric Types · Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
9. Automatic Parallelization with Separation Logic · Mohammad Raza, Cristiano Calcagno, Philippa Gardner
10. Conversation Types · Luís Caires, Hugo Torres Vieira
11. Deny-Guarantee Reasoning · Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis
12. Existential Quantification for Variant Ownership · Nicholas Cameron, Sophia Drossopoulou
13. Exploring the Design Space of Higher-Order Casts · Jeremy G. Siek, Ronald Garcia, Walid Taha
14. Formalising and Verifying Reference Attribute Grammars in Coq · Max Schäfer, Torbjörn Ekman, Oege de Moor
15. Global Principal Typing in Partially Commutative Asynchronous Sessions · Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
16. Handlers of Algebraic Effects · Gordon D. Plotkin, Matija Pretnar
17. Is Structural Subtyping Useful? An Empirical Study · Donna Malayeri, Jonathan Aldrich
18. Minimization Algorithm for Symbolic Bisimilarity · Filippo Bonchi, Ugo Montanari
19. Modular Monad Transformers · Mauro Jaskelioff
20. Practical Variable-Arity Polymorphism · T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen
21. Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming · Matthew R. Lakin, Andrew M. Pitts
22. SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs · Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
23. The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? · Jean-Marc Eber
24. Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services · Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens
25. Type-Based Automated Verification of Authenticity in Cryptographic Protocols · Daisuke Kikuchi, Naoki Kobayashi
26. Using Category Theory to Design Programming Languages · John C. Reynolds
27. Verified, Executable Parsing · Aditi Barthwal, Michael Norrish
28. Well-Typed Programs Can't Be Blamed · Philip Wadler, Robert Bruce Findler