Technical PapersECOOP 2025
Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:15 - 09:00 | |||
09:00 - 09:15 | |||
09:15 - 10:15 | Keynote 1Technical Papers at Auditorium M003 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy | ||
09:15 60mKeynote | "On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior Prize)AITO Dahl-Nygaard Senior Prize Technical Papers Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE |
11:00 - 12:45 | Formal Methods, Logics, and Static Analysis FrameworksTechnical Papers at Auditorium M003 Chair(s): Marco Carbone IT University of Copenhagen | ||
11:00 21mTalk | Compositional Static Value Analysis for Higher-Order Numerical Programs Technical Papers Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université | ||
11:21 21mTalk | Lightweight Diagramming for Formal Methods: A Grounded Language Design Technical Papers Siddhartha Prasad Brown University, Ben Greenman University of Utah, Tim Nelson Brown University, Shriram Krishnamurthi Brown University | ||
11:42 21mTalk | Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering Technical Papers Jiawei Yang , Xiao Cheng UNSW, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Xiapu Luo Hong Kong Polytechnic University, Yulei Sui University of New South Wales | ||
12:03 21mTalk | The Algebra of Patterns Technical Papers | ||
12:24 21mTalk | A theory of (linear-time) timed monitors Technical Papers Mouloud Amara IRIF, Université Paris Cité, Giovanni Bernardi IRIF, Université Paris Cité, Mohammed Aristide Foughali Université Paris Cité / IRIF, Adrian Francalanza University of Malta |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:45 | Concurrency and TypesTechnical Papers at Auditorium M003 Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon | ||
14:00 21mTalk | Contrasting Deadlock-Free Session Processes Technical Papers DOI | ||
14:21 21mTalk | Fair Termination of Asynchronous Binary Sessions Technical Papers Luca Padovani Department of Computer Science and Engineering - Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna | ||
14:42 21mTalk | Incremental Computing by Differential Execution Technical Papers | ||
15:03 21mTalk | Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction Technical Papers Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Marco Carbone IT University of Copenhagen | ||
15:24 21mTalk | Validating Persistency Semantics with Memory Hierarchy Timing Attack Technical Papers Vasileios Klimis Queen Mary University of London |
16:15 - 17:39 | Object-Oriented and Dynamic SystemsTechnical Papers at Auditorium M003 Chair(s): Sebastian Erdweg JGU Mainz | ||
16:15 21mTalk | Declarative Dynamic Object Reclassification Technical Papers Riccardo Sieve University of Oslo, Eduard Kamburjan IT University of Copenhagen, Ferruccio Damiani University of Turin, Einar Broch Johnsen University of Oslo | ||
16:36 21mTalk | In-memory Object Graph StoresRemote Technical Papers Aditya Thimmaiah The University of Texas at Austin, Zijian Yi The University of Texas at Austin, Joseph Kenis The University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin | ||
16:57 21mTalk | Spegion: Implicit and Non-Lexical Regions with Sized Allocations Technical Papers | ||
17:18 21mTalk | Type-safe and portable support for packed data Technical Papers |
18:30 - 19:30 | |||
18:30 60mSocial Event | Reception at Håkonshallen Technical Papers |
Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:10 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | Language and Compiler Design for Efficient Data Science (AITO Dahl-Nygaard Junior Prize)AITO Dahl-Nygaard Junior Prize Technical Papers Amir Shaikhha University of Edinburgh |
10:45 - 12:30 | |||
10:45 21mTalk | Mono Types — First-Class Containers for Datalog Technical Papers | ||
11:06 21mTalk | Monadic type-and-effect soundness Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa | ||
11:27 21mTalk | An Effectful Object Calculus Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa | ||
11:48 21mTalk | Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness Technical Papers Pedro Carrott Imperial College London, Sacha-Élie Ayoun Imperial College London, Azalea Raad Imperial College London DOI | ||
12:09 21mTalk | Practical Type-Based Taint Checking and InferenceRemote Technical Papers Nima Karimipour University of California, Riverside, Kanak Das University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
16:15 - 17:39 | |||
16:15 21mTalk | Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories Technical Papers Tianyu Chen Microsoft Research Asia, Zeyu Wang Huawei Cloud Computing Technologies Co., Ltd., Lin Li Huawei Cloud Computing Technologies Co., Ltd., Ding Li Peking University, Zongyang Li Peking University, Xiaoning Chang Huawei Cloud Computing Technologies Co., Ltd., Pan Bian Huawei Technologies CO., LTD., China, Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University | ||
16:36 21mTalk | Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions Technical Papers | ||
16:57 21mTalk | Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification Technical Papers Francisco Costa University of Brasília, Brazil, Ismael Medeiros Computer Science Department / University of Brasília, Leandro Oliveira Computer Science Department / University of Brasília, João Clássio Computer Science Department / University of Brasília, Rodrigo Bonifácio UNB, Krishna Narasimhan F1RE, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE, Márcio Ribeiro Federal University of Alagoas, Brazil DOI Pre-print | ||
17:18 21mTalk | Ensuring Convergence and Invariants Without Coordination Technical Papers Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel, Nuno Preguica Universidade Nova de Lisboa |
17:45 - 19:15 | |||
Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | Towards scalable formal verification Technical Papers Petar Maksimović Nethermind; Imperial College London |
10:45 - 12:30 | Program Analysis and VerificationTechnical Papers at Auditorium M003 Chair(s): Einar Broch Johnsen University of Oslo | ||
10:45 21mTalk | Bottom-up Synthesis of Memory Mutations with Separation Logic Technical Papers | ||
11:06 21mTalk | Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees Technical Papers Guanqin Zhang University of New South Wales & CSIRO's Data61, Kota Fukuda Kyushu University, Zhenya Zhang Kyushu University, Japan, H M N Dilum Bandara Data61, CSIRO, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jianjun Zhao Kyushu University, Yulei Sui University of New South Wales Link to publication DOI | ||
11:27 21mTalk | IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL Technical Papers Matt Griffin Imperial College London, Brijesh Dongol University of Surrey, Azalea Raad Imperial College London | ||
11:48 21mTalk | Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis Technical Papers Mamy Razafintsialonina Université Paris-Saclay, CEA, List, Palaiseau / Sorbonne Université, CNRS, LIP6, Paris, David Bühler Université Paris-Saclay, CEA, List, Palaiseau, Antoine Miné Sorbonne Université, Valentin Perrelle Université Paris-Saclay, CEA, List, Palaiseau, Julien Signoles Université Paris-Saclay, CEA, List | ||
12:09 21mTalk | RacerF: Lightweight Static Data Race Detection for C Code Technical Papers Tomáš Dacík Faculty of Information Technology, Brno University of Technology, Tomas Vojnar Masaryk University |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:45 | |||
14:00 21mTalk | Event Race Detection for Node.js Using Delay Injections Technical Papers Pre-print | ||
14:21 21mTalk | FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote Technical Papers | ||
14:42 21mTalk | PoTo: A Hybrid Andersen's Points-to Analysis for Python Technical Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria, Martin Hirzel IBM Research, Julian Dolby IBM Research | ||
15:03 21mTalk | Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession Technical Papers Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
15:24 21mTalk | WebGlitch: A Randomised Testing Tool for the WebGPU API Technical Papers |
16:15 - 17:39 | |||
16:15 21mTalk | Automatic Goal Clone Detection in Rocq Technical Papers Ali Ghanbari Auburn University | ||
16:36 21mTalk | Contract Usage and Evolution in Android Mobile Applications Technical Papers David R. Ferreira Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon, Carolina Carreira Carnegie Mellon University, IST University of Lisbon, INESC-ID | ||
16:57 21mTalk | Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation Technical Papers Sangyeop Yeo ETRI (Electronics and Telecommunications Research Institute), seung-won hwang Seoul National University, Yu-Seung Ma Electronics and Telecommunications Research Institute | ||
17:18 21mTalk | Contract Systems Need Domain-Specific Notations Technical Papers Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University |
17:40 - 18:00 | |||
Accepted Papers
Nominations for the 2025 Dahl-Nygaard junior and senior prizes
We are seeking nominations for the 2025 Dahl-Nygaard junior and senior prizes!
Deadline: 31 January 2025
Established by AITO in 2004, these annual prizes are named after Ole-Johan Dahl and Kristen Nygaard, whose pioneering conceptual and technical work in the sixties shaped that view of programming and modeling which is now known as object-orientation.
The junior prize is awarded to a researcher who obtained the PhD degree at most 7 years before the award year, excluding any parental leave. The prize recognises a promising contribution to the field through a paper, a thesis, or a prototype implementation.
The senior prize is awarded to a researcher who has made a significant long-term contribution to the field in research or engineering.
The winners of both prizes will be given the opportunity of giving an invited talk at ECOOP 2025 in Bergen, Norway.
Nominations are due by January 31 and should be made using this form: https://docs.google.com/forms/d/e/1FAIpQLSd9qQb8MmtkWM01vLhIpqPTIlmgciNwDiiLtSxot05x6k6c4w/viewform
Klaus Ostermann
Dahl-Nygaard prize committee chair, 2025
Past recipients
2024, Vienna Rachid Guerraoui (senior prize), and Alvin Cheung (junior prize)
2023, Seattle Sophia Drosspoulou (senior prize), and Heather Miller (junior prize
2022, Berlin Dan Ingalls(senior prize), and Magnus Madsen (junior prize)
2021, Aarhus Kim Bruce (senior prize), and Karim Ali (junior prize)
2020, Berlin Jan Vitek (senior prize), and Jonathan Bell (junior prize)
2019, London Laurie Hendren (senior prize), and Ilya Sergey (junior prize)
2018, Amsterdam Lars Bak (senior prize), and Guoqing Harry Xu (junior prize)
2017, Barcelona Gilad Bracha (senior prize), and Ross Tate (junior prize)
2016, Rome James Noble (senior prize), and Emina Torlak (junior prize)
2015, Prague Bjarne Stroustrup (senior prize), and Alexander J. Summers (junior prize)
2014, Uppsala William Cook (senior prize), Robert France (senior prize), and Tudor Gîrba (junior prize)
2013, Montpellier Oscar Nierstrasz (senior prize) and Matthew Parkinson (junior prize)
2012, Beijing Gregor Kiczales (senior prize) and Tobias Wrigstad (junior prize)
2011, Lancaster Craig Chambers (senior prize) and Atsushi Igarashi (junior prize)
2010, Maribor Doug Lea (senior prize) and Erik Ernst (junior prize)
2009, Genoa David Ungar (senior prize)
2008, Paphos Akinori Yonezawa (senior prize) and Wolfgang De Meuter (junior prize)
2007, Berlin Luca Cardelli (senior prize) and Jonathan Aldrich (junior prize)
2006, Nantes Erich Gamma, Richard Helm, Ralph Johnson, and (posthumously) John Vlissides
2005, Glasgow Bertrand Meyer (senior prize) and Gail Murphy (junior prize)
Call for Papers
ECOOP is a conference about programming originally focused on object orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.
Authors are asked to pick one of the following categories:
- Research. The most traditional category for papers that advance the state of the art.
- Replication. An empirical evaluation that reconstructs a published experiment in a different context in order to validate the results of that earlier work.
- Experience. Applications of known PL techniques in practice as well as tools. Industry papers will be reviewed by practitioners. We welcome negative results that may provide inspiration for future research.
- Pearls/Brave New Ideas. Articles that either explain a known idea in an elegant way or unconventional papers introducing ideas that may take some time to substantiate. These papers may be short.
Submissions
Submission must not have been published, or have major overlap with previous work. In case of doubt, contact the chairs. Proceedings are published in open access by Dagstuhl LIPIcs in the Dagstuhl LIPIcs LaTeX-style template. To reduce friction when resubmitting, ACM’s PACMPL and TOPLAS formatted papers can be submitted as such (with the understanding that if accepted, they will be reformatted).
ECOOP uses double-anonymous reviewing. Authors’ identities are only revealed if a paper is accepted. Papers must omit author names and institutions, and use the third person when referencing the authors’ own work. Nothing should be done in the name of anonymity that weakens the submission; see the Double-Anonymous FAQ. If in doubt, contact the chairs.
There is no page limit on submissions, but authors must understand that reviewers have a fixed time budget for each paper, so the length of the feedback is likely to be unaffected by length. Brevity is a virtue. Authors also have to consider that the camera-ready version must be (at most) 25 pages in LIPIcs format (not including references).
Authors will be given a three-day period to read and respond to the reviews of their papers before the program committee meeting. Responses have no length limit.
ECOOP will continue to have two deadlines for submissions. Papers submitted in each round can be (a) accepted, (b) rejected, or (c) asked for revisions. Rejected papers that are submitted to the immediate next round can be desk-rejected if they do not sufficiently differ from the previous submission. Revisions can be submitted at any later round. Papers retain their reviewers during revision.
Review Criteria
Each paper will be evaluated based on the following criteria:
- Soundness: How well the paper’s contributions are supported by rigorous application of appropriate research methods;
- Significance: The extent to which the paper’s contributions are novel, original, and important, with respect to the existing body of knowledge;
- Presentation: Whether the paper’s quality of writing meets the high standards of ECOOP.
After author response and reviewer discussion, papers will be accepted if the PC decides that the paper meets our high bar for Soundness and Presentation, and if ONE reviewer judges the paper to meet the bar for Significance. The goal of this process is to ensure quality of writing and confidence in results, while assuming that if one reviewer finds the paper to be significant then there will be readers who do so as well.
Artifact Evaluation and Intent
To support replication of experiments, authors of accepted research papers may submit artifacts to the Artifact Evaluation Committee. They will be asked whether they intend to submit an artifact at paper submission time. Artifacts will be submitted after paper acceptance. It is understood that some papers do not have artifacts. AEC members will serve on the extended review committee.
Journal First and Journal After
We have Journal First/After arrangements with ACM’s Transactions on Programming Languages and Systems (TOPLAS), Elsevier’s Science of Computer Programming (SCP) and AITO’s Journal of Object Technology (JOT).
Only new research papers are eligible to be Journal First (JF). JF papers will have an extended abstract in the ECOOP proceedings. The deadline is the same as Round 1 of submissions and the notification is aligned with Round 2 notification. TOPLAS JF papers should be submitted according to this announcement. SCP JF papers should follow this call for papers. JF papers are presented at the conference and eligible for awards.
Journal After (JA) papers are papers for which the authors request to be considered for post conference journal publication. Once accepted by the ECOOP PC, these papers will be forwarded to the journal editors. Reviews and reviewers will be forwarded and used at the editor’s discretion. JA papers will have an extended abstract (up to 12 pages) in the conference proceedings.
Double-Anonymous FAQ
Frequently Asked Questions
Authors: Double-Blinding Submissions
Q: What exactly do I have to do to anonymize my paper?
Use common sense. Your job is not to make your identity undiscoverable but simply to make it possible for reviewers to evaluate your submission without having to know who you are. The specific guidelines stated in the call for papers are simple: omit authors’ names from your title page, and when you cite your own work, refer to it in the third person. For example, if your name is Smith and you have worked on amphibious type systems, instead of saying “We extend our earlier work on statically typed toads [Smith 2004],” you might say “We extend Smith’s [2004] earlier work on statically typed toads.” Also, be sure not to include any acknowledgements that would give away your identity.
Q: Should I change the name of my system?
No.
Q: My submission is based on code available in a public repository. How do I deal with this?
Cite the code in your paper, but remove the URL and, instead say “link to repository removed for double blind review”. If you believe reviewer access to your code would help during author response, contact the chair.
Q: I am submitting an extension of my workshop paper, should I anonymize reference to that work?
No. But we recommend that you change the title to distinguish the papers.
Q: Am I allowed to post my paper on my web page or arXiv? send it to colleagues? give a talk about it? on social media?
There is a tension between the normal communication of scientific results and actions that essentially force potential reviewers to learn the identity of authors. Roughly speaking, you may discuss work under submission, but you should not broadly advertise your work through media that is likely to reach your reviewers. We acknowledge there are gray areas and trade-offs. Things you may do:
- Put your submission on your home page.
- Discuss your work with anyone not on the review committees.
- Present your work at professional meetings, workshops, job interviews, etc.
- Post on arXiv or a similar site.
Reviewers will not be asked to recuse themselves from reviewing your paper unless they feel you have gone out of your way to advertise your authorship information to them. If you are unsure about what constitutes “going out of your way”, please contact us.
Reviewers: Double-blind
Q: What should I do if I if I learn the authors’ identity?
If at any point you feel that the authors’ actions are largely aimed at ensuring that potential reviewers know their identity, you should contact the Program Chair. Otherwise you should not treat double-blind reviewing differently from regular blind reviewing. In particular, you should refrain from seeking out information on the authors’ identity, but if you discover it accidentally this will not automatically disqualify you as a reviewer. Use your best judgment.
Q: The authors provided a URL to supplemental material, what should I do?
Contact the chairs, who will download the material on your behalf.
Q: Can I seek an outside review?
If you think an outside reviewer would provide a valuable perspective, contact the chairs.