ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions—evaluations that provide new insights. It also encourages the submission of reproduction studies.
Take a look at last year’s proceedings for examples of the kinds of work that ECOOP’20 aims to attract.
Submission Link: https://ecoop20.hotcrp.com/
Sun 15 NovDisplayed time zone: Central Time (US & Canada) change
07:00 - 07:20 | |||
07:00 20mDay opening | Opening Session SPLASH Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University |
07:20 - 08:20 | |||
07:20 60mKeynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook SPLASH Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication Media Attached |
08:20 - 09:00 | Breakfast in ChicagoSPLASH Posters at SPLASH-I +12h Please click the link below for the list of featured posters. | ||
08:20 40mOther | Posters Session 1 SPLASH Posters |
09:00 - 10:20 | S-2Research Papers at SPLASH-I +12h Chair(s): Shigeru Chiba The University of Tokyo, Yu David Liu State University of New York (SUNY) Binghamton | ||
09:00 20mTalk | Abstracting gradual referencesSCICO Journal-First Research Papers Link to publication DOI Media Attached | ||
09:20 20mTalk | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Research Papers Link to publication DOI Pre-print Media Attached | ||
09:40 20mTalk | Blame for Null Research Papers Abel Nieto Aarhus University, Marianna Rapoport University of Waterloo, Gregor Richards University of Waterloo, Ondřej Lhoták University of Waterloo Link to publication DOI Pre-print Media Attached | ||
10:00 20mTalk | Perfect is the Enemy of Good: Best-Effort Program Synthesis Research Papers Hila Peleg University of California at San Diego, Nadia Polikarpova University of California at San Diego Link to publication DOI Media Attached |
10:20 - 11:00 | |||
10:20 40mTalk | Ask Me Anything: Amal Ahmed SPLASH PLMW Amal Ahmed Northeastern University, USA |
11:00 - 12:20 | |||
11:00 20mTalk | Flow-Sensitive Type-Based Heap Cloning Research Papers Mohamad Barbar University of Technology, Sydney, Yulei Sui University of Technology Sydney, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia Link to publication DOI Media Attached | ||
11:20 20mTalk | Sound regular corecursion in coFJ Research Papers Davide Ancona DIBRIS, University of Genova, Italy, Pietro Barbieri Università di Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova Link to publication DOI Media Attached | ||
11:40 20mTalk | Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Research Papers Link to publication DOI Pre-print Media Attached | ||
12:00 20mTalk | Row and Bounded Polymorphism via Disjoint Polymorphism Research Papers Ningning Xie University of Toronto, Bruno C. d. S. Oliveira University of Hong Kong, Xuan Bi The University of Hong Kong, Tom Schrijvers KU Leuven Link to publication DOI Media Attached |
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
13:00 - 14:20 | S-4Research Papers at SPLASH-I +12h Chair(s): Karim Ali University of Alberta, Eli Tilevich Virginia Tech | ||
13:00 20mTalk | K-LLVM: A Relatively Complete Semantics of LLVM IR Research Papers Link to publication DOI Media Attached | ||
13:20 20mTalk | A Type-Directed Operational Semantics for a Calculus with a Merge Operator Research Papers Link to publication DOI Media Attached | ||
13:40 20mTalk | A big step from finite to infinite computationsSCICO Journal-First Research Papers Davide Ancona DIBRIS, University of Genova, Italy, Francesco Dagnino DIBRIS, University of Genova, Italy, Jurriaan Rot Radboud University Nijmegen, Elena Zucca University of Genova Link to publication DOI Media Attached | ||
14:00 20mTalk | Static Type Analysis by Abstract Interpretation of Python Programs Research Papers Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Link to publication DOI Media Attached File Attached |
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
15:00 - 16:20 | S-5Research Papers at SPLASH-I +12h Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Eli Tilevich Virginia Tech | ||
15:00 20mTalk | Model-View-Update-Communicate: Session Types meet the Elm Architecture Research Papers Simon Fowler University of Glasgow Link to publication DOI Pre-print Media Attached | ||
15:20 20mTalk | Putting Randomized Compiler Testing into Production Research Papers Link to publication DOI Media Attached | ||
15:40 20mTalk | Owicki-Gries Reasoning for C11 RAR Research Papers Sadegh Dalvandi University of Surrey, Simon Doherty University of Sheffield, Brijesh Dongol University of Surrey, Heike Wehrheim Paderborn University Link to publication DOI Media Attached | ||
16:00 20mTalk | Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer Research Papers Link to publication DOI Media Attached |
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
17:00 - 18:20 | S-6Research Papers at SPLASH-I +12h Chair(s): Shigeru Chiba The University of Tokyo, Tiark Rompf Purdue University | ||
17:00 20mTalk | Static Race Detection and Mutex Safety and Liveness for Go Programs Research Papers Link to publication DOI Media Attached | ||
17:20 20mTalk | Reference immutability for DOT Research Papers Link to publication DOI Media Attached | ||
17:40 20mTalk | Multiparty Session Programming with Global Protocol Combinators Research Papers Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University Link to publication DOI Media Attached | ||
18:00 20mTalk | Scala with Explicit Nulls Research Papers Abel Nieto Aarhus University, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, Angela Chang University of Waterloo, Justin Pu University of Waterloo Link to publication DOI Pre-print Media Attached |
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
19:00 - 19:20 | |||
19:00 20mDay opening | Opening Session SPLASH Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University |
19:20 - 20:20 | |||
19:20 60mKeynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook SPLASH Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication Media Attached |
20:20 - 21:00 | Cocktails in New YorkSPLASH Posters at SPLASH-I Please click the link below for the list of featured posters. | ||
20:20 40mOther | Posters Session 1 SPLASH Posters |
21:00 - 22:20 | S-2Research Papers at SPLASH-I Chair(s): Atsushi Igarashi Kyoto University, Japan, Hidehiko Masuhara Tokyo Institute of Technology | ||
21:00 20mTalk | Abstracting gradual referencesSCICO Journal-First Research Papers Link to publication DOI Media Attached | ||
21:20 20mTalk | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Research Papers Link to publication DOI Pre-print Media Attached | ||
21:40 20mTalk | Blame for Null Research Papers Abel Nieto Aarhus University, Marianna Rapoport University of Waterloo, Gregor Richards University of Waterloo, Ondřej Lhoták University of Waterloo Link to publication DOI Pre-print Media Attached | ||
22:00 20mTalk | Perfect is the Enemy of Good: Best-Effort Program Synthesis Research Papers Hila Peleg University of California at San Diego, Nadia Polikarpova University of California at San Diego Link to publication DOI Media Attached |
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
Mon 16 NovDisplayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mTalk | Ask Me Anything: Sriram Rajamani SPLASH PLMW Sriram Rajamani Microsoft Research |
01:00 - 02:20 | S-4Research Papers at SPLASH-I Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Atsushi Igarashi Kyoto University, Japan | ||
01:00 20mTalk | K-LLVM: A Relatively Complete Semantics of LLVM IR Research Papers Link to publication DOI Media Attached | ||
01:20 20mTalk | A Type-Directed Operational Semantics for a Calculus with a Merge Operator Research Papers Link to publication DOI Media Attached | ||
01:40 20mTalk | A big step from finite to infinite computationsSCICO Journal-First Research Papers Davide Ancona DIBRIS, University of Genova, Italy, Francesco Dagnino DIBRIS, University of Genova, Italy, Jurriaan Rot Radboud University Nijmegen, Elena Zucca University of Genova Link to publication DOI Media Attached | ||
02:00 20mTalk | Static Type Analysis by Abstract Interpretation of Python Programs Research Papers Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Link to publication DOI Media Attached File Attached |
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
03:00 - 04:20 | S-5Research Papers at SPLASH-I Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Jeremy Gibbons Department of Computer Science, University of Oxford | ||
03:00 20mTalk | Model-View-Update-Communicate: Session Types meet the Elm Architecture Research Papers Simon Fowler University of Glasgow Link to publication DOI Pre-print Media Attached | ||
03:20 20mTalk | Putting Randomized Compiler Testing into Production Research Papers Link to publication DOI Media Attached | ||
03:40 20mTalk | Owicki-Gries Reasoning for C11 RAR Research Papers Sadegh Dalvandi University of Surrey, Simon Doherty University of Sheffield, Brijesh Dongol University of Surrey, Heike Wehrheim Paderborn University Link to publication DOI Media Attached | ||
04:00 20mTalk | Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer Research Papers Link to publication DOI Media Attached |
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
05:00 - 06:20 | S-6Research Papers at SPLASH-I Chair(s): Olivier Flückiger Northeastern University, Jeremy Gibbons Department of Computer Science, University of Oxford | ||
05:00 20mTalk | Static Race Detection and Mutex Safety and Liveness for Go Programs Research Papers Link to publication DOI Media Attached | ||
05:20 20mTalk | Reference immutability for DOT Research Papers Link to publication DOI Media Attached | ||
05:40 20mTalk | Multiparty Session Programming with Global Protocol Combinators Research Papers Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University Link to publication DOI Media Attached | ||
06:00 20mTalk | Scala with Explicit Nulls Research Papers Abel Nieto Aarhus University, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, Angela Chang University of Waterloo, Justin Pu University of Waterloo Link to publication DOI Pre-print Media Attached |
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
09:00 - 10:20 | |||
09:00 80mKeynote | Catching More Bugs with Fewer False AlarmsAMA SPLASH Keynotes Jonathan Bell Northeastern University Link to publication Media Attached |
10:20 - 11:00 | Breakfast in SeattleSPLASH Posters at SPLASH-I +12h Please click the link below for the list of featured posters. | ||
10:20 40mPoster | Posters Session 2 SPLASH Posters |
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
17:00 - 17:20 | M-6BResearch Papers at SPLASH-III +12h Chair(s): Raffi Khatchadourian City University of New York, Patrick Rein Hasso Plattner Institute | ||
17:00 20mTalk | Space-Efficient Gradual Typing in Coercion-Passing Style Research Papers Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University Link to publication DOI Media Attached |
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
21:00 - 22:20 | |||
21:00 80mKeynote | Catching More Bugs with Fewer False AlarmsAMA SPLASH Keynotes Jonathan Bell Northeastern University Link to publication Media Attached |
22:20 - 23:00 | Lunch in TokyoSPLASH Posters at SPLASH-I Please click the link below for the list of featured posters. | ||
22:20 40mPoster | Posters Session 2 SPLASH Posters |
Tue 17 NovDisplayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
05:00 - 05:20 | M-6BResearch Papers at SPLASH-III Chair(s): Patrick Rein Hasso Plattner Institute, Manuel Serrano Inria, France | ||
05:00 20mTalk | Space-Efficient Gradual Typing in Coercion-Passing Style Research Papers Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University Link to publication DOI Media Attached |
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
07:00 - 08:20 | |||
07:00 80mKeynote | Testing Deep Neural Networks SPLASH Keynotes Mary Lou Soffa University of Virginia Link to publication |
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
10:20 - 11:00 | |||
10:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
12:20 - 13:00 | Breakfast in WellingtonSPLASH Student Research Competition at SPLASH-I +12h
| ||
12:20 40mPoster | Student Research Competition SPLASH Student Research Competition |
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
19:00 - 20:20 | |||
19:00 80mKeynote | Testing Deep Neural Networks SPLASH Keynotes Mary Lou Soffa University of Virginia Link to publication |
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers SPLASH Meet The Speakers (MTS) |
Accepted Papers
Call for Papers
ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions—evaluations that provide new insights. It also encourages the submission of reproduction studies.
ECOOP 2020 solicits high-quality submissions describing original, unpublished results.
The program committee will evaluate the technical contribution of each submission as well as its general relevance and accessibility to the ECOOP audience according to the following criteria:
-
Originality. Papers must present new ideas and place them appropriately within the context established by previous research in the field.
-
Significance. The results in the paper must have the potential to add significantly to the state of the art or practice.
-
Evidence. The paper must present evidence supporting its claims. Examples of evidence include implemented systems, experimental results, statistical analyses, case studies, formalizations, and proofs.
-
Clarity. The paper must present its contributions and results clearly.
On submission, authors will be asked to identify their paper with one of the following categories:
-
Research Paper. This is the most traditional category and solicits high quality research papers that demonstrate advances in the 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.)
-
Tool Insights Paper. These submissions focus on the practical details of the design and implementation of PL tools—details that are often omitted from regular research papers, 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 Study. A Reproduction Study is an empirical evaluation. It reconstructs an already published experiment but in a different context (for example, using a different virtual machine or platform, or in a different class of applications) in order to validate or refute important results of earlier work. A good Reproduction Study includes thorough empirical evaluation as well as a detailed comparison with the previous results, providing 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 Report. Such reports focus 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 reports on successful applications of PL ideas and reports that shed light on limitations and problems that may provide inspiration for future research.
-
Pearl. This 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 Idea. The Brave New Idea category solicits forward-looking articles on ideas in the field of PL 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
Only papers that have not been published and are not under review for publication elsewhere may 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 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.
Papers must be no longer than 25 pages, excluding references. See below for information about appendices. Authors will not be penalized for papers that are shorter than the page limit.
Submissions will be carried out electronically via HotCRP.
ECOOP Proceedings are published by Dagstuhl LIPIcs. Papers must be written in English and follow the Dagstuhl LIPIcs LaTeX-style template. Authors retain ownership of their content.
Note: Submitted papers do not need to include the ACM classification or keywords. Also, please DO NOT put your name in either the \author
or \Copyright
macro, in order to maintain anonymity for double-blind reviewing (see below).
Anonymity
ECOOP will use light double-blind reviewing: authors’ identities are withheld until a reviewer submits his or her review (as usual, reviews are anonymous). To facilitate this, 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 (for example, 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 containing analyses, statistics, supporting proofs, etc. of possible value to reviewers but not published in the final publication, may be included beyond the page limit. The submission system provides an option to submit supplementary material; for example, a technical report including proofs, or web pages and repositories that cannot easily be anonymized. This supplementary 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 such appendices and supplementary material. Therefore, the paper must be a stand-alone document - the appendices and supplementary material are a way of providing useful information that cannot fit in the page limit; they are not 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 provide the following information:
-
the identity of the previous venue(s) (for example, ESOP 2020, ‹Programming› 2020, POPL 2020, OOPSLA 2019)
-
a list the major issues identified by the reviews at those venues
-
a description of 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 is likely to be effective.
Artifact Evaluation
To reward the creation of artifacts and support replication of experiments, authors of accepted research papers may submit artifacts (such as tools, data, models, or videos) to be evaluated by an Artifact Evaluation Committee. Artifacts that pass muster will be recognized officially.
Important Dates
-
Paper submission: 10 January 2020 (Fri)
-
Author response: 16–18 March 2020 (Mon-Wed)
-
Author notification: 8 April 2020 (Wed)
Journal First
We have Journal First arrangements with ACM Transactions on Programming Languages and Systems and Elsevier Science of Computer Programming.
Common to both routes
Only new research papers are eligible for the Journal First routes to ECOOP 2020. 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 2020 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 2020 Science of Computer Programming (SCP) special issue.
Submission deadline: December 2, 2019 (Mon)
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 it as an ECOOP 2020 submission. The ECOOP Program Chair will then be informed of this submission and will have some input into the review process.
Submission deadline: October 10, 2019 (Thu)
More Information
For additional information, please contact the ECOOP Program Chair, Robert Hirschfeld.