| 2018 | Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming. | Toni Mattis, Robert Hirschfeld |
| 2018 | Targeted Test Generation for Actor Systems. | Sihan Li, Farah Hariri, Gul Agha |
| 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 | CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. | Stefan Krger, Johannes Spth, Karim Ali, Eric Bodden, Mira Mezini |
| 2018 | Assessing primitives performance on multi-stage execution. | Sophie Kaleba, Clment Bra, Stphane Ducasse |
| 2018 | Safe Transferable Regions. | Gowtham Kaki, G. Ramalingam |
| 2018 | ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. | Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi |
| 2018 | Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns. | Robert Hirschfeld, Tobias Drschmid, Patrick Rein, Marcel Taeumel |
| 2018 | Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. | Micha Hergarden, Sung-Shik Jongmans |
| 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 | Efficient Reflection String Analysis via Graph Coloring. | Neville Grech, George Kastrinis, Yannis Smaragdakis |
| 2018 | ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications. | Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman |
| 2018 | Maintaining Canonical Form After Edge Deletion. | Eric Fritz |
| 2018 | Feature Visualiser: an Inspection Tool for Context-Oriented Programmers. | Benot Duhoux, Kim Mens, Bruno Dumas |
| 2018 | Mailbox Types for Unordered Interactions. | Ugo de'Liguoro, Luca Padovani |
| 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 | A Declarative Language for Context Activation. | Nicols Cardozo |
| 2018 | The Essence of Nested Composition. | Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2018 | Typed First-Class Traits. | Xuan Bi, Bruno C. d. S. Oliveira |
| 2018 | CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. | Jonathan Bell, Lus Pina |
| 2018 | Modeling Infinite Behaviour by Corules. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2018 | Dependent Types for Class-based Mutable Objects. | Joana Campos, Vasco T. Vasconcelos |
| 2017 | An Empirical Study on Deoptimization in the Graal Compiler. | Yudi Zheng, Lubomr Bulej, Walter Binder |
| 2017 | EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. | Weixin Zhang, Bruno C. d. S. Oliveira |