ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense.

ECOOP 2024 will feature two submission deadlines.

Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Sep

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

08:00 - 08:30
08:30 - 09:00
Opening and WelcomeTechnical Papers at EI 7
08:30
30m
Day opening
Opening and Welcome
Technical Papers
Werner Dietl University of Waterloo, Jonathan Aldrich Carnegie Mellon University, Guido Salvaneschi University of St. Gallen
09:00 - 10:00
Dahl-Nygaard Junior Prize KeynoteTechnical Papers at EI 7
09:00
60m
Keynote
Optimizing the Object-Relational Interface
Technical Papers
Alvin Cheung University of California at Berkeley
10:00 - 10:30
10:30 - 12:00
Compilation and RuntimesTechnical Papers at EI 7
Chair(s): Stefan Marr University of Kent
10:30
15m
Talk
Static Basic Block Versioning
Technical Papers
Manuel Serrano Inria; Université Côte d’Azur, Olivier Melançon DIRO, Université de Montréal, Marc Feeley Université de Montréal
10:45
15m
Talk
Cross Module Quickening - The Curious Case of C Extensions
Technical Papers
Felix Berlakovich μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:00
15m
Talk
Compiling with Arrays
Technical Papers
David Richter Technical University of Darmstadt, Timon Böhler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
Pre-print
11:15
15m
Talk
The Performance Effects of Virtual-Machine Instruction Pointer Updates
Technical Papers
11:30
15m
Talk
Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Technical Papers
Florian Huemer JKU Linz, David Leopoldseder Oracle Labs, Aleksandar Prokopec Oracle Labs, Raphael Mosaner JKU Linz, Hanspeter Mössenböck JKU Linz
11:45
15m
Talk
Optimizing Layout of Recursive Datatypes with Marmoset
Technical Papers
Vidush Singhal Purdue University, Chaitanya S. Koparkar Indiana University, Joseph Zullo Purdue University, Artem Pelenitsyn Purdue University, Michael Vollmer University of Kent, Mike Rainey Carnegie Mellon University, Ryan R. Newton Purdue University, Milind Kulkarni Purdue University
Pre-print
12:00 - 13:30
13:30 - 15:00
Types 1Technical Papers at EI 7
Chair(s): Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
13:30
15m
Talk
Behavioral up/down casting for statically typed languages
Technical Papers
Lorenzo Bacchiani University of Bologna, Mario Bravetti Università di Bologna, Marco GIUNTI University of Oxford, João Mota NOVA School of Science and Technology, António Ravara Nova University of Lisbon
13:45
15m
Talk
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
Technical Papers
Farzaneh Derakhshan Illinois Institute of Technology, Stephanie Balzer Carnegie Mellon University, Yue Yao Carnegie Mellon University
14:00
15m
Talk
Ozone: Fully Out-of-Order Choreographies
Technical Papers
Dan Plyukhin University of Southern Denmark, Marco Peressotti University of Southern Denmark, Fabrizio Montesi University of Southern Denmark
Pre-print
14:15
15m
Talk
Information Flow Control in Cyclic Process Networks
Technical Papers
Bas van den Heuvel Karlsruhe University of Applied Sciences, University of Freiburg, Farzaneh Derakhshan Illinois Institute of Technology, Stephanie Balzer Carnegie Mellon University
14:30
15m
Talk
Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Technical Papers
Ke Sun Peking University, Di Wang Peking University, Sheng Chen UL Lafayette, Meng Wang University of Bristol, Dan Hao Peking University
14:45
15m
Talk
Pure methods for roDOT
Technical Papers
Vlastimil Dort Charles University, Yufeng Li University of Waterloo, Ondřej Lhoták University of Waterloo, Pavel Parizek Charles University
15:00 - 15:30
15:30 - 17:00
AnalysisTechnical Papers at EI 7
Chair(s): Eva Darulova Uppsala University
15:30
15m
Talk
Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Technical Papers
Reshma Roy National Institute of Technology, Calicut, Sreekala S National Institute of Technology, Calicut, Vineeth Paleri National Institute of Technology, Calicut
15:45
15m
Talk
Indirection-Bounded Call Graph Analysis
Technical Papers
Madhurima Chakraborty University of California, Riverside, Aakash Gnanakumar University of California, Riverside, Manu Sridharan University of California at Riverside, Anders Møller Aarhus University
16:00
15m
Talk
Dynamically Generating Callback Summaries for Enhancing Static Analysis
Technical Papers
Steven Arzt Fraunhofer SIT; ATHENE, Marc Miltenberger Fraunhofer SIT | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Julius Näumann TU Darmstadt | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt
16:15
15m
Talk
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction
Technical Papers
Dongjie He Chongqing University, China, Jingbo Lu University of New South Wales, Jingling Xue UNSW Sydney
16:30
15m
Talk
Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Technical Papers
Fabian Schiebel Fraunhofer IEM, Florian Sattler Saarland Informatics Campus, Saarland University, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Sven Apel Saarland University, Eric Bodden

Tue 17 Sep

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

08:30 - 09:00
09:00 - 10:00
Dahl-Nygaard Senior Prize Keynote - Rachid GuerraouiTechnical Papers at EI 7
09:00
60m
Keynote
Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui
Technical Papers
10:00 - 10:30
10:30 - 12:00
DesignTechnical Papers at EI 7
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
10:30
15m
Talk
Defining Name Accessibility using Scope Graphs
Technical Papers
Aron Zwaan Delft University of Technology, Casper Bach Poulsen Delft University of Technology
Link to publication Pre-print
10:45
15m
Talk
Rose: Composable Autodiff for the Interactive Web
Technical Papers
Sam Estep Carnegie Mellon University, Wode Ni Carnegie Mellon University, Raven Rothkopf Barnard College, Joshua Sunshine Carnegie Mellon University
11:00
15m
Talk
Failure Transparency in Stateful Dataflow Systems
Technical Papers
Aleksey Veresov KTH Royal Institute of Technology, Jonas Spenger KTH Royal Institute of Technology, Paris Carbone KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology
DOI Pre-print Media Attached File Attached
11:15
15m
Talk
Fair join pattern matching for actors
Technical Papers
Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
DOI
11:30
15m
Talk
Constrictor: Immutability as a Design Concept
Technical Papers
Elad Kinsbruner Technion, Shachar Itzhaky Technion, Hila Peleg Technion
DOI Pre-print
11:45
15m
Talk
A Language-Based Version Control System for Python
Technical Papers
Luís Carvalho NOVA School of Science and Technology, João Costa Seco NOVA-LINCS; Nova University of Lisbon
12:00 - 13:30
13:30 - 15:00
Technical Papers at EI 7
Chair(s): Jonathan Aldrich Carnegie Mellon University, Guido Salvaneschi University of St. Gallen
13:30
30m
Awards
ECOOP Awards
Technical Papers
Guido Salvaneschi University of St. Gallen, Jonathan Aldrich Carnegie Mellon University
14:00
15m
Talk
Mutation-based Lifted Repair of Software Product Lines
Technical Papers
Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15
15m
Talk
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
Technical Papers
Martin Vassor Université de Lorraine; CNRS; Inria; LORIA, Nobuko Yoshida University of Oxford
14:30
15m
Talk
CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Technical Papers
Quan Zhou Penn State University, Dang Sixuan Duke University, Danfeng Zhang Duke University
14:45
15m
Talk
The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Technical Papers
Petr Maj Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria, Konrad Siek Czech Technical University in Prague, Luca Di Grazia University of Stuttgart, Jan Vitek Northeastern University
15:00 - 15:30
15:30 - 17:00
Types 2Technical Papers at EI 7
Chair(s): António Ravara Nova University of Lisbon
15:30
15m
Talk
InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Technical Papers
Senxi Li The University of Tokyo, Tetsuro Yamazaki University of Tokyo, Shigeru Chiba University of Tokyo
15:45
15m
Talk
A Sound Type System for Secure Currency Flow
Technical Papers
Luca Aceto Reykjavik University, Daniele Gorla Department of Computer Science, Sapienza University of Rome, Stian Lybech Reykjavik University
16:00
15m
Talk
Type Tailoring
Technical Papers
Ashton Wiersdorf University of Utah, Stephen Chang University of Massachusetts Boston, Matthias Felleisen Northeastern University, Ben Greenman University of Utah
16:15
15m
Talk
Learning Gradual Typing Performance
Technical Papers
Mohammad Wahiduzzaman Khan UL Lafayette, Sheng Chen University of Louisiana at Lafayette, Yi He Old Dominion University
16:30
15m
Talk
Generalizing Shape Analysis with Gradual Types
Technical Papers
Zeina Migeed University of California, Los Angeles, James Reed Fireworks AI, Jason Ansel Meta, Jens Palsberg University of California, Los Angeles (UCLA)
18:00 - 20:00

Wed 18 Sep

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

08:00 - 08:30
09:00 - 10:00
Joint ECOOP/ISSTA KeynoteTechnical Papers at EI 7
09:00
60m
Keynote
Software Quality Assurance in the Era of Large Language Models
Technical Papers
Lingming Zhang University of Illinois at Urbana-Champaign
10:00 - 10:30
10:30 - 12:00
Synthesis and verificationTechnical Papers at EI 2 Pichelmayer
Chair(s): Peter Thiemann University of Freiburg, Germany
10:30
15m
Talk
Inductive Predicate Synthesis Modulo Programs
Technical Papers
Scott Wesley Dalhousie University, Maria Christakis TU Wien, Jorge A. Navas Certora, Richard Trefler University of Waterloo, Valentin Wüstholz ConsenSys, Arie Gurfinkel University of Waterloo
10:45
15m
Talk
Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Technical Papers
Ping Hou University of Oxford, Nicolas Lagaillardie Imperial College London, Nobuko Yoshida University of Oxford
11:00
15m
Talk
Java Bytecode Normalization for Code Similarity Analysis
Technical Papers
Stefan Schott Heinz Nixdorf Institut, Paderborn University, Serena Elisa Ponta SAP Security Research, Wolfram Fischer SAP Security Research, Jonas Klauke Heinz Nixdorf Institut, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
11:30
15m
Talk
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Technical Papers
David Young University of Kansas, USA, Ziyi Yang National University of Singapore, Ilya Sergey National University of Singapore, Alex Potanin Australian National University
11:45
15m
Talk
Matching Plans for Frame Inference in Compositional Reasoning
Technical Papers
Andreas Lööw Imperial College London, Daniele Nantes-Sobrinho Imperial College London, Sacha-Élie Ayoun Imperial College London, Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
12:00 - 13:30
13:30 - 15:00
VerificationTechnical Papers at EI 2 Pichelmayer
Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon
13:30
15m
Talk
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Technical Papers
Barnabas Arvay University of Freiburg, Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
13:45
15m
Talk
Qafny: A Quantum-Program Verifier
Technical Papers
Liyi Li Iowa State University, Mingwei Zhu University of Maryland, College Park, Rance Cleaveland University of Maryland, Alexander Nicolellis Iowa State University, Yi Lee University of Maryland, College Park, Le Chang University of Maryland, College Park, Xiaodi Wu University of Maryland
14:00
15m
Talk
Verifying Lock-free Search Structure Templates
Technical Papers
Nisarg Patel New York University, Dennis Shasha New York University, Thomas Wies New York University
14:15
15m
Talk
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Technical Papers
Stephen N. Freund Williams College, Cormac Flanagan University of California at Santa Cruz
14:30
15m
Talk
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Technical Papers
Andreas Lööw Imperial College London, Daniele Nantes-Sobrinho Imperial College London, Sacha-Élie Ayoun Imperial College London, Caroline Cronjäger Ruhr-Universität Bochum, Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
14:45
15m
Talk
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Technical Papers
Jie Qiu Duolingo, Colin Cai University of California, Berkeley, Sahil Bhatia University of California, Berkeley, Niranjan Hasabnis Code Metal, Sanjit Seshia UC Berkeley, Alvin Cheung University of California at Berkeley
15:00 - 15:30
15:30 - 16:45
Software SystemsTechnical Papers at EI 2 Pichelmayer
Chair(s): Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
15:30
18m
Talk
Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
Technical Papers
Bob Brockbernd Delft University of Technology, Nikita Koval JetBrains, Arie van Deursen Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
15:48
18m
Talk
Runtime Instrumentation for Reactive Components
Technical Papers
Luca Aceto Reykjavik University, Duncan Paul Attard University of Glasgow, Adrian Francalanza University of Malta, Anna Ingolfsdottir Reykjavik University
16:07
18m
Talk
HOBBIT: Hashed Object Based InTegrity
Technical Papers
Matthias Bernad μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
16:26
18m
Talk
Pipit on the Post: proving pre- and post-conditions of reactive systems
Technical Papers
Amos Robinson Australian National University, Australia, Alex Potanin Australian National University
16:45 - 17:00
Closing and Invitation to ECOOP 2025Technical Papers at EI 2 Pichelmayer
16:45
15m
Day closing
Closing and Invitation to ECOOP 2025
Technical Papers
Werner Dietl University of Waterloo, Volker Stolz Høgskulen på Vestlandet
17:45 - 23:00
BanquetISSTA/ECOOP Social Events at Fuhrgassl-Huber

We will take buses from the conference venue to go to the banquet.

Accepted Papers

Title
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction
Technical Papers
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Technical Papers
A Language-Based Version Control System for Python
Technical Papers
A Sound Type System for Secure Currency Flow
Technical Papers
Behavioral up/down casting for statically typed languages
Technical Papers
Compiling with Arrays
Technical Papers
Pre-print
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Technical Papers
Constrictor: Immutability as a Design Concept
Technical Papers
DOI Pre-print
Cross Module Quickening - The Curious Case of C Extensions
Technical Papers
CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Technical Papers
Defining Name Accessibility using Scope Graphs
Technical Papers
Link to publication Pre-print
Dynamically Generating Callback Summaries for Enhancing Static Analysis
Technical Papers
Failure Transparency in Stateful Dataflow Systems
Technical Papers
DOI Pre-print Media Attached File Attached
Fair join pattern matching for actors
Technical Papers
DOI
Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Technical Papers
Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Technical Papers
Generalizing Shape Analysis with Gradual Types
Technical Papers
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Technical Papers
HOBBIT: Hashed Object Based InTegrity
Technical Papers
Indirection-Bounded Call Graph Analysis
Technical Papers
Inductive Predicate Synthesis Modulo Programs
Technical Papers
InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Technical Papers
Information Flow Control in Cyclic Process Networks
Technical Papers
Java Bytecode Normalization for Code Similarity Analysis
Technical Papers
Learning Gradual Typing Performance
Technical Papers
Matching Plans for Frame Inference in Compositional Reasoning
Technical Papers
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Technical Papers
Mutation-based Lifted Repair of Software Product Lines
Technical Papers
Optimizing Layout of Recursive Datatypes with Marmoset
Technical Papers
Pre-print
Ozone: Fully Out-of-Order Choreographies
Technical Papers
Pre-print
Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Technical Papers
Pipit on the Post: proving pre- and post-conditions of reactive systems
Technical Papers
Pure methods for roDOT
Technical Papers
Qafny: A Quantum-Program Verifier
Technical Papers
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
Technical Papers
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
Technical Papers
Rose: Composable Autodiff for the Interactive Web
Technical Papers
Runtime Instrumentation for Reactive Components
Technical Papers
Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Technical Papers
Static Basic Block Versioning
Technical Papers
Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Technical Papers
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Technical Papers
The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Technical Papers
The Performance Effects of Virtual-Machine Instruction Pointer Updates
Technical Papers
Type Tailoring
Technical Papers
Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
Technical Papers
Verifying Lock-free Search Structure Templates
Technical Papers

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 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 research papers may submit artifacts to the Artifact Evaluation Committee. They will be asked whether they intend to submit an artifact at submission time. 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.