European Symposium on Programming
ESOP
A
CORE rank
CORE rank (raw)
A
Fields of research
Software Engineering
Papers indexed
976
1986–2026
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 |
|---|---|---|
| 2013 | Laziness by Need. | Stephen Chang |
| 2013 | Behavioral Polymorphism and Parametricity in Session-Based Communication. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2013 | The Compiler Forest. | Mihai Budiu, Joel Galenson, Gordon D. Plotkin |
| 2013 | Verifying Concurrent Programs against Sequential Specifications. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2013 | Checking and Enforcing Robustness against TSO. | Ahmed Bouajjani, Egor Derevenetc, Roland Meyer |
| 2013 | Information Reuse for Multi-goal Reachability Analyses. | Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith |
| 2013 | Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. | Mara Alpuente, Demis Ballis, Francisco Frechina, Julia Sapia |
| 2013 | Software Verification for Weak Memory via Program Transformation. | Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig |
| 2013 | Structural Lock Correlation with Ownership Types. | Yi Lu, John Potter, Jingling Xue |
| 2013 | A Data Driven Approach for Algebraic Loop Invariants. | Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori |
| 2012 | Foundations of C++. | Bjarne Stroustrup |
| 2012 | Gradual Ownership Types. | Ilya Sergey, Dave Clarke |
| 2012 | Staged Computation with Staged Lexical Scope. | Morten Rhiger |
| 2012 | Linear Logical Relations for Session-Based Concurrency. | Jorge A. Prez, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | A Type and Effect System for Determinism in Multithreaded Programs. | Yi Lu, John Potter, Chenyi Zhang, Jingling Xue |
| 2012 | Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. | Andreas Lochbihler |
| 2012 | Non-monotonic Self-Adjusting Computation. | Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch |
| 2012 | Expansion for Universal Quantifiers. | Sergue Lenglet, Joe B. Wells |
| 2012 | GMeta: A Generic Formal Metatheory Framework for First-Order Representations. | Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
| 2012 | Adding Equations to System F Types. | Neelakantan R. Krishnaswami, Nick Benton |
| 2012 | Validating LR(1) Parsers. | Jacques-Henri Jourdan, Franois Pottier, Xavier Leroy |
| 2012 | Fictional Separation Logic. | Jonas Braband Jensen, Lars Birkedal |
| 2012 | Reasoning about Multi-stage Programs. | Jun Inoue, Walid Taha |
| 2012 | Reasoning about Lock Placements. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | On the Correctness of the SIMT Execution Model of GPUs. | Axel Habermaier, Alexander Knapp |
401–425 of 976← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems