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
11:00 - 12:40: ECOOP Research Papers - Asynchrony and Concurrency at Zurich II Chair(s): Todd MillsteinUniversity of California, Los Angeles | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:25 Research paper | 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 - 11:50 Research paper | Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
11:50 - 12:15 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
12:15 - 12:40 Research paper | Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London DOI |
13:50 - 15:30: ECOOP Research Papers - Testing at Zurich II Chair(s): Alastair DonaldsonImperial College London | ||||||||||||||||||||||||||||||||||||||||||
13:50 - 14:15 Research paper | 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 - 14:40 Research paper | Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University DOI | |||||||||||||||||||||||||||||||||||||||||
14:40 - 15:05 Research paper | Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University DOI | |||||||||||||||||||||||||||||||||||||||||
15:05 - 15:30 Research paper | Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA DOI |
16:00 - 17:15: ECOOP Research Papers - Languages at Zurich II Chair(s): Yu David LiuState University of New York, Binghamton | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:25 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
16:25 - 16:50 Research paper | 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 - 17:15 Research paper | DOI |
Fri 20 Jul
11:00 - 12:40: ECOOP Research Papers - Types at Zurich II Chair(s): Philipp HallerKTH Royal Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:25 Research paper | Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University DOI | |||||||||||||||||||||||||||||||||||||||||
11:25 - 11:50 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
11:50 - 12:15 Research paper | Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel DOI | |||||||||||||||||||||||||||||||||||||||||
12:15 - 12:40 Research paper | DOI |
13:50 - 15:30: ECOOP Research Papers - Runtime Systems at Zurich II Chair(s): Christian HammerUniversity of Potsdam | ||||||||||||||||||||||||||||||||||||||||||
13:50 - 14:15 Research paper | Mohaned QunaibitUniversity of California, Irvine, Stefan BrunthalerBundeswehr University Munich, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Michael FranzUniversity of California, Irvine DOI | |||||||||||||||||||||||||||||||||||||||||
14:15 - 14:40 Research paper | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:40 - 15:05 Research paper | Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia DOI | |||||||||||||||||||||||||||||||||||||||||
15:05 - 15:30 Research paper | Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University DOI |
16:00 - 17:15: ECOOP Research Papers - Formal Calculi at Zurich II Chair(s): Atsushi IgarashiKyoto University, Japan | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:25 Research paper | Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington DOI | |||||||||||||||||||||||||||||||||||||||||
16:25 - 16:50 Research paper | Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova DOI | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:15 Research paper | Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven DOI |
Sat 21 Jul
11:00 - 12:40: ECOOP Research Papers - Static Analysis at Zurich II Chair(s): Karim AliUniversity of Alberta | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:25 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
11:25 - 11:50 Research paper | DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
11:50 - 12:15 Research paper | Ana MilanovaRensselaer Polytechnic Institute DOI | |||||||||||||||||||||||||||||||||||||||||
12:15 - 12:40 Research paper | Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens DOI |