| 2017 | VM Wrapping: Fake it till you make it. | Johannes Henning, Tim Felgentreff, Robert Hirschfeld |
| 2017 | IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. | Daco Harkes, Eelco Visser |
| 2017 | A Generic Approach to Flow-Sensitive Polymorphic Effects. | Colin S. Gordon |
| 2017 | Tracing sharing in an imperative pure calculus: extended abstract. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2017 | muPuppet: A Declarative Subset of the Puppet Configuration Language. | Weili Fu, Roly Perera, Paul Anderson, James Cheney |
| 2017 | Mixing Metaphors: Actors as Channels and Channels as Actors. | Simon Fowler, Sam Lindley, Philip Wadler |
| 2017 | The Single-Writer Principle in CRDT Composition. | Vitor Enes, Paulo Srgio Almeida, Carlos Baquero |
| 2017 | Contracts in the Wild: A Study of Java Programs. | Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada |
| 2017 | Evil Pickles: DoS Attacks Based on Object-Graph Engineering. | Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin |
| 2017 | Concurrent Data Structures Linked in Time. | Germn Andrs Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee |
| 2017 | Type Abstraction for Relaxed Noninterference. | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, ric Tanter |
| 2017 | Monotonicity Types for Distributed Dataflow. | Kevin Clancy, Heather Miller |
| 2017 | A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. | Guido Chari, Diego Garbervetsky, Stefan Marr |
| 2017 | Relaxed Linear References for Lock-free Data Structures. | Elias Castegren, Tobias Wrigstad |
| 2017 | Peace COrP: learning to solve conflicts between contexts. | Nicols Cardozo, Ivana Dusparic, Jorge H. Castro |
| 2017 | Composing Software in an Age of Dissonance (Invited Talk). | Gilad Bracha |
| 2017 | Modelling Homogeneous Generative Meta-Programming. | Martin Berger, Laurence Tratt, Christian Urban |
| 2017 | Generic Approach to Certified Static Checking of Module-like Constructs. | Julia Belyakova |
| 2017 | A Coq-based synthesis of Scala programs which are correct-by-construction. | Youssef El Bakouny, Tristan Crolard, Dani Mezher |
| 2017 | Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2017 | Parallelizing Julia with a Non-Invasive DSL. | Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman |
| 2017 | Parametric Trace Expressions for Runtime Verification of Java-Like Programs. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2017 | Formal Analysis of Object-Oriented Mograms. | Moussa Amrani, Pierre-Yves Schobbens |
| 2017 | Multi-view data types for scalable concurrency in the multi-core era. | Deepthi Devaki Akkoorath, Jos Brando, Annette Bieniusa, Carlos Baquero |
| 2017 | Towards a Java Subtyping Operad. | Moez A. AbdelGawad |