ECOOP 2018 July 16-21, 2018 - Amsterdam, Netherlands

32nd European Conference on Object-Oriented Programming (ECOOP 2018)



Todd Millstein (Ed.)
ISBN 978-3-95977-079-8, LIPICS Vol. 109 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server


Authors
  • Agha, Gul
  • Ali, Karim
  • Ancona, Davide
  • Aotani, Tomoyuki
  • Bassett, Blake
  • Baumgärtner, Lars
  • Bell, Jonathan
  • Bi, Xuan
  • Bodden, Eric
  • Brunthaler, Stefan
  • Campos, Joana
  • Cao, Chun
  • Chen, Junjie
  • Chung, Benjamin
  • Dagnino, Francesco
  • da Rocha Pinto, Pedro
  • de'Liguoro, Ugo
  • de Halleux, Jonathan
  • De Koster, Joeri
  • De Meuter, Wolfgang
  • Franz, Michael
  • Freisleben, Bernd
  • Gardner, Philippa
  • Gascon-Samson, Julien
  • Goyal, Shivanshu
  • Grech, Neville
  • Grossman, Dan
  • Gu, Tianxiao
  • Hao, Dan
  • Hariri, Farah
  • Hu, Wenxiang
  • Igarashi, Atsushi
  • Inoue, Hiroaki
  • Jiang, Yanyan
  • Jung, Kumseok
  • Kaki, Gowtham
  • Kastrinis, George
  • Khurshid, Sarfraz
  • Krüger, Stefan
  • Lakshman, Pratap
  • Lam, Wing
  • Li, Paley
  • Li, Sihan
  • Liu, Fengyun
  • Lu, Jian
  • Møller, Anders
  • Ma, Xiaoxing
  • Mahdian, Peyman
  • Mezini, Mira
  • Mezzetti, Gianluca
  • Milanova, Ana
  • Millstein, Todd
  • Mogk, Ragnar
  • Na, Yeoul
  • Ntzik, Gian
  • Oliveira, Bruno C. d. S.
  • Oostvogels, Nathalie
  • Padovani, Luca
  • Pattabiraman, Karthik
  • Pina, Luís
  • Prokopec, Aleksandar
  • Qunaibit, Mohaned
  • Ramalingam, G.
  • Rezaiean-Asel, Armin
  • Salvaneschi, Guido
  • Schrijvers, Tom
  • Servetto, Marco
  • Smaragdakis, Yannis
  • Späth, Johannes
  • Srisakaokul, Siwakorn
  • Sutherland, Julian
  • Toman, John
  • Torp, Martin Toldam
  • Vasconcelos, Vasco T.
  • Vitek, Jan
  • Volckaert, Stijn
  • Wang, Yanlin
  • Xie, Tao
  • Xu, Chang
  • Zappa Nardelli, Francesco
  • Zhang, Haoyuan
  • Zhang, Lingming
  • Zhang, Lu
  • Zucca, Elena

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Millstein, Todd

    Abstract | Document (435 KB) | BibTeX

    Fault-tolerant Distributed Reactive Programming
    Authors: Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira

    Abstract | Document (706 KB) | BibTeX

    ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
    Authors: Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi

    Abstract | Document (792 KB) | BibTeX

    Theory and Practice of Coroutines with Snapshots
    Authors: Prokopec, Aleksandar ; Liu, Fengyun

    Abstract | Document (757 KB) | BibTeX

    A Concurrent Specification of POSIX File Systems
    Authors: Ntzik, Gian ; da Rocha Pinto, Pedro ; Sutherland, Julian ; Gardner, Philippa

    Abstract | Document (688 KB) | BibTeX

    A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
    Authors: Lam, Wing ; Srisakaokul, Siwakorn ; Bassett, Blake ; Mahdian, Peyman ; Xie, Tao ; Lakshman, Pratap ; de Halleux, Jonathan

    Abstract | Document (687 KB) | BibTeX

    Learning to Accelerate Symbolic Execution via Code Transformation
    Authors: Chen, Junjie ; Hu, Wenxiang ; Zhang, Lingming ; Hao, Dan ; Khurshid, Sarfraz ; Zhang, Lu

    Abstract | Document (911 KB) | BibTeX

    Type Regression Testing to Detect Breaking Changes in Node.js Libraries
    Authors: Mezzetti, Gianluca ; Møller, Anders ; Torp, Martin Toldam

    Abstract | Document (740 KB) | BibTeX

    Targeted Test Generation for Actor Systems
    Authors: Li, Sihan ; Hariri, Farah ; Agha, Gul

    Abstract | Document (708 KB) | BibTeX

    Typed First-Class Traits
    Authors: Bi, Xuan ; Oliveira, Bruno C. d. S.

    Abstract | Document (716 KB) | BibTeX

    CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
    Authors: Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira

    Abstract | Document (647 KB) | BibTeX

    Safe Transferable Regions
    Authors: Kaki, Gowtham ; Ramalingam, G.

    Abstract | Document (720 KB) | BibTeX

    KafKa: Gradual Typing for Objects
    Authors: Chung, Benjamin ; Li, Paley ; Zappa Nardelli, Francesco ; Vitek, Jan

    Abstract | Document (3,750 KB) | BibTeX

    Dependent Types for Class-based Mutable Objects
    Authors: Campos, Joana ; Vasconcelos, Vasco T.

    Abstract | Document (527 KB) | BibTeX

    Static Typing of Complex Presence Constraints in Interfaces
    Authors: Oostvogels, Nathalie ; De Koster, Joeri ; De Meuter, Wolfgang

    Abstract | Document (638 KB) | BibTeX

    Mailbox Types for Unordered Interactions
    Authors: de'Liguoro, Ugo ; Padovani, Luca

    Abstract | Document (615 KB) | BibTeX

    Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
    Authors: Qunaibit, Mohaned ; Brunthaler, Stefan ; Na, Yeoul ; Volckaert, Stijn ; Franz, Michael

    Abstract | Document (1,114 KB) | BibTeX

    CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
    Authors: Bell, Jonathan ; Pina, Luís

    Abstract | Document (628 KB) | BibTeX

    ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
    Authors: Gascon-Samson, Julien ; Jung, Kumseok ; Goyal, Shivanshu ; Rezaiean-Asel, Armin ; Pattabiraman, Karthik

    Abstract | Document (1,234 KB) | BibTeX

    Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
    Authors: Gu, Tianxiao ; Ma, Xiaoxing ; Xu, Chang ; Jiang, Yanyan ; Cao, Chun ; Lu, Jian

    Abstract | Document (806 KB) | BibTeX

    FHJ: A Formal Model for Hierarchical Dispatching and Overriding
    Authors: Wang, Yanlin ; Zhang, Haoyuan ; Oliveira, Bruno C. d. S. ; Servetto, Marco

    Abstract | Document (783 KB) | BibTeX

    Modeling Infinite Behaviour by Corules
    Authors: Ancona, Davide ; Dagnino, Francesco ; Zucca, Elena

    Abstract | Document (783 KB) | BibTeX

    The Essence of Nested Composition
    Authors: Bi, Xuan ; Oliveira, Bruno C. d. S. ; Schrijvers, Tom

    Abstract | Document (668 KB) | BibTeX

    Defensive Points-To Analysis: Effective Soundness via Laziness
    Authors: Smaragdakis, Yannis ; Kastrinis, George

    Abstract | Document (1,383 KB) | BibTeX

    Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
    Authors: Toman, John ; Grossman, Dan

    Abstract | Document (858 KB) | BibTeX

    Definite Reference Mutability
    Authors: Milanova, Ana

    Abstract | Document (750 KB) | BibTeX

    Efficient Reflection String Analysis via Graph Coloring
    Authors: Grech, Neville ; Kastrinis, George ; Smaragdakis, Yannis

    Abstract | Document (564 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI