ESOP

Keyphrases

Publications

2023

Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
Modal Crash Types for Intermittent Computing. ESOP (2023)
Soline Ducousso, Sébastien Bardin, Marie-Laure Potet
Adversarial Reachability for Program-level Security Analysis. ESOP (2023)
Matthew Alan Le Brun, Ornela Dardha
MAGπ: Types for Failure-Prone Communication. ESOP (2023)
Guillaume Allais
Builtin Types Viewed as Inductive Families. ESOP (2023)
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
Automated Grading of Regular Expressions. ESOP (2023)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs. ESOP (2023)
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
Gradual Tensor Shape Checking. ESOP (2023)
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
with Context-free Session Types. ESOP (2023)
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
Type-safe Quantum Programming in Idris. ESOP (2023)
Flavio Ascari, Roberto Bruni, Roberta Gori
Logics for Extensional, Locally Complete Analysis via Domain Refinements. ESOP (2023)
june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
Bunched Fuzz: Sensitivity for Vector Metrics. ESOP (2023)
Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP (2023)
Wenjia Ye, Bruno C. d. S. Oliveira
Pragmatic Gradual Polymorphism with References. ESOP (2023)
Pedro Rocha, Luís Caires
Safe Session-Based Concurrency with Shared Linear State. ESOP (2023)
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
Quorum Tree Abstractions of Consensus Protocols. ESOP (2023)
Basim Khajwal, C.-H. Luke Ong, Dominik Wagner
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing. ESOP (2023)
Paulo Emílio de Vilhena, François Pottier
A Type System for Effect Handlers and Dynamic Labels. ESOP (2023)
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. ESOP (2023)
Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
Contextual Modal Type Theory with Polymorphic Contexts. ESOP (2023)
Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman
Automatic Alignment in Higher-Order Probabilistic Programming Languages. ESOP (2023)

volume 13990, 2023

Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings ESOP 13990 (2023)

2022

volume 13240, 2022

Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings ESOP 13240 (2022)

2021

volume 12648, 2021

Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings ESOP 12648 (2021)