Advertisement

Programming Languages and Systems

29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

  • Peter Müller
Open Access
Conference proceedings ESOP 2020

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12075)

Table of contents

  1. Front Matter
    Pages i-xv
    PDF
  2. Trace-Relating Compiler Correctness and Secure Compilation
    Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hrițcu et al.
    Pages 1-28 Open Access
    PDF
  3. Runners in Action
    Danel Ahman, Andrej Bauer
    Pages 29-55 Open Access
    PDF
  4. On the Versatility of Open Logical Relations
    Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
    Pages 56-83 Open Access
    PDF
  5. Constructive Game Logic
    Brandon Bohrer, André Platzer
    Pages 84-111 Open Access
    PDF
  6. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
    Pages 112-140 Open Access
    PDF
  7. Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
    Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
    Pages 141-168 Open Access
    PDF
  8. Soundness Conditions for Big-Step Semantics
    Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
    Pages 169-196 Open Access
    PDF
  9. Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap
    Kimball Germane, Michael D. Adams
    Pages 197-223 Open Access
    PDF
  10. SMT-Friendly Formalization of the Solidity Memory Model
    Ákos Hajdu, Dejan Jovanović
    Pages 224-250 Open Access
    PDF
  11. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
    Sung-Shik Jongmans, Nobuko Yoshida
    Pages 251-279 Open Access
    PDF
  12. Verifying Visibility-Based Weak Consistency
    Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanović
    Pages 280-307 Open Access
    PDF
  13. Local Reasoning for Global Graph Properties
    Siddharth Krishna, Alexander J. Summers, Thomas Wies
    Pages 308-335 Open Access
    PDF
  14. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
    Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
    Pages 336-365 Open Access
    PDF
  15. Continualization of Probabilistic Programs With Correction
    Jacob Laurel, Sasa Misailovic
    Pages 366-393 Open Access
    PDF
  16. Semantic Foundations for Deterministic Dataflow and Stream Processing
    Konstantinos Mamouras
    Pages 394-427 Open Access
    PDF
  17. Connecting Higher-Order Separation Logic to a First-Order Outside World
    William Mansky, Wolf Honoré, Andrew W. Appel
    Pages 428-455 Open Access
    PDF
  18. Modular Inference of Linear Types for Multiplicity-Annotated Arrows
    Kazutaka Matsuda
    Pages 456-483 Open Access
    PDF
  19. RustHorn: CHC-Based Verification for Rust Programs
    Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
    Pages 484-514 Open Access
    PDF
  20. A First-Order Logic with Frames
    Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
    Pages 515-543 Open Access
    PDF
  21. Proving the Safety of Highly-Available Distributed Objects
    Sreeja S. Nair, Gustavo Petri, Marc Shapiro
    Pages 544-571 Open Access
    PDF
  22. Solving Program Sketches with Large Integer Values
    Rong Pan, Qinheping Hu, Rishabh Singh, Loris D’Antoni
    Pages 572-598 Open Access
    PDF
  23. Modular Relaxed Dependencies in Weak Memory Concurrency
    Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
    Pages 599-625 Open Access
    PDF
  24. ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
    Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget et al.
    Pages 626-655 Open Access
    PDF
  25. Higher-Ranked Annotation Polymorphic Dependency Analysis
    Fabian Thorand, Jurriaan Hage
    Pages 656-683 Open Access
    PDF
  26. ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
    John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
    Pages 684-714 Open Access
    PDF
  27. Mixed Sessions
    Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
    Pages 715-742 Open Access
    PDF
  28. Higher-Order Spreadsheets with Spilled Arrays
    Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
    Pages 743-769 Open Access
    PDF
  29. Back Matter
    Pages 771-772
    PDF

About these proceedings

Introduction

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. 

Keywords

artificial intelligence computer networks computer programming computer security distributed computer systems embedded systems formal languages formal logic linguistics mathematics model checking object-oriented programming parallel processing systems program compilers semantics software architecture software design software engineering software quality verification and validation

Editors and affiliations

  1. 1.ETH ZurichZurichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-44914-8
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2020
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-44913-1
  • Online ISBN 978-3-030-44914-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site