ESOP 2019

28 papers

1. A Categorical Model of an \mathbf i/o -typed \pi -calculus · Ken Sakayori, Takeshi Tsukada
2. A Process Algebra for Link Layer Protocols · Rob van Glabbeek, Peter Höfner, Michael Markl
3. A Static Higher-Order Dependency Pair Framework · Carsten Fuhs, Cynthia Kop
4. An Abstract Domain for Trees with Numeric Relations · Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
5. Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes · Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
6. Codata in Action · Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
7. Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses · Henning Basold, Ekaterina Komendantskaya, Yue Li
8. Compiling Sandboxes: Formally Verified Software Fault Isolation · Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke
9. Composing Bidirectional Programs Monadically · Li-yao Xia, Dominic Orchard, Meng Wang
10. Counters in Kappa: Semantics, Simulation, and Static Analysis · Pierre Boutillier, Ioana Cristescu, Jérôme Feret
11. Data Races and Static Analysis for Interrupt-Driven Kernels · Nikita Chopra, Rekha R. Pai, Deepak D'Souza
12. Distributive Disjoint Polymorphism for Compositional Programming · Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
13. Effectful Normal Form Bisimulation · Ugo Dal Lago, Francesco Gavazzo
14. Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order · Dylan McDermott, Alan Mycroft
15. Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog · Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
16. Handling Polymorphic Algebraic Effects · Taro Sekiyama, Atsushi Igarashi
17. Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation · Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
18. Manifest Deadlock-Freedom for Shared Session Types · Stephanie Balzer, Bernardo Toninho, Frank Pfenning
19. Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms · Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu + 7 more
20. On the Multi-Language Construction · Samuele Buro, Isabella Mastroeni
21. One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts · Ferdinand Vesely, Kathleen Fisher
22. Probabilistic Programming Inference via Intensional Semantics · Simon Castellan, Hugo Paquet
23. Robustly Safe Compilation · Marco Patrignani, Deepak Garg
24. Safe Deferred Memory Reclamation with Types · Ismail Kuru, Colin S. Gordon
25. Semi-automated Reasoning About Non-determinism in C Expressions · Dan Frumin, Léon Gondelman, Robbert Krebbers
26. Time Credits and Time Receipts in Iris · Glen Mével, Jacques-Henri Jourdan, François Pottier
27. Types by Need · Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
28. Verifiable Certificates for Predicate Subtyping · Frédéric Gilbert