ESOP 2014

29 papers

1. A Coq Formalization of the Relational Data Model · Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava
2. A Core Quantitative Coeffect Calculus · Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
3. A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join · Ravi Mangal, Mayur Naik, Hongseok Yang
4. Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries · Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Rajeev Barua
5. An Abstract Domain to Infer Ordinal-Valued Ranking Functions · Caterina Urban, Antoine Miné
6. An Array-Oriented Language with Static Rank Polymorphism · Justin Slepak, Olin Shivers, Panagiotis Manolios
7. Application-Scale Secure Multiparty Computation · John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens
8. Automatic Termination Verification for Higher-Order Functional Programs · Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
9. Bounded Linear Types in a Resource Semiring · Dan R. Ghica, Alex I. Smith
10. Checking Linearizability of Encapsulated Extended Operations · Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
11. Communicating State Transition Systems for Fine-Grained Concurrent Resources · Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco
12. Composable Transactional Objects: A Position Paper · Maurice Herlihy, Eric Koskinen
13. Deriving Pretty-Big-Step Semantics from Small-Step Semantics · Casper Bach Poulsen, Peter D. Mosses
14. Gradual Typing for Annotated Type Systems · Peter Thiemann, Luminous Fennell
15. Grounding Synchronous Deterministic Concurrency in Sequential Programming · Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
16. Impredicative Concurrent Abstract Predicates · Kasper Svendsen, Lars Birkedal
17. Local Reasoning for the POSIX File System · Philippa Gardner, Gian Ntzik, Adam Wright
18. Measurements in Proof Nets as Higher-Order Quantum Circuits · Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
19. Model and Proof Generation for Heap-Manipulating Programs · Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel
20. On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi · Raphaëlle Crubillé, Ugo Dal Lago
21. Overlapping and Order-Independent Patterns - Definitional Equality for All · Jesper Cockx, Frank Piessens, Dominique Devriese
22. REAP: Reporting Errors Using Alternative Paths · João Matos, João Garcia, Paolo Romano
23. Resolving Non-determinism in Choreographies · Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
24. Staged Composition Synthesis · Boris Düdder, Moritz Martens, Jakob Rehof
25. Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis · Zhoulai Fu
26. The Duality of Construction · Paul Downen, Zena M. Ariola
27. The Network as a Language Construct · Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen
28. Verified Compilation for Shared-Memory C · Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel
29. Verifying an Open Compiler Using Multi-language Semantics · James T. Perconti, Amal Ahmed