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 |
|---|---|---|
| 2023 | System F | Diogo Poas, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos |
| 2023 | Contextual Modal Type Theory with Polymorphic Contexts. | Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi |
| 2023 | Automatic Alignment in Higher-Order Probabilistic Programming Languages. | Daniel Lundn, Gizem aylak, Fredrik Ronquist, David Broman |
| 2023 | Interpreting Knowledge-based Programs. | Alexander Knapp, Heribert Mhlberger, Bernhard Reus |
| 2023 | Automated Grading of Regular Expressions. | Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko |
| 2023 | Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing. | Basim Khajwal, C.-H. Luke Ong, Dominik Wagner |
| 2023 | Gradual Tensor Shape Checking. | Momoko Hattori, Naoki Kobayashi, Ryosuke Sato |
| 2023 | Adversarial Reachability for Program-level Security Analysis. | Soline Ducousso, Sbastien Bardin, Marie-Laure Potet |
| 2023 | Modal Crash Types for Intermittent Computing. | Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia |
| 2023 | Type-safe Quantum Programming in Idris. | Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev |
| 2023 | Quorum Tree Abstractions of Consensus Protocols. | Berk irisci, Constantin Enea, Suha Orhun Mutluergil |
| 2023 | MAGπ: Types for Failure-Prone Communication. | Matthew Alan Le Brun, Ornela Dardha |
| 2023 | Logics for Extensional, Locally Complete Analysis via Domain Refinements. | Flavio Ascari, Roberto Bruni, Roberta Gori |
| 2023 | Builtin Types Viewed as Inductive Families. | Guillaume Allais |
| 2022 | Structured Handling of Scoped Effects. | Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers |
| 2022 | A Framework for Substructural Type Systems. | James Wood, Robert Atkey |
| 2022 | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. | Jana Wagemaker, Nate Foster, Tobias Kapp, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2022 | Static Race Detection for Periodic Programs. | Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
| 2022 | Relaxed virtual memory in Armv8-A. | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
| 2022 | Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. | Philipp Schuster, Jonathan Immanuel Brachthuser, Klaus Ostermann |
| 2022 | The Trusted Computing Base of the CompCert Verified Compiler. | David Monniaux, Sylvain Boulm |
| 2022 | Linearity and Uniqueness: An Entente Cordiale. | Danielle Marshall, Michael Vollmer, Dominic Orchard |
| 2022 | Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. | Daniel Lundn, Joey hman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman |
| 2022 | Why3-do: The Way of Harmonious Distributed System Proofs. | Cludio Belo Loureno, Jorge Sousa Pinto |
| 2022 | Polarized Subtyping. | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
101–125 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