Abstract is missing.
- Safe Transferable RegionsGowtham Kaki, G. Ramalingam. [doi]
- Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisTianxiao Gu, Xiaoxing Ma, Chang Xu 0001, Yanyan Jiang 0001, Chun Cao, Jian Lu. [doi]
- FHJ: A Formal Model for Hierarchical Dispatching and OverridingYanlin Wang, Haoyuan Zhang, Bruno C. D. S. Oliveira, Marco Servetto. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Targeted Test Generation for Actor SystemsSihan Li, Farah Hariri, Gul Agha. [doi]
- Theory and Practice of Coroutines with SnapshotsAleksandar Prokopec, Fengyun Liu. [doi]
- ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsJulien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman. [doi]
- KafKa: Gradual Typing for ObjectsBenjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek. [doi]
- Fault-tolerant Distributed Reactive ProgrammingRagnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini. [doi]
- Efficient Reflection String Analysis via Graph ColoringNeville Grech, George Kastrinis, Yannis Smaragdakis. [doi]
- Static Typing of Complex Presence Constraints in InterfacesNathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter. [doi]
- Learning to Accelerate Symbolic Execution via Code TransformationJunjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang 0023. [doi]
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsWing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie 0001, Pratap Lakshman, Jonathan de Halleux. [doi]
- Definite Reference MutabilityAna Milanova. [doi]
- Typed First-Class TraitsXuan Bi, Bruno C. D. S. Oliveira. [doi]
- A Concurrent Specification of POSIX File SystemsGian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner. [doi]
- Modeling Infinite Behaviour by CorulesDavide Ancona, Francesco Dagnino, Elena Zucca. [doi]
- Mailbox Types for Unordered InteractionsUgo de'Liguoro, Luca Padovani. [doi]
- Defensive Points-To Analysis: Effective Soundness via LazinessYannis Smaragdakis, George Kastrinis. [doi]
- ContextWorkflow: A Monadic DSL for Compensable and Interruptible ExecutionsHiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi. [doi]
- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards OptimizationMohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz. [doi]
- The Essence of Nested CompositionXuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. [doi]
- Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration UpdatesJohn Toman, Dan Grossman. [doi]
- Type Regression Testing to Detect Breaking Changes in Node.js LibrariesGianluca Mezzetti, Anders Møller, Martin Toldam Torp. [doi]
- Dependent Types for Class-based Mutable ObjectsJoana Campos 0002, Vasco T. Vasconcelos. [doi]
- CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsJonathan Bell, Luís Pina. [doi]
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIsStefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini. [doi]