European Symposium on Programming

ESOP

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

976

1986–2026

Best Software Engineering conferences

Papers per year

198636 peak2026

Most published authors

ESOP papers

976 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2021	Graded Hoare Logic and its Categorical Semantics.	Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2021	Coupled Relational Symbolic Execution for Differential Privacy.	Gian Pietro Farina, Stephen Chong, Marco Gaboardi
2021	Nested Session Types.	Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2021	An Automated Deductive Verification Framework for Circuit-building Quantum Programs.	Christophe Chareton, Sbastien Bardin, Franois Bobot, Valentin Perrelle, Benot Valiron
2021	Verified Software Units.	Lennart Beringer
2021	Checking Robustness Between Weak Transactional Consistency Models.	Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2021	Types for Complexity of Parallel Computation in Pi-Calculus.	Patrick Baillot, Alexis Ghyselen
2021	Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains.	Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
2021	The Decidability of Verification under PS 2.0.	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
2020	Higher-Order Spreadsheets with Spilled Arrays.	Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
2020	Mixed Sessions.	Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
2020	ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.	John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
2020	Higher-Ranked Annotation Polymorphic Dependency Analysis.	Fabian Thorand, Jurriaan Hage
2020	ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures.	Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell
2020	Modular Relaxed Dependencies in Weak Memory Concurrency.	Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
2020	Solving Program Sketches with Large Integer Values.	Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
2020	Proving the Safety of Highly-Available Distributed Objects.	Sreeja S. Nair, Gustavo Petri, Marc Shapiro
2020	A First-Order Logic with Frames.	Adithya Murali, Lucas Pea, Christof Lding, P. Madhusudan
2020	Modular Inference of Linear Types for Multiplicity-Annotated Arrows.	Kazutaka Matsuda
2020	Connecting Higher-Order Separation Logic to a First-Order Outside World.	William Mansky, Wolf Honor, Andrew W. Appel
2020	Semantic Foundations for Deterministic Dataflow and Stream Processing.	Konstantinos Mamouras
2020	Continualization of Probabilistic Programs With Correction.	Jacob Laurel, Sasa Misailovic
2020	Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems.	Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
2020	Local Reasoning for Global Graph Properties.	Siddharth Krishna, Alexander J. Summers, Thomas Wies
2020	Verifying Visibility-Based Weak Consistency.	Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic

151–175 of 976← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.