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
2002	Automatic Complexity Analysis.	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
2002	Type Checking Systems Code.	J. Gregory Morrisett
2002	Programming Languages for Compressing Graphics.	Morgan McGuire, Shriram Krishnamurthi, John F. Hughes
2002	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.	Matthieu Martel
2002	Exceptions, Continuations and Macro-expressiveness.	James Laird
2002	Data Space Oriented Tiling.	Mahmut T. Kandemir
2002	An Accumulative Parallel Skeleton for All.	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2002	Tool Support for Improving Test Coverage.	Susan Horwitz
2002	Mixin Modules in a Call-by-Value Setting.	Tom Hirschowitz, Xavier Leroy
2002	Existential Types for Imperative Languages.	Dan Grossman
2002	Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.	Eric Goubault, Matthieu Martel, Sylvie Putot
2002	A Theory of Second-Order Trees.	Neal Glew
2002	Thread-Modular Verification for Shared-Memory Programs.	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2002	Dependency Analysis of Mobile Systems.	Jrme Feret
2002	Finite-Control Mobile Ambients.	Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot
2002	Soft Concurrent Constraint Programming.	Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002	Another Type System for In-Place Update.	David Aspinall, Martin Hofmann
2001	Secure Information Flow and CPS.	Steve Zdancewic, Andrew C. Myers
2001	Typestate Checking of Machine Code.	Zhichen Xu, Thomas W. Reps, Barton P. Miller
2001	Encoding Intensional Type Analysis.	Stephanie Weirich
2001	Enforcing Safety Properties Using Type Specialization.	Peter Thiemann
2001	Entailment with Conditional Equality Constraints.	Zhendong Su, Alexander Aiken
2001	On the Completeness of Model Checking.	Francesco Ranzato
2001	A Systematic Approach to Static Access Control.	Franois Pottier, Christian Skalka, Scott F. Smith
2001	Control-Flow Analysis in Cubic Time.	Flemming Nielson, Helmut Seidl

701–725 of 976← Previous Next →

Comparable venues

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