Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

  • Matthias Felleisen
  • Philippa Gardner

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Mark S. Miller, Tom Van Cutsem, Bill Tulloh
      Pages 1-20
  3. Session I: Programming Techniques

    1. Mihai Budiu, Joel Galenson, Gordon D. Plotkin
      Pages 21-40
    2. Arthur Charguéraud
      Pages 41-60
    3. Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
      Pages 61-80
  4. Session II: Programming Tools

    1. Stephen Chang
      Pages 81-100
    2. Kazutaka Matsuda, Meng Wang
      Pages 101-120
    3. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
      Pages 121-124
    4. Jean-Christophe Filliâtre, Andrei Paskevich
      Pages 125-128
  5. Session III: Separation Logic

    1. Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
      Pages 129-148
    2. Kasper Svendsen, Lars Birkedal, Matthew Parkinson
      Pages 169-188
    3. John Wickerson, Mike Dodds, Matthew Parkinson
      Pages 189-208
  6. Session IV: Gradual Typing

    1. Niki Vazou, Patrick M. Rondon, Ranjit Jhala
      Pages 209-228
    2. Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
      Pages 229-248
  7. Session V: Shared-Memory Concurrency and Verification

    1. Alexey Gotsman, Noam Rinetzky, Hongseok Yang
      Pages 249-269
    2. Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
      Pages 270-289
    3. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
      Pages 290-309
  8. Session VI: Process Calculi

    1. Kirstin Peters, Uwe Nestmann, Ursula Goltz
      Pages 310-329
    2. Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
      Pages 330-349
    3. Bernardo Toninho, Luis Caires, Frank Pfenning
      Pages 350-369
    4. Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
      Pages 370-390
  9. Session VII: Taming Concurrency

    1. Yi Lu, John Potter, Jingling Xue
      Pages 391-410
  10. Session VIII: Model Checking and Verification

    1. Naoki Kobayashi, Atsushi Igarashi
      Pages 431-450
    2. Mohamed Nassim Seghir, Daniel Kroening
      Pages 451-471
    3. Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
      Pages 472-491
  11. Session IX: Weak-Memory Concurrency and Verification

    1. Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
      Pages 492-511
    2. Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
      Pages 512-532
    3. Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
      Pages 533-553
  12. Session X: Types, Inference, and Analysis

    1. Gabriel Scherer, Didier Rémy
      Pages 554-573
    2. Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
      Pages 574-592
    3. Martin Hofmann, Dulma Rodriguez
      Pages 593-613
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.


concurrent programs higher-order programming program verification separation logic weak memory models

Editors and affiliations

  • Matthias Felleisen
    • 1
  • Philippa Gardner
    • 2
  1. 1.College of Computer ScienceNortheastern UniversityBostonUSA
  2. 2.Department of ComputingImperial CollegeLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-37035-9
  • Online ISBN 978-3-642-37036-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment