LIPIcs, Volume 109, ECOOP 2018

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