ECOOP is a programming languages conference. Its primary focus has been object orientation, though in recent years it has accepted quality papers over a much broader range of programming topics. Areas of interest include, but are not limited to, the theory, design, implementation, optimization, and analysis of programs and programming languages. It solicits both innovative and creative solutions to real problems, and evaluations of existing solutions in ways that shed new insights. It also encourages the submission of reproduction studies.
The ECOOP proceedings are available here.
Accepted Papers
Call for Papers
Paper Selection
ECOOP 2018 solicits high-quality submissions describing original and 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 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 to the state of the art or practice 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.
- For Reproduction Studies: Empirical Evaluation. 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.
Paper Submission
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.
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 whereby authors’ identities are withheld until a reviewer submits his or her review (as usual, reviews are still anonymous). To facilitate this, submitted papers must adhere to two rules:
- author names and institutions must be omitted, and
- 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 2018, POPL 2018, OOPSLA 2017); 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 is likely to be more effective.
Artifact Evaluation
To reward the creation of artifacts and support replication of experiments, authors of accepted research papers can 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: January 12, 2018
- Author response: March 19-21, 2018
- Author notification: April 11, 2018
More Information
For additional information, please contact the ECOOP Program Chair, Todd Millstein.
Thu 19 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:40 | Asynchrony and ConcurrencyECOOP Research Papers at Zurich II Chair(s): Todd MillsteinUniversity of California, Los Angeles | ||
11:00 25mResearch paper | Fault-tolerant Distributed Reactive Programming ECOOP Research Papers Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt DOI | ||
11:25 25mResearch paper | ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ECOOP Research Papers Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan DOI | ||
11:50 25mResearch paper | Theory and Practice of Coroutines with Snapshots ECOOP Research Papers DOI | ||
12:15 25mResearch paper | A Concurrent Specification of POSIX File Systems ECOOP Research Papers Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London DOI |
13:50 - 15:30 | |||
13:50 25mResearch paper | A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP Research Papers Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie, Pratap LakshmanMicrosoft, India, Peli de HalleuxMicrosoft Research DOI | ||
14:15 25mResearch paper | Learning to Accelerate Symbolic Execution via Code Transformation ECOOP Research Papers Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University DOI | ||
14:40 25mResearch paper | Type Regression Testing to Detect Breaking Changes in Node.js Libraries ECOOP Research Papers Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University DOI | ||
15:05 25mResearch paper | Targeted Test Generation for Actor Systems ECOOP Research Papers Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA DOI |
16:00 - 17:15 | LanguagesECOOP Research Papers at Zurich II Chair(s): Yu David LiuState University of New York, Binghamton | ||
16:00 25mResearch paper | Typed First-Class Traits ECOOP Research Papers DOI | ||
16:25 25mResearch paper | CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ECOOP Research Papers Stefan KrügerUniversity of Paderborn, Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt DOI | ||
16:50 25mResearch paper | Safe Transferable Regions ECOOP Research Papers DOI |
Fri 20 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:40 | |||
11:00 25mResearch paper | KafKa: Gradual Typing for Objects ECOOP Research Papers Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University DOI | ||
11:25 25mResearch paper | Dependent Types for Class-based Mutable Objects ECOOP Research Papers DOI | ||
11:50 25mResearch paper | Static typing of complex presence constraints in interfaces ECOOP Research Papers Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel DOI | ||
12:15 25mResearch paper | Mailbox Types for Unordered Interactions ECOOP Research Papers DOI |
16:00 - 17:15 | |||
16:00 25mResearch paper | FHJ: A Formal Model for Hierarchical Dispatching and Overriding ECOOP Research Papers Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington DOI | ||
16:25 25mResearch paper | Modeling infinite behaviour by corules ECOOP Research Papers Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova DOI | ||
16:50 25mResearch paper | The Essence of Nested Composition ECOOP Research Papers Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven DOI |
Sat 21 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:40 | |||
11:00 25mResearch paper | Defensive Points-To Analysis: Effective Soundness via Laziness ECOOP Research Papers DOI | ||
11:25 25mResearch paper | Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates ECOOP Research Papers DOI Pre-print | ||
11:50 25mResearch paper | Definite Reference Mutability ECOOP Research Papers Ana MilanovaRensselaer Polytechnic Institute DOI | ||
12:15 25mResearch paper | Efficient Reflection String Analysis via Graph Coloring ECOOP Research Papers Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens DOI |