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