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