ESOP 2015

33 papers

1. A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches · Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
2. A Semantics for Propositions as Sessions · Sam Lindley, J. Garrett Morris
3. A Separation Logic for Fictional Sequential Consistency · Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod
4. A Theory of Name Resolution · Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
5. A Verified Compiler for Probability Density Functions · Manuel Eberl, Johannes Hölzl, Tobias Nipkow
6. Analysis of Asynchronous Programs with Event-Based Synchronization · Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
7. Automatic Static Cost Analysis for Parallel Programs · Jan Hoffmann, Zhong Shao
8. Binding Structures as an Abstract Data Type · Wilmer Ricciotti
9. CoLoSL: Concurrent Local Subjective Logic · Azalea Raad, Jules Villard, Philippa Gardner
10. Composite Replicated Data Types · Alexey Gotsman, Hongseok Yang
11. Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages · Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
12. Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions · Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
13. Full Reduction in the Face of Absurdity · Gabriel Scherer, Didier Rémy
14. Inter-procedural Two-Variable Herbrand Equalities · Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
15. IsoLATE: A Type System for Self-recursion · Ravi Chugh
16. Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System · Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
17. Monotonic References for Efficient Gradual Typing · Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
18. Probabilistic Programs as Spreadsheet Queries · Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel + 1 more
19. Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs · Cristina David, Daniel Kroening, Matt Lewis
20. Refinement Types for Incremental Computational Complexity · Ezgi Çiçek, Deepak Garg, Umut A. Acar
21. Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement · Tachio Terauchi, Hiroshi Unno
22. Running Probabilistic Programs Backwards · Neil Toronto, Jay McCarthy, David Van Horn
23. Segment Abstraction for Worst-Case Execution Time Analysis · Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
24. Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs · Willem Penninckx, Bart Jacobs, Frank Piessens
25. Spatial Interpolants · Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
26. Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity · Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
27. Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection · Tie Cheng, Xavier Rival
28. The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO · Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong
29. The Problem of Programming Language Concurrency Semantics · Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
30. Type Targeted Testing · Eric L. Seidel, Niki Vazou, Ranjit Jhala
31. Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages · Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
32. Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs · Cristina David, Daniel Kroening, Matt Lewis
33. Witnessing (Co)datatypes · Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel