


default search action
29th ESOP@ETAPS 2020: Dublin, Ireland
- Peter Müller

:
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. Lecture Notes in Computer Science 12075, Springer 2020, ISBN 978-3-030-44913-1 - Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani

, Éric Tanter, Jérémy Thibault:
Trace-Relating Compiler Correctness and Secure Compilation. 1-28 - Danel Ahman, Andrej Bauer:

Runners in Action. 29-55 - Gilles Barthe

, Raphaëlle Crubillé, Ugo Dal Lago
, Francesco Gavazzo
:
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. 56-83 - Rose Bohrer

, André Platzer
:
Constructive Game Logic. 84-111 - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

:
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. 112-140 - Andreea Costea

, Amy Zhu
, Nadia Polikarpova
, Ilya Sergey
:
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. 141-168 - Francesco Dagnino

, Viviana Bono
, Elena Zucca
, Mariangiola Dezani-Ciancaglini
:
Soundness Conditions for Big-Step Semantics. 169-196 - Kimball Germane

, Michael D. Adams:
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. 197-223 - Ákos Hajdu

, Dejan Jovanovic
:
SMT-Friendly Formalization of the Solidity Memory Model. 224-250 - Sung-Shik Jongmans

, Nobuko Yoshida
:
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. 251-279 - Siddharth Krishna

, Michael Emmi, Constantin Enea, Dejan Jovanovic:
Verifying Visibility-Based Weak Consistency. 280-307 - Siddharth Krishna

, Alexander J. Summers, Thomas Wies:
Local Reasoning for Global Graph Properties. 308-335 - Morten Krogh-Jespersen, Amin Timany

, Marit Edna Ohlenbusch, Simon Oddershede Gregersen
, Lars Birkedal
:
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. 336-365 - Jacob Laurel, Sasa Misailovic:

Continualization of Probabilistic Programs With Correction. 366-393 - Konstantinos Mamouras

:
Semantic Foundations for Deterministic Dataflow and Stream Processing. 394-427 - William Mansky

, Wolf Honoré
, Andrew W. Appel
:
Connecting Higher-Order Separation Logic to a First-Order Outside World. 428-455 - Kazutaka Matsuda

:
Modular Inference of Linear Types for Multiplicity-Annotated Arrows. 456-483 - Yusuke Matsushita

, Takeshi Tsukada
, Naoki Kobayashi
:
RustHorn: CHC-Based Verification for Rust Programs. 484-514 - Adithya Murali

, Lucas Peña, Christof Löding, P. Madhusudan
:
A First-Order Logic with Frames. 515-543 - Sreeja S. Nair

, Gustavo Petri
, Marc Shapiro
:
Proving the Safety of Highly-Available Distributed Objects. 544-571 - Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni:

Solving Program Sketches with Large Integer Values. 572-598 - Marco Paviotti

, Simon Cooksey, Anouk Paradis, Daniel Wright
, Scott Owens, Mark Batty:
Modular Relaxed Dependencies in Weak Memory Concurrency. 599-625 - Ben Simner, Shaked Flur, Christopher Pulte

, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell:
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. 626-655 - Fabian Thorand, Jurriaan Hage

:
Higher-Ranked Annotation Polymorphic Dependency Analysis. 656-683 - John Toman

, Ren Siqi, Kohei Suenaga
, Atsushi Igarashi
, Naoki Kobayashi
:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. 684-714 - Vasco T. Vasconcelos

, Filipe Casal
, Bernardo Almeida
, Andreia Mordido
:
Mixed Sessions. 715-742 - Jack Williams

, Nima Joharizadeh
, Andrew D. Gordon
, Advait Sarkar
:
Higher-Order Spreadsheets with Spilled Arrays. 743-769

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














