ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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
Link to publication
A Process Algebra for Link Layer Protocols
ESOP
Link to publication
A static higher-order dependency pair framework
ESOP
Link to publication
An abstract domain for trees with numeric relations
ESOP
Link to publication
Asynchronous timed session types: duality and time-sensitive processes
ESOP
Link to publication
Codata in Action
ESOP
Link to publication
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
ESOP
Link to publication
Compiling Sandboxes: Formally Verified Software Fault Isolation
ESOP
Link to publication
Composing bidirectional programs monadically
ESOP
Link to publication
Counters in Kappa: Semantics, Simulation, and Static Analysis
ESOP
Link to publication
Data-Races and Static Analysis for Interrupt-Driven Kernels
ESOP
Link to publication
Distributive Disjoint Polymorphism for Compositional Programming
ESOP
Link to publication
Effectful Normal-Form Bisimulation
ESOP
Link to publication
Extended call-by-push-value: reasoning about effectful programs and evaluation orderBest paper nomination
ESOP
Link to publication
Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
ESOP
Link to publication
Handling polymorphic algebraic effects
ESOP
Link to publication
Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
ESOP
Link to publication
Manifest Deadlock-Freedom for Shared Session Types
ESOP
Link to publication
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
ESOP
Link to publication
On the Multi-Language Construction
ESOP
Link to publication
One Step at a Time
ESOP
Link to publication
Probabilistic Programming Inference via Intensional Semantics
ESOP
Link to publication
Robustly Safe Compilation
ESOP
Link to publication
Safe Deferred Memory Reclamation with Types
ESOP
Link to publication
Semi-Automated Reasoning About Non-Determinism in C Expressions
ESOP
Link to publication
Time Credits and Time Receipts in Iris
ESOP
Link to publication
Types by Need
ESOP
Link to publication
Verifiable certificates for predicate subtyping
ESOP
Link to publication

Call for Papers

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

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

Conference Day
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 CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
10:30
30m
Talk
Time Credits and Time Receipts in Iris
ESOP
Glen Mével, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, François PottierInria, France
Link to publication
11:00
30m
Talk
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
ESOP
Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor DumitrescuNomadic Labs Paris, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal NarasimhamurthyUniversity of Colorado, Boulder, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
Link to publication
11:30
30m
Talk
Semi-Automated Reasoning About Non-Determinism in C Expressions
ESOP
Dan FruminRadboud University, Léon GondelmanLRI, Université Paris-Sud, Robbert KrebbersDelft 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 JonesIOHK, Mario Alvarez-PicalloUniversity of Oxford, Alexander Eyers-TaylorSemmle, C.-H. Luke OngUniversity of Oxford
Link to publication
14:00 - 16:00
Language DesignESOP at SUN II
Chair(s): Atsushi IgarashiKyoto University, Japan
14:00
30m
Talk
Codata in Action
ESOP
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
Link to publication
14:30
30m
Talk
Composing bidirectional programs monadically
ESOP
Li-yao XiaUniversity of Pennsylvania, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
Link to publication
15:00
30m
Talk
Counters in Kappa: Semantics, Simulation, and Static Analysis
ESOP
Link to publication
15:30
30m
Talk
One Step at a Time
ESOP
Kathleen FisherTufts University, Ferdinand VeselySwansea University
Link to publication

Conference Day
Tue 9 Apr

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

10:30 - 12:30
TypesESOP at SUN II
Chair(s): Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
10:30
30m
Talk
Handling polymorphic algebraic effects
ESOP
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Link to publication
11:00
30m
Talk
Distributive Disjoint Polymorphism for Compositional Programming
ESOP
Xuan BiStandard Chartered Bank, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
Link to publication
11:30
30m
Talk
Types by Need
ESOP
Beniamino AccattoliInria & Ecole Polytechnique, Giulio GuerrieriUniversity of Bath, Maico Leberle
Link to publication
12:00
30m
Talk
Verifiable certificates for predicate subtyping
ESOP
Link to publication
14:00 - 16:00
Program SemanticsESOP at SUN II
Chair(s): Andrzej MurawskiUniversity of Oxford
14:00
30m
Talk
Extended call-by-push-value: reasoning about effectful programs and evaluation orderBest paper nomination
ESOP
Dylan McDermottUniversity of Cambridge, Alan MycroftUniversity of Cambridge
Link to publication
14:30
30m
Talk
Effectful Normal-Form Bisimulation
ESOP
Ugo Dal LagoUniversity of Bologna / Inria, Francesco Gavazzo
Link to publication
15:00
30m
Talk
On the Multi-Language Construction
ESOP
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy
Link to publication
15:30
30m
Talk
Probabilistic Programming Inference via Intensional Semantics
ESOP
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
Link to publication

Conference Day
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 ShaoYale University
10:30
30m
Talk
Robustly Safe Compilation
ESOP
Marco PatrignaniStanford University & CISPA Helmholtz Center for Information Security, Deepak GargMax 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 BlazyUniv Rennes- IRISA, Alexandre Dang, Thomas P. JensenINRIA Rennes, Pierre WilkeYale University
Link to publication
11:30
30m
Talk
Safe Deferred Memory Reclamation with Types
ESOP
Ismail KuruDrexel University, Colin GordonDrexel University
Link to publication
12:00
30m
Talk
Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
ESOP
Paolo G. GiarrussoTU Delft, The Netherlands, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Philipp SchusterUniversity of Tübingen, Germany
Link to publication

Conference Day
Thu 11 Apr

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