default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22. ESOP 2013: Rome, Italy (Part of ETAPS 2013)
- Matthias Felleisen, Philippa Gardner:
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. Lecture Notes in Computer Science 7792, Springer 2013, ISBN 978-3-642-37035-9
Invited Talk
- Mark S. Miller, Tom Van Cutsem
, Bill Tulloh:
Distributed Electronic Rights in JavaScript. 1-20
Session I: Programming Techniques
- Mihai Budiu, Joel Galenson, Gordon D. Plotkin:
The Compiler Forest. 21-40 - Arthur Charguéraud:
Pretty-Big-Step Semantics. 41-60 - Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
Language Constructs for Non-Well-Founded Computation. 61-80
Session II: Programming Tools
- Stephen Chang:
Laziness by Need. 81-100 - Kazutaka Matsuda, Meng Wang:
FliPpr: A Prettier Invertible Printing System. 101-120 - María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. 121-124 - Jean-Christophe Filliâtre, Andrei Paskevich:
Why3 - Where Programs Meet Provers. 125-128
Session III: Separation Logic
- Constantin Enea, Vlad Saveluc, Mihaela Sighireanu:
Compositional Invariant Checking for Overlaid and Nested Linked Lists. 129-148 - Ioannis T. Kassios, Eleftherios Kritikos:
A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness. 149-168 - Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson:
Modular Reasoning about Separation of Concurrent Data Structures. 169-188 - John Wickerson, Mike Dodds, Matthew J. Parkinson:
Ribbon Proofs for Separation Logic. 189-208
Session IV: Gradual Typing
- Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala:
Abstract Refinement Types. 209-228 - Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt:
Constraining Delimited Control with Contracts. 229-248
Session V: Shared-Memory Concurrency and Verification
- Alexey Gotsman, Noam Rinetzky, Hongseok Yang:
Verifying Concurrent Memory Reclamation Algorithms with Grace. 249-269 - Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer:
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. 270-289 - Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza:
Verifying Concurrent Programs against Sequential Specifications. 290-309
Session VI: Process Calculi
- Kirstin Peters, Uwe Nestmann, Ursula Goltz:
On Distributability in Process Calculi. 310-329 - Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Behavioral Polymorphism and Parametricity in Session-Based Communication. 330-349 - Bernardo Toninho, Luís Caires, Frank Pfenning:
Higher-Order Processes, Functions, and Sessions: A Monadic Integration. 350-369 - Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Concurrent Flexible Reversibility. 370-390
Session VII: Taming Concurrency
- Yi Lu, John Potter, Jingling Xue:
Structural Lock Correlation with Ownership Types. 391-410 - Joost-Pieter Katoen, Doron A. Peled:
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. 411-430
Session VIII: Model Checking and Verification
- Naoki Kobayashi, Atsushi Igarashi:
Model-Checking Higher-Order Programs with Recursive Types. 431-450 - Mohamed Nassim Seghir, Daniel Kroening:
Counterexample-Guided Precondition Inference. 451-471 - Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Information Reuse for Multi-goal Reachability Analyses. 472-491
Session IX: Weak-Memory Concurrency and Verification
- Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely:
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). 492-511 - Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig:
Software Verification for Weak Memory via Program Transformation. 512-532 - Ahmed Bouajjani, Egor Derevenetc, Roland Meyer:
Checking and Enforcing Robustness against TSO. 533-553
Session X: Types, Inference, and Analysis
- Gabriel Scherer, Didier Rémy:
GADTs Meet Subtyping. 554-573 - Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori:
A Data Driven Approach for Algebraic Loop Invariants. 574-592 - Martin Hofmann, Dulma Rodriguez:
Automatic Type Inference for Amortised Heap-Space Analysis. 593-613
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
