ESOP 2019

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas:

Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, synchronous and real-time programming languages;
Methods and tools to write and specify programs and languages: programming techniques, logical foundations, denotational semantics, operational semantics, meta programming, module systems, language-based security;
Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing;
Methods and tools for implementation: program transformations, rewriting systems, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments;
Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages.

Contributions bridging the gap between theory and practice are particularly welcome.

Accepted Papers

	Title
	A Categorical Model of an i/o-typed pi-calculus ESOP Ken Sakayori, Takeshi Tsukada Link to publication
	An abstract domain for trees with numeric relations ESOP Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout Link to publication
	A Process Algebra for Link Layer Protocols ESOP Rob van Glabbeek, Peter Höfner, Michael Markl Link to publication
	A static higher-order dependency pair framework ESOP Carsten Fuhs, Cynthia Kop Link to publication
	Asynchronous timed session types: duality and time-sensitive processes ESOP Laura Bocchi, Maurizio Murgia, Vasco T. Vasconcelos, Nobuko Yoshida Link to publication
	Codata in Action ESOP Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones Link to publication
	Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses ESOP Henning Basold, Ekaterina Komendantskaya, Yue Li Link to publication
	Compiling Sandboxes: Formally Verified Software Fault Isolation ESOP Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke Link to publication
	Composing bidirectional programs monadically ESOP Li-yao Xia, Dominic Orchard, Meng Wang Link to publication
	Counters in Kappa: Semantics, Simulation, and Static Analysis ESOP Pierre Boutillier, Ioana Cristescu, Jerome Feret Link to publication
	Data-Races and Static Analysis for Interrupt-Driven Kernels ESOP Nikita Chopra, R Rekha, Deepak D'Souza Link to publication
	Distributive Disjoint Polymorphism for Compositional Programming ESOP Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers Link to publication
	Effectful Normal-Form Bisimulation ESOP Ugo Dal Lago, Francesco Gavazzo Link to publication
	Extended call-by-push-value: reasoning about effectful programs and evaluation orderBest paper nomination ESOP Dylan McDermott, Alan Mycroft Link to publication
	Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog ESOP Michael Peyton Jones, Mario Alvarez-Picallo, Alexander Eyers-Taylor, C.-H. Luke Ong Link to publication
	Handling polymorphic algebraic effects ESOP Taro Sekiyama, Atsushi Igarashi Link to publication
	Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation ESOP Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster Link to publication
	Manifest Deadlock-Freedom for Shared Session Types ESOP Stephanie Balzer, Bernardo Toninho, Frank Pfenning Link to publication
	Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms ESOP Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy Link to publication
	One Step at a Time ESOP Kathleen Fisher, Ferdinand Vesely Link to publication
	On the Multi-Language Construction ESOP Samuele Buro, Isabella Mastroeni Link to publication
	Probabilistic Programming Inference via Intensional Semantics ESOP Simon Castellan, Hugo Paquet Link to publication
	Robustly Safe Compilation ESOP Marco Patrignani, Deepak Garg Link to publication
	Safe Deferred Memory Reclamation with Types ESOP Ismail Kuru, Colin Gordon Link to publication
	Semi-Automated Reasoning About Non-Determinism in C Expressions ESOP Dan Frumin, Léon Gondelman, Robbert Krebbers Link to publication
	Time Credits and Time Receipts in Iris ESOP Glen Mével, Jacques-Henri Jourdan, François Pottier Link to publication
	Types by Need ESOP Beniamino Accattoli, Giulio Guerrieri, Maico Leberle Link to publication
	Verifiable certificates for predicate subtyping ESOP Frédéric Gilbert Link to publication

Call for Papers

Please check out the ETAPS.org web site for the joint Call for Papers.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Program VerificationESOP at SUN II Chair(s): Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa

10:30 30m Talk		Time Credits and Time Receipts in Iris ESOP Glen Mével , Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud, François Pottier Inria, France Link to publication
11:00 30m Talk		*Meta-F: Proof Automation with SMT, Tactics, and Metaprograms** ESOP Guido Martínez CIFASIS-CONICET, Argentina, Danel Ahman University of Ljubljana, Victor Dumitrescu Nomadic Labs Paris, Nick Giannarakis Princeton University, Chris Hawblitzel Microsoft Research, Cătălin Hriţcu Inria Paris, Monal Narasimhamurthy University of Colorado, Boulder, Zoe Paraskevopoulou Princeton University, Clément Pit-Claudel MIT CSAIL, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research Link to publication
11:30 30m Talk		Semi-Automated Reasoning About Non-Determinism in C Expressions ESOP Dan Frumin Radboud University, Léon Gondelman LRI, Université Paris-Sud, Robbert Krebbers Delft University of Technology Link to publication
12:00 30m Talk		Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog ESOP Michael Peyton Jones IOHK, Mario Alvarez-Picallo University of Oxford, Alexander Eyers-Taylor Semmle, C.-H. Luke Ong University of Oxford Link to publication

14:00 - 16:00	Language DesignESOP at SUN II Chair(s): Atsushi Igarashi Kyoto University, Japan

14:00 30m Talk		Codata in Action ESOP Paul Downen University of Oregon, USA, Zachary Sullivan , Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft, UK Link to publication
14:30 30m Talk		Composing bidirectional programs monadically ESOP Li-yao Xia University of Pennsylvania, Dominic Orchard University of Kent, UK, Meng Wang University of Bristol, UK Link to publication
15:00 30m Talk		Counters in Kappa: Semantics, Simulation, and Static Analysis ESOP Pierre Boutillier , Ioana Cristescu INRIA, France, Jerome Feret INRIA Paris Link to publication
15:30 30m Talk		One Step at a Time ESOP Kathleen Fisher Tufts University, Ferdinand Vesely Swansea University Link to publication

Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	TypesESOP at SUN II Chair(s): Vasco T. Vasconcelos University of Lisbon, Portugal

10:30 30m Talk		Handling polymorphic algebraic effects ESOP Taro Sekiyama National Institute of Informatics, Atsushi Igarashi Kyoto University, Japan Link to publication
11:00 30m Talk		Distributive Disjoint Polymorphism for Compositional Programming ESOP Xuan Bi Standard Chartered Bank, Ningning Xie University of Toronto, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong, Tom Schrijvers KU Leuven Link to publication
11:30 30m Talk		Types by Need ESOP Beniamino Accattoli Inria & Ecole Polytechnique, Giulio Guerrieri University of Bath, Maico Leberle Link to publication
12:00 30m Talk		Verifiable certificates for predicate subtyping ESOP Frédéric Gilbert Link to publication

14:00 - 16:00	Program SemanticsESOP at SUN II Chair(s): Andrzej Murawski University of Oxford

14:00 30m Talk		Extended call-by-push-value: reasoning about effectful programs and evaluation orderBest paper nomination ESOP Dylan McDermott University of Cambridge, Alan Mycroft University of Cambridge Link to publication
14:30 30m Talk		Effectful Normal-Form Bisimulation ESOP Ugo Dal Lago University of Bologna / Inria, Francesco Gavazzo Link to publication
15:00 30m Talk		On the Multi-Language Construction ESOP Samuele Buro Università degli Studi di Verona, Isabella Mastroeni University of Verona, Italy Link to publication
15:30 30m Talk		Probabilistic Programming Inference via Intensional Semantics ESOP Simon Castellan Imperial College London, UK, Hugo Paquet University of Cambridge Link to publication

Wed 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Security and Incremental ComputationESOP at SUN II Chair(s): Zhong Shao Yale University

10:30 30m Talk		Robustly Safe Compilation ESOP Marco Patrignani Stanford University & CISPA Helmholtz Center for Information Security, Deepak Garg Max Planck Institute for Software Systems Link to publication
11:00 30m Talk		Compiling Sandboxes: Formally Verified Software Fault Isolation ESOP Frédéric Besson , Sandrine Blazy Univ Rennes- IRISA, Alexandre Dang , Thomas P. Jensen INRIA Rennes, Pierre Wilke Yale University Link to publication
11:30 30m Talk		Safe Deferred Memory Reclamation with Types ESOP Ismail Kuru Drexel University, Colin Gordon Drexel University Link to publication
12:00 30m Talk		Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation ESOP Paolo G. Giarrusso TU Delft, The Netherlands, Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Philipp Schuster University of Tübingen, Germany Link to publication

14:00 - 16:00	Concurrency and DistributionESOP at SUN II Chair(s): Luca Padovani University of Turin

14:00 30m Talk		Asynchronous timed session types: duality and time-sensitive processes ESOP Laura Bocchi University of Kent, Maurizio Murgia , Vasco T. Vasconcelos University of Lisbon, Portugal, Nobuko Yoshida Imperial College London Link to publication
14:30 30m Talk		Manifest Deadlock-Freedom for Shared Session Types ESOP Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Imperial College London, Frank Pfenning Carnegie Mellon University, USA Link to publication
15:00 30m Talk		A Categorical Model of an i/o-typed pi-calculus ESOP Ken Sakayori The University of Tokyo, Takeshi Tsukada University of Tokyo, Japan Link to publication
15:30 30m Talk		A Process Algebra for Link Layer Protocols ESOP Rob van Glabbeek , Peter Höfner , Michael Markl Link to publication

Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Program Analysis and Automated VerificationESOP at SUN II Chair(s): Stephanie Balzer Carnegie Mellon University

10:30 30m Talk		Data-Races and Static Analysis for Interrupt-Driven Kernels ESOP Nikita Chopra , R Rekha , Deepak D'Souza Link to publication
11:00 30m Talk		An abstract domain for trees with numeric relations ESOP Matthieu Journault , Antoine Miné UPMC, France, Abdelraouf Ouadjaout Sorbonne Université Link to publication
11:30 30m Talk		A static higher-order dependency pair framework ESOP Carsten Fuhs Birkbeck, University of London, Cynthia Kop Radboud University Nijmegen Link to publication
12:00 30m Talk		Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses ESOP Henning Basold CNRS & ENS Lyon, Ekaterina Komendantskaya Heriot-Watt University, UK, Yue Li Heriot-Watt University, UK Link to publication

>>> Link to the full proceedings of ESOP 2019

Accepted Papers

Call for Papers

Program Display Configuration

Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Proceedings

Luís CairesChair

NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa

Portugal

Nada Amin

University of Cambridge

United Kingdom

Stephanie Balzer

Carnegie Mellon University

United States

Lars Birkedal

Aarhus University

Denmark

Johannes Borgström

Uppsala University

Sweden

Ugo Dal Lago

University of Bologna / Inria

Italy

Constantin Enea

Université Paris Diderot

France

Deepak Garg

Max Planck Institute for Software Systems

Germany

Simon J. Gay

University of Glasgow, UK

United Kingdom

Alexey Gotsman

IMDEA Software Institute

Spain

Martin Hofmann

LMU Munich (1965-2018)

Germany

Atsushi Igarashi

Kyoto University, Japan

Japan

Bart Jacobs

imec-DistriNet, Dept. CS, KU Leuven

Belgium

Isabella Mastroeni

University of Verona, Italy

Italy

J. Garrett Morris

University of Kansas, USA

United States

Markus Müller-Olm

University of Münster

Germany

Tim Nelson

Brown University

United States

Scott Owens

University of Kent, UK

United Kingdom

Luca Padovani

University of Turin

Italy

Brigitte Pientka

McGill University

Canada

Zhong Shao

Yale University

United States

Alexandra Silva

University College London

United Kingdom

David Walker

Princeton University

United States

Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change