ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:15 - 09:00
RegistrationTechnical Papers at M130/131
09:00 - 09:15
Opening & AITO Dahl-Nygaard Senior Prize introductionTechnical Papers at Auditorium M003
09:15 - 10:15
Keynote 1Technical Papers at Auditorium M003
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
09:15
60m
Keynote
"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
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

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
21m
Talk
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
21m
Talk
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
21m
Talk
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
21m
Talk
The Algebra of Patterns
Technical Papers
David Binder University of Kent, UK, Lean Ermantraut Radboud University Nijmegen
12:24
21m
Talk
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
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
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
21m
Talk
Contrasting Deadlock-Free Session Processes
Technical Papers
Juan C. Jaramillo University of Groningen, Jorge A. Pérez University of Groningen
DOI
14:21
21m
Talk
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
21m
Talk
Incremental Computing by Differential Execution
Technical Papers
15:03
21m
Talk
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
21m
Talk
Validating Persistency Semantics with Memory Hierarchy Timing Attack
Technical Papers
Vasileios Klimis Queen Mary University of London
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 17:39
Object-Oriented and Dynamic SystemsTechnical Papers at Auditorium M003
Chair(s): Sebastian Erdweg JGU Mainz
16:15
21m
Talk
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
21m
Talk
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
21m
Talk
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Technical Papers
Jack Oliver Hughes , Michael Vollmer University of Kent, Mark Batty University of Kent
17:18
21m
Talk
Type-safe and portable support for packed data
Technical Papers
Arthur Jamet University of Kent, Michael Vollmer University of Kent
18:30 - 19:30
Social Event: ReceptionTechnical Papers at Håkonshallen (downtown)
18:30
60m
Social Event
Reception at Håkonshallen
Technical Papers

Tue 1 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:10 - 09:15
AITO Dahl-Nygaard Junior Prize introductionTechnical Papers at Auditorium M003
09:15 - 10:15
Keynote 2Technical Papers at Auditorium M003
Chair(s): Jonathan Aldrich Carnegie Mellon University
09:15
60m
Keynote
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:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Type Systems and Program SemanticsTechnical Papers at Auditorium M003
Chair(s): Sukyoung Ryu KAIST
10:45
21m
Talk
Mono Types — First-Class Containers for Datalog
Technical Papers
Runqing Xu JGU Mainz, David Klopp JGU Mainz, Sebastian Erdweg JGU Mainz
11:06
21m
Talk
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
21m
Talk
An Effectful Object Calculus
Technical Papers
Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
11:48
21m
Talk
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
21m
Talk
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
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Compilation and OptimizationTechnical Papers at Auditorium M003
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
14:00
21m
Talk
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Technical Papers
Yusuke Izawa Tokyo Metropolitan University, Hidehiko Masuhara Institute of Science Tokyo, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print
14:21
21m
Talk
GSOHC: Global Synchronization Optimization in Heterogeneous Computing
Technical Papers
Soumik Kumar Basu IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
14:42
21m
Talk
Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Technical Papers
Sebastian Kloibhofer Johannes Kepler University Linz, Lukas Makor JKU Linz, Peter Hofer Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
15:03
21m
Talk
Reusing Highly Optimized IR in Dynamic Compilation
Technical Papers
Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University
15:24
21m
Talk
Pydrofoil: accelerating Sail-based instruction set simulators
Technical Papers
Martin Berger University of Sussex & Montanarius Ltd, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Luke Panayi Imperial College, Ferdia McKeogh University of St Andrews, Tom Spink University of St Andrews
Pre-print File Attached
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 17:39
T3Technical Papers at Auditorium M003
Chair(s): Michael Vollmer University of Kent
16:15
21m
Talk
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
21m
Talk
Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
Technical Papers
Jacqueline Mitchell University of California, Davis, Chao Wang University of Southern California
16:57
21m
Talk
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
21m
Talk
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
AITO GA (by invitation)Technical Papers at M160

Wed 2 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:15
ECOOP Awards CeremonyTechnical Papers at Auditorium M003
09:15 - 10:15
Keynote 3Technical Papers at Auditorium M003
Chair(s): Alexandra Silva Cornell University
09:15
60m
Keynote
Towards scalable formal verification
Technical Papers
Petar Maksimović Nethermind; Imperial College London
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Program Analysis and VerificationTechnical Papers at Auditorium M003
Chair(s): Einar Broch Johnsen University of Oslo
10:45
21m
Talk
Bottom-up Synthesis of Memory Mutations with Separation Logic
Technical Papers
Kasra Ferdowsi University of California at San Diego, Hila Peleg Technion
11:06
21m
Talk
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
21m
Talk
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
21m
Talk
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
21m
Talk
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
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
14:00
21m
Talk
Event Race Detection for Node.js Using Delay Injections
Technical Papers
Andre Takeshi Endo Federal University of São Carlos, Anders Møller Aarhus University
Pre-print
14:21
21m
Talk
FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote
Technical Papers
Amber Gorzynski Imperial College London, Alastair F. Donaldson Imperial College London
14:42
21m
Talk
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
21m
Talk
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
21m
Talk
WebGlitch: A Randomised Testing Tool for the WebGPU API
Technical Papers
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 17:39
W3Technical Papers at Auditorium M003
Chair(s): Carla Ferreira NOVA University Lisbon
16:15
21m
Talk
Automatic Goal Clone Detection in Rocq
Technical Papers
Ali Ghanbari Auburn University
16:36
21m
Talk
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
21m
Talk
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
21m
Talk
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
Closing 3Technical Papers at Auditorium M003
  • Introduction to ECOOP 2026
  • Final remarks ECOOP 2025

Accepted Papers

Title
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Technical Papers
Pre-print
An Effectful Object Calculus
Technical Papers
A theory of (linear-time) timed monitors
Technical Papers
Automatic Goal Clone Detection in Rocq
Technical Papers
Bottom-up Synthesis of Memory Mutations with Separation Logic
Technical Papers
Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation
Technical Papers
Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
Technical Papers
DOI
Compositional Static Value Analysis for Higher-Order Numerical Programs
Technical Papers
Contract Systems Need Domain-Specific Notations
Technical Papers
Contract Usage and Evolution in Android Mobile Applications
Technical Papers
Contrasting Deadlock-Free Session Processes
Technical Papers
DOI
Declarative Dynamic Object Reclassification
Technical Papers
Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Technical Papers
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Technical Papers
Link to publication DOI
Ensuring Convergence and Invariants Without Coordination
Technical Papers
Event Race Detection for Node.js Using Delay Injections
Technical Papers
Pre-print
Fair Termination of Asynchronous Binary Sessions
Technical Papers
FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote
Technical Papers
GSOHC: Global Synchronization Optimization in Heterogeneous Computing
Technical Papers
Incremental Computing by Differential Execution
Technical Papers
In-memory Object Graph StoresRemote
Technical Papers
IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL
Technical Papers
Lightweight Diagramming for Formal Methods: A Grounded Language Design
Technical Papers
Monadic type-and-effect soundness
Technical Papers
Mono Types — First-Class Containers for Datalog
Technical Papers
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
Technical Papers
PoTo: A Hybrid Andersen's Points-to Analysis for Python
Technical Papers
Practical Type-Based Taint Checking and InferenceRemote
Technical Papers
Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Technical Papers
Pydrofoil: accelerating Sail-based instruction set simulators
Technical Papers
Pre-print File Attached
Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
Technical Papers
RacerF: Lightweight Static Data Race Detection for C Code
Technical Papers
Reception at Håkonshallen
Technical Papers

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
Technical Papers
Reusing Highly Optimized IR in Dynamic Compilation
Technical Papers
Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Technical Papers
DOI Pre-print
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Technical Papers
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Technical Papers
The Algebra of Patterns
Technical Papers
Type-safe and portable support for packed data
Technical Papers
Validating Persistency Semantics with Memory Hierarchy Timing Attack
Technical Papers
Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession
Technical Papers
WebGlitch: A Randomised Testing Tool for the WebGPU API
Technical 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.

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.

Questions? Use the ECOOP Technical Papers contact form.
OSZAR »