ESOP (2)

Publications

2024

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
A Modular Soundness Theory for the Blackboard Analysis Architecture. ESOP (2) (2024)
Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang
Reconciling Partial and Local Invertibility. ESOP (2) (2024)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
Specifying and Verifying Persistent Libraries. ESOP (2) (2024)
Liye Guo, Cynthia Kop
Higher-Order LCTRSs and Their Termination. ESOP (2) (2024)
Shachar Itzhaky, Sharon Shoham, Yakir Vizel
Hyperproperty Verification as CHC Satisfiability. ESOP (2) (2024)
Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. ESOP (2) (2024)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
On the Hardness of Analyzing Quantum Programs Quantitatively. ESOP (2) (2024)
Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen
Verified Inlining and Specialisation for PureCake. ESOP (2) (2024)
Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza
Maximal Quantified Precondition Synthesis for Linear Array Loops. ESOP (2) (2024)
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. ESOP (2) (2024)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) (2024)
Pierre Lermusiaux, Benoît Montagu
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. ESOP (2) (2024)
Hiroya Fujinami, Ichiro Hasuo
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. ESOP (2) (2024)
Yotam Dvir, Ohad Kammar, Ori Lahav
A Denotational Approach to Release/Acquire Concurrency. ESOP (2) (2024)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) (2024)
Andrea Colledan, Ugo Dal Lago
Circuit Width Estimation via Effect Typing and Linear Dependency. ESOP (2) (2024)

volume 14577, 2024

Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II ESOP (2) 14577 (2024)