ECOOP 2018 ECOOP Research Papers

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

	Title
	A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Peli de Halleux DOI
	A Concurrent Specification of POSIX File Systems Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner DOI
	Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz DOI
	Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu DOI
	CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Jonathan Bell, Luís Pina DOI Pre-print Media Attached
	ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi DOI
	CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini DOI
	Defensive Points-To Analysis: Effective Soundness via Laziness Yannis Smaragdakis, George Kastrinis DOI
	Definite Reference Mutability Ana Milanova DOI
	Dependent Types for Class-based Mutable Objects Joana Campos, Vasco T. Vasconcelos DOI
	Efficient Reflection String Analysis via Graph Coloring Neville Grech, George Kastrinis, Yannis Smaragdakis DOI
	FHJ: A Formal Model for Hierarchical Dispatching and Overriding Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto DOI
	Fault-tolerant Distributed Reactive Programming Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini DOI
	KafKa: Gradual Typing for Objects Benjamin W Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek DOI
	Learning to Accelerate Symbolic Execution via Code Transformation Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang DOI
	Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates John Toman, Dan Grossman DOI Pre-print
	Mailbox Types for Unordered Interactions Ugo de'Liguoro, Luca Padovani DOI
	Modeling infinite behaviour by corules Davide Ancona, Francesco Dagnino, Elena Zucca DOI
	Safe Transferable Regions Gowtham Kaki, G. Ramalingam DOI
	Static typing of complex presence constraints in interfaces Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter DOI
	Targeted Test Generation for Actor Systems Sihan Li, Farah Hariri, Gul Agha DOI
	The Essence of Nested Composition Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers DOI
	Theory and Practice of Coroutines with Snapshots Aleksandar Prokopec, Fengyun Liu DOI
	ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman DOI
	Type Regression Testing to Detect Breaking Changes in Node.js Libraries Gianluca Mezzetti, Anders Møller, Martin Toldam Torp DOI
	Typed First-Class Traits Xuan Bi, Bruno C. d. S. Oliveira DOI

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.