CurryOn 2018
Mon 16 - Tue 17 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / ECOOP 2018 (series) /

ECOOP Artifacts

Accepted Artifacts

  • Dependent Types for Class-based Mutable Objects (Joana Campos, Vasco T. Vasconcelos)
  • Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (John Toman, Dan Grossman)
  • Static Typing of Complex Presence Constraints in Interfaces (Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter)
  • ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi)
  • The Essence of Nested Composition (Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers)
  • CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Stefan Krüger, Johannes Spaeth, Karim Ali, Eric Bodden, Mira Mezini)
  • Definite Reference Mutability (Ana Milanova)
  • Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Gianluca Mezzetti, Anders Møller, Martin Toldam Torp)
  • Typed First-Class Traits (Xuan Bi, Bruno C. d. S. Oliveira)
  • A Framework for Object-Oriented Gradual Typing (Benjamin W. Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek)
Important Dates AoE (UTC-12h)
Mon 28 May 2018
Acceptance notification
Wed 2 May 2018
Kick-the-tires response
Wed 25 - Sun 29 Apr 2018
Kick-the-tires period
Sun 22 Apr 2018
Submission of artifacts
Submission Link
https://ecoop18ae.hotcrp.com/
Artifact Evaluation Committee