ECOOP is a programming languages conference, and solicits high-quality submissions describing original and unpublished results on any Programming Languages topic. The traditional focus of the conference was on object orientation, but the focus now is on a much broader range of programming topics. This year’s conference will feature research papers, tool insights papers, reproduction studies, experience reports, “pearls”, and “brave new ideas” - see the Call for Papers for details.

Take a look at last year’s proceedings for examples of the kinds of work that ECOOP’19 aims to attract.


Submission Link: https://ecoop19.hotcrp.com/

Accepted Papers

Title
A Program Logic for First-Order Encapsulated WebAssembly
Research Papers
DOI Media Attached
A Typing Discipline for Hardware Interfaces
Research Papers
DOI Media Attached
Automated Large-scale Multi-language Dynamic Program Analysis in the WildTool Insights Paper
Research Papers
DOI Media Attached
Deep Static Modeling of invokedynamic
Research Papers
DOI Media Attached
DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access
Research Papers
DOI Pre-print Media Attached
Eventually Sound Points-To Analysis with Specifications
Research Papers
DOI Media Attached
Finally, a Polymorphic Linear Algebra LanguagePearl
Research Papers
DOI
Fling—A Fluent API Generator
Research Papers
DOI
Garbage-free Abstract Interpretation through Abstract Reference Counting
Research Papers
DOI
Godot: All the Benefits of Implicit and Explicit Futures
Research Papers
DOI Media Attached
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Research Papers
DOI Media Attached
Julia's Efficient Algorithm for Subtyping Unions and Covariant TuplesPearl
Research Papers
DOI Media Attached
Lifestate: Event-Driven Protocols and Callback Control Flow
Research Papers
DOI Media Attached
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsTool Insights Paper
Research Papers
DOI Pre-print Media Attached
Minimal Session TypesPearl
Research Papers
DOI Media Attached
Motion Session Types for Robotic InteractionsBrave New Idea
Research Papers
DOI Media Attached
Multitier Modules
Research Papers
DOI Media Attached
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsBrave New Idea
Research Papers
DOI Media Attached
NumLin: Linear Types for Linear Algebra
Research Papers
DOI Pre-print Media Attached File Attached
On Satisfiability of Nominal Subtyping with Variance
Research Papers
DOI Media Attached
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Research Papers
DOI Media Attached
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Research Papers
DOI Media Attached
Scopes and Frames Improve Meta-Interpreter Specialization
Research Papers
DOI Media Attached
Semantic Patches for Java Program TransformationExperience Report
Research Papers
DOI Media Attached
Static Analysis for Asynchronous JavaScript Programs
Research Papers
DOI
Towards Language-Parametric Semantic Editor Services based on Declarative Type System SpecificationsBrave New Idea
Research Papers
DOI Media Attached
Transferring Obligations Through Synchronizations
Research Papers
DOI Media Attached
Transient Typechecks are (Almost) Free
Research Papers
DOI Media Attached

Call for Papers

ECOOP 2019 solicits high-quality submissions describing original and unpublished results on any Programming Languages topic.

Submission Link: https://ecoop19.hotcrp.com/

On submission, authors will be asked to identify their paper with one of the following categories, details of which are given below:

  • Research Paper
  • Tool Insights Paper
  • Reproduction Study
  • Experience Report
  • Pearl
  • Brave New Idea

The Program Committee and External Review Committee will evaluate the contribution of each submission in the context of the paper category, as well as its general relevance and accessibility to a PL audience. All papers will be evaluated with reference to:

  • Significance. The results in the paper must have the potential to add to the state of the art, practice, or understanding of the field in significant ways.

  • Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies.

  • Clarity. The paper must present its contributions and results clearly.

Papers co-authored by members of the Program Committee will be reviewed solely by members of the External Review Committee and selected experts from outside the Program Committee.

Paper Categories

All accepted papers, regardless of category, will be published in the ECOOP’19 formal proceedings.

Research Papers

The Research Papers category is the most traditional paper category, and solicits high quality research papers that demonstrate advances in the PL field.

As an alternative to being published in the conference proceedings, authors may wish to submit research papers to be considered for publication in ACM TOPLAS or Science of Computer Programming; see “Journal First” below for more details.

Tool Insights Papers

We welcome submissions in this category that focus on the practical details of the design and implementation of PL tools – details that are often omitted from regular research papers due to space constraints, despite being fascinating and worthy of communication. A strong Tool Insights paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community who may face similar problems in future. Examples of issues that Tool Insights papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency and soundness/efficiency trade-offs.

Reproduction Studies

Common in other sciences, reproduction means independently reconstructing an experiment in a different context (e.g., virtual machine, platform, class of applications) in order to validate or refute important results of earlier work. A good reproduction study will include thorough empirical evaluation. It will contain a detailed comparison with the previous results, seeking reasons for possible disagreements. A thoroughly-conducted reproduction study that perfectly replicates an existing experiment and reaches the same conclusions will be regarded as significant, so long as said experiment is significant enough to be worthy of reproduction.

Experience Reports

The Experience Reports category solicits articles focussing on noteworthy applications of known PL techniques, tools and ideas in interesting domains and by other communities. Examples include, but are not limited to, applications of PL techniques in industry, open source, education, and other academic disciplines. We welcome both reports on successful applications of PL ideas, as well as reports that shed light on limitations and problems that may provide inspiration for future research.

Pearls

The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this.

Brave New Ideas

The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so.

Paper Submission

See the Journal First section below for alternative journal submission options

Only papers that have not been published and are not under review for publication elsewhere can be submitted. Double submissions will be rejected without review. If major parts of an ECOOP submission have appeared elsewhere in any form, authors are required to notify the ECOOP program chair and to explain the overlap and relationship. Authors are also required to inform the program chair about closely related work submitted to another conference while the ECOOP submission is under review.

ECOOP Proceedings are published by Dagstuhl LIPIcs. Papers must be written in English and follow the Dagstuhl LIPIcs LaTeX-style template, prepared in accordance with the Dagstuhl LIPIcs instructions for authors. For submissions, authors are free to use either the lipics-v2018 style template (available at time of writing this CFP), or the upcoming lipics-v2019 style template (which may have become available by the ECOOP submission deadline).

Papers must be no longer than 25 pages, excluding references and appendices (see below for detailed information about appendices). This limit applies to all paper categories. However, papers should be as long as necessary, and not longer: authors will not be penalized for a paper being shorter than the page limit so long as their paper otherwise meets the expectations of ECOOP.

Submissions will be carried out electronically via HotCRP.

At least one author of every accepted paper must register for ECOOP 2019 and present their paper.

Anonymity

Reviewing for ECOOP will initially be double-blind: the identity of reviewers will be anonymous as standard, and authors’ identities will be withheld until a reviewer submits her/his review. Reviewing becomes single-blind at the point of review submission: the identity of a given paper’s authors will become known to a reviewer when the reviewer submits his/her review for that paper.

To facilitate the initial double-blind phase, submitted papers must adhere to two rules:

  • Author names and institutions must be omitted

  • References to authors’ own other work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

When in doubt, contact the Program Chair.

Additional Material

Clearly marked additional appendices, not intended for the final publication, containing supporting proofs, analyses, statistics, etc., may be included beyond the page limit. There is also an option on the paper submission page to submit supplementary material, e.g., a technical report including proofs, or web pages and repositories that cannot easily be anonymized. This material will be made available to reviewers after the initial reviews have been completed, when author names are revealed.

Reviewers are under no obligation to examine the appendices and supplementary material. Therefore, the paper must be a stand-alone document, with the appendices and supplementary material viewed only as a way of providing useful information that cannot fit in the page limit, rather than as a means to extend the page limit.

Authors of papers that have been submitted but not accepted by previous conferences may optionally submit a Note to Reviewers. The Note to Reviewers should a) identify the previous venue(s) (e.g., ESOP 2019, POPL 2019, OOPSLA 2018); b) list the major issues identified by the reviews at those venues; and c) describe the changes made to the paper in response to those reviews. These notes will be made available to reviewers after their initial reviews have been completed and author names have been revealed.

Response Period

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 formal length limit, but concision will be highly appreciated and more concise responses are likely to be more effective.

Awards

The Program Chair will work with the Program Committee to select up to one paper in each category for recognition via a Distinguished Paper award. A Distinguished Artifact award will also be made.

Artifact Evaluation

To reward the creation of artifacts and support replication of experiments, authors of accepted papers (regardless of category) can submit artifacts, such as tools, data, models, or videos, to be evaluated by an Artifact Evaluation Committee. Artifacts that are accepted by the committee will be recognized officially.

Journal First

We have Journal First arrangements with two journals: ACM Transactions on Programming Languages and Systems, and Elsevier Science of Computer Programming.

Please contact the Program Chair if you have questions about the procedures and dates associated with the Journal First options.

Common to both routes

Only regular research papers (not papers in the other ECOOP 2019 categories) are eligible for the Journal First routes.

Only new papers are eligible for the Journal First routes to ECOOP 2019. That is, it is not acceptable to submit an extension of a previous conference paper, even if the associated journal solicits extended papers via its standard submission route.

Authors of all accepted Journal First papers will be invited to submit a short abstract for their paper to appear in the ECOOP 2019 conference proceedings.

Journal First papers will be included along with research papers submitted directly to the conference when a Distinguished Paper is selected.

Science of Computer Programming Route

See this dedicated web page for full details of how to submit to the ECOOP 2019 Science of Computer Programming special issue.

Submission deadline: Friday 16 November 2018

ACM Transactions on Programming Languages and Systems Route

See this announcement for details of the TOPLAS scheme whereby papers submitted to TOPLAS can be presented at selected conferences.

Authors interested in this route should submit their paper to TOPLAS via its usual submission system, and mark their paper as an ECOOP 2019 submission. The ECOOP Program Chair will then be informed of this submission and will have some input into the review process.

Submission deadline: To allow the TOPLAS review process to complete in time for publication before ECOOP 2019, Journal First TOPLAS papers should be submitted no later than Monday 15 October 2018.

More Information

For additional information, please contact the ECOOP Program Chair, Alastair Donaldson.

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

Wed 17 Jul

Displayed time zone: Belfast change

09:00 - 10:00
Dahl-Nygaard Prize KeynoteResearch Papers at Mancy
Chair(s): Laurence Tratt King's College London
09:00
60m
Talk
Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)Keynote
Research Papers
K: Ilya Sergey Yale-NUS College and National University of Singapore
Media Attached File Attached
10:30 - 12:10
Language Design and ImplementationResearch Papers at Mancy
Chair(s): John Wickerson Imperial College London
10:30
20m
Research paper
Lifestate: Event-Driven Protocols and Callback Control Flow
Research Papers
Shawn Meier University of Colorado, Boulder, Sergio Mover Ecole Polytechnique, Bor-Yuh Evan Chang University of Colorado Boulder
DOI Media Attached
10:50
20m
Research paper
Godot: All the Benefits of Implicit and Explicit Futures
Research Papers
Kiko Fernandez-Reyes Uppsala University, Einar Broch Johnsen University of Oslo, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Ludovic Henrio CNRS, Tobias Wrigstad Uppsala University
DOI Media Attached
11:10
20m
Research paper
Towards Language-Parametric Semantic Editor Services based on Declarative Type System SpecificationsBrave New Idea
Research Papers
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
DOI Media Attached
11:30
20m
Research paper
Multitier Modules
Research Papers
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
DOI Media Attached
11:50
20m
Research paper
Scopes and Frames Improve Meta-Interpreter Specialization
Research Papers
Vlad Vergu TU Delft, Eelco Visser Delft University of Technology, Andrew Tolmach Portland State University
DOI Media Attached
13:30 - 15:10
TypesResearch Papers at Mancy
Chair(s): Davide Ancona University of Genova
13:30
20m
Research paper
Transient Typechecks are (Almost) Free
Research Papers
Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
DOI Media Attached
13:50
20m
Research paper
A Typing Discipline for Hardware Interfaces
Research Papers
Jan de Muijnck-Hughes University of Glasgow, Wim Vanderbauwhede University of Glasgow
DOI Media Attached
14:10
20m
Research paper
Minimal Session TypesPearl
Research Papers
Alen Arslanagić University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands, Erik Voogd University of Groningen
DOI Media Attached
14:30
20m
Research paper
Julia's Efficient Algorithm for Subtyping Unions and Covariant TuplesPearl
Research Papers
Benjamin Chung Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
DOI Media Attached
14:50
20m
Research paper
On Satisfiability of Nominal Subtyping with Variance
Research Papers
Aleksandr Misonizhnik Saint-Petersburg State University, Dmitry Mordvinov Saint-Petersburg State University, JetBrains Research
DOI Media Attached
15:40 - 17:00
Program Analysis 1Research Papers at Mancy
Chair(s): Yannis Smaragdakis University of Athens
15:40
20m
Research paper
Static Analysis for Asynchronous JavaScript Programs
Research Papers
Thodoris Sotiropoulos Athens University of Economics and Business, Ben Livshits Imperial College London, UK
DOI
16:00
20m
Research paper
A Program Logic for First-Order Encapsulated WebAssembly
Research Papers
Conrad Watt University of Cambridge, Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Neel Krishnaswami Computer Laboratory, University of Cambridge, Philippa Gardner Imperial College London
DOI Media Attached
16:20
20m
Research paper
Garbage-free Abstract Interpretation through Abstract Reference Counting
Research Papers
Noah Van Es Sofware Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel
DOI
16:40
20m
Research paper
Eventually Sound Points-To Analysis with Specifications
Research Papers
Osbert Bastani University of Pennsylvania, Rahul Sharma Microsoft Research, Lazaro Clapp Stanford University, Saswat Anand Stanford University, Alex Aiken Stanford University
DOI Media Attached
17:00 - 17:50
Awards and RecognitionResearch Papers at Mancy
17:00
10m
Awards
ECOOP Awards
Research Papers
P: Alastair F. Donaldson Imperial College London, A: Maria Christakis MPI-SWS, A: Manuel Rigger ETH Zurich
17:10
40m
Talk
A tribute to Laurie Hendren
Research Papers
Jan Vitek Northeastern University
Media Attached

Thu 18 Jul

Displayed time zone: Belfast change

09:00 - 10:00
KeynoteResearch Papers at Mancy
Chair(s): Sophia Drossopoulou Imperial College London
09:00
60m
Talk
Rethinking Compositionality: Composing Proofs From Program BehavioursKeynote
Research Papers
K: Azadeh Farzan University of Toronto
Media Attached
10:30 - 12:10
Domain Specific LanguagesResearch Papers at Mancy
Chair(s): Sebastian Erdweg JGU Mainz
10:30
20m
Research paper
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Research Papers
Matthias Eichholz , Eric Campbell Cornell University, Nate Foster Cornell University, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt, Germany
DOI Media Attached
10:50
20m
Research paper
Fling—A Fluent API Generator
Research Papers
Yossi Gil Technion—Israel Institute of Technology, Ori Roth Technion
DOI
11:10
20m
Research paper
Semantic Patches for Java Program TransformationExperience Report
Research Papers
Hong Jin Kang School of Information Systems, Singapore Management University, Ferdian Thung , Julia Lawall Inria/LIP6, Gilles Muller LIP6-INRIA/UPMC, Lingxiao Jiang Singapore Management University, David Lo Singapore Management University
DOI Media Attached
11:30
20m
Research paper
Finally, a Polymorphic Linear Algebra LanguagePearl
Research Papers
Amir Shaikhha University of Oxford, Lionel Parreaux EPFL
DOI
11:50
20m
Research paper
NumLin: Linear Types for Linear Algebra
Research Papers
Dhruv Makwana Unaffiliated, Neel Krishnaswami Computer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached
13:30 - 15:10
Program Analysis 2Research Papers at Mancy
Chair(s): Christian Hammer University of Potsdam
13:30
20m
Research paper
Deep Static Modeling of invokedynamic
Research Papers
George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
DOI Media Attached
13:50
20m
Research paper
Automated Large-scale Multi-language Dynamic Program Analysis in the WildTool Insights Paper
Research Papers
Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
DOI Media Attached
14:10
20m
Research paper
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsTool Insights Paper
Research Papers
Linghui Luo Paderborn University, Julian Dolby IBM Research, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print Media Attached
14:30
20m
Research paper
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Research Papers
Alexi Turcotte Northeastern University, Ellen Arteca Northeastern University, Gregor Richards University of Waterloo
DOI Media Attached
14:50
20m
Research paper
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsBrave New Idea
Research Papers
Carmen Torres Lopez Vrije Universiteit Brussel, Robbert Gurdeep Singh Universiteit Gent, Belgium, Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium
DOI Media Attached
15:40 - 17:00
Concurrency and ParallelismResearch Papers at Mancy
Chair(s): Stephen Kell University of Kent
15:40
20m
Research paper
DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access
Research Papers
Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
DOI Pre-print Media Attached
16:00
20m
Research paper
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Research Papers
Suvam Mukherjee Microsoft Research India, Nitin John Raj International Institute of Information Technology, Hyderabad, Krishnan Govindraj Microsoft Research, Pantazis Deligiannis Microsoft Research, Chandramouleswaran Ravichandran Microsoft Azure, Akash Lal Microsoft Research India, Aseem Rastogi Microsoft Research, Raja Krishnaswamy Microsoft Azure
DOI Media Attached
16:20
20m
Research paper
Transferring Obligations Through Synchronizations
Research Papers
Jafar Hamin imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart Jacobs KU Leuven
DOI Media Attached
16:40
20m
Research paper
Motion Session Types for Robotic InteractionsBrave New Idea
Research Papers
Rupak Majumdar MPI-SWS, Germany, Marcus Pirron MPI-SWS, Nobuko Yoshida Imperial College London, Damien Zufferey MPI-SWS
DOI Media Attached
17:00 - 18:00
Closing KeynoteResearch Papers at Mancy
Chair(s): Alastair F. Donaldson Imperial College London
17:00
60m
Talk
Automatic Differentiation for DummiesKeynote
Research Papers
K: Simon Peyton Jones Microsoft, UK
Media Attached
18:00 - 20:00
Social HourCatering at Socials