TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

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
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
ECOOP Research Papers
DOI
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
DOI
A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
DOI
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
ECOOP Research Papers
DOI
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
DOI
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
ECOOP Research Papers
DOI Pre-print Media Attached
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
ECOOP Research Papers
DOI
Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
DOI
Definite Reference Mutability
ECOOP Research Papers
DOI
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
DOI
Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
DOI
Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
DOI
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
ECOOP Research Papers
DOI
KafKa: Gradual Typing for Objects
ECOOP Research Papers
DOI
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
DOI
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
DOI Pre-print
Mailbox Types for Unordered Interactions
ECOOP Research Papers
DOI
Modeling infinite behaviour by corules
ECOOP Research Papers
DOI
Safe Transferable Regions
ECOOP Research Papers
DOI
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
DOI
Targeted Test Generation for Actor Systems
ECOOP Research Papers
DOI
The Essence of Nested Composition
ECOOP Research Papers
DOI
Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
DOI
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
ECOOP Research Papers
DOI
Typed First-Class Traits
ECOOP Research Papers
DOI
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
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.

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

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:40
Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd Millstein University of California, Los Angeles
11:00
25m
Research paper
Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt
DOI
11:25
25m
Research paper
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
Hiroaki Inoue Mitsubishi Electric Corporation, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan
DOI
11:50
25m
Research paper
Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland
DOI
12:15
25m
Research paper
A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
Gian Ntzik Imperial College London, Pedro da Rocha Pinto Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London
DOI
13:50 - 15:30
TestingECOOP Research Papers at Zurich II
Chair(s): Alastair F. Donaldson Imperial College London
13:50
25m
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie , Pratap Lakshman Microsoft, India, Peli de Halleux Microsoft Research
DOI
14:15
25m
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University
DOI
14:40
25m
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
DOI
15:05
25m
Research paper
Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
DOI
16:00 - 17:15
LanguagesECOOP Research Papers at Zurich II
Chair(s): Yu David Liu State University of New York, Binghamton
16:00
25m
Research paper
Typed First-Class Traits
ECOOP Research Papers
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
16:25
25m
Research paper
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
ECOOP Research Papers
Stefan Krüger University of Paderborn, Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira Mezini TU Darmstadt
DOI
16:50
25m
Research paper
Safe Transferable Regions
ECOOP Research Papers
Gowtham Kaki Purdue University, G. Ramalingam Microsoft Research
DOI

Fri 20 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:40
TypesECOOP Research Papers at Zurich II
Chair(s): Philipp Haller KTH Royal Institute of Technology
11:00
25m
Research paper
KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin Chung Northeastern University, Paley Li Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
DOI
11:25
25m
Research paper
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana Campos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal
DOI
11:50
25m
Research paper
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie Oostvogels Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
12:15
25m
Research paper
Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin, Italy
DOI
13:50 - 15:30
Runtime SystemsECOOP Research Papers at Zurich II
Chair(s): Christian Hammer University of Potsdam
13:50
25m
Research paper
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
ECOOP Research Papers
Mohaned Qunaibit University of California, Irvine, Stefan Brunthaler Bundeswehr University Munich, Yeoul Na , Stijn Volckaert University of California, Irvine, Michael Franz University of California, Irvine
DOI
14:15
25m
Research paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
ECOOP Research Papers
Jonathan Bell George Mason University, Luís Pina George Mason University
DOI Pre-print Media Attached
14:40
25m
Research paper
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
ECOOP Research Papers
Julien Gascon-Samson , Kumseok Jung University of British Columbia, Shivanshu Goyal University of British Columbia, Armin Rezaiean-Asel University of British Columbia, Karthik Pattabiraman University of British Columbia
DOI
15:05
25m
Research paper
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
ECOOP Research Papers
Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University
DOI
16:00 - 17:15
Formal CalculiECOOP Research Papers at Zurich II
Chair(s): Atsushi Igarashi Kyoto University, Japan
16:00
25m
Research paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
ECOOP Research Papers
Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington
DOI
16:25
25m
Research paper
Modeling infinite behaviour by corules
ECOOP Research Papers
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
DOI
16:50
25m
Research paper
The Essence of Nested Composition
ECOOP Research Papers
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven
DOI

Sat 21 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:40
Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
25m
Research paper
Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
DOI
11:25
25m
Research paper
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
DOI Pre-print
11:50
25m
Research paper
Definite Reference Mutability
ECOOP Research Papers
Ana Milanova Rensselaer Polytechnic Institute
DOI
12:15
25m
Research paper
Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
DOI