Programming Languages and Systems

24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

  • Jan Vitek
Conference proceedings ESOP 2015

DOI: 10.1007/978-3-662-46669-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9032)

Table of contents (33 papers)

  1. Front Matter
    Pages 1-12
  2. Probabilistic Programs as Spreadsheet Queries
    Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel et al.
    Pages 1-25
  3. Running Probabilistic Programs Backwards
    Neil Toronto, Jay McCarthy, David Van Horn
    Pages 53-79
  4. A Verified Compiler for Probability Density Functions
    Manuel Eberl, Johannes Hölzl, Tobias Nipkow
    Pages 80-104
  5. Segment Abstraction for Worst-Case Execution Time Analysis
    Pavol Černý, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
    Pages 105-131
  6. Automatic Static Cost Analysis for Parallel Programs
    Jan Hoffmann, Zhong Shao
    Pages 132-157
  7. Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
    Willem Penninckx, Bart Jacobs, Frank Piessens
    Pages 158-182
  8. Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs
    Cristina David, Daniel Kroening, Matt Lewis
    Pages 183-204
  9. A Theory of Name Resolution
    Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
    Pages 205-231
  10. A Core Calculus for XQuery 3.0
    Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
    Pages 232-256
  11. The Problem of Programming Language Concurrency Semantics
    Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
    Pages 283-307
  12. The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Tuan-Phong Ngo
    Pages 308-332
  13. Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
    Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
    Pages 333-358
  14. Witnessing (Co)datatypes
    Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
    Pages 359-382
  15. Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
    Burke Fetscher, Koen Claessen, Michał Pałka, John Hughes, Robert Bruce Findler
    Pages 383-405
  16. Refinement Types for Incremental Computational Complexity
    Ezgi Çiçek, Deepak Garg, Umut Acar
    Pages 406-431
  17. Monotonic References for Efficient Gradual Typing
    Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
    Pages 432-456
  18. Inter-procedural Two-Variable Herbrand Equalities
    Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
    Pages 457-482

About these proceedings


This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.


Cloud Computing Collaborative Computing Computer Vision Control Methods Data Management Systems Data Mining Decision Support Systems Document Management Information Retrieval Information Systems Applications Knowledge Reasoning Knowledge Representation Machine Learning Mobile Computing Multi-agent Systems Natural Language Processing Social Computing Text Processing Ubiquitous Computing e-learning

Editors and affiliations

  • Jan Vitek
    • 1
  1. 1.Northeastern UniversityBostonUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46668-1
  • Online ISBN 978-3-662-46669-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349