ECOOP Best Papers
European Conference on Object-Oriented Programming
6 papers · 2024–2026
← ECOOP Conference Info🏆 2026(4)
Distinguished Paper Award
Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer AnalysisWenyao Chen; Wei Li; Jingling Xue
Distinguished Paper Award
A Complete Program Logic for Compositional LinearizabilityEashan Hatti; Arthur Oliveira Vale; Zhongye Wang; Yueyang Feng; Zhong Shao
Distinguished Paper Award
Language-Integrated Recursive QueriesAnna Herlihy; Amir Shaikhha; Anastasia Ailamaki; Martin Odersky
Test of Time Award
Automated Detection of Refactorings in Evolving ComponentsDanny Dig; Can Comertoglu; Darko Marinov; Ralph Johnson
🏆 2024(2)
Distinguished Paper Award
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee ReasoningFreund & Flanagan
Concurrent ProgrammingVerification
Distinguished Paper Award
Compiling with ArraysRichter, Böhler, Weisenburger & Mezini
CompilersProgramming Languages