| 2017 | What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. | Jeff Huang, Arun K. Rajagopalan |
| 2017 | Formalization IDEs Integrated with a Verifying Compiler. | Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman |
| 2016 | Towards Ontology-Based Program Analysis. | Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen |
| 2016 | Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency. | Nosheen Zaza, Nathaniel Nystrom |
| 2016 | Integration Challenges of Pure Operation-based CRDTs in Redis. | Georges Younes, Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2016 | MHDeS: deduplicating method handle graphs for efficient dynamic JVM language implementations. | Shijie Xu, David Bremner, Daniel Heidinga |
| 2016 | Front Matter, Table of Contents, Preface, List of Authors. | |
| 2016 | Transforming Programs between APIs with Many-to-Many Mappings. | Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu |
| 2016 | Staccato: A Bug Finder for Dynamic Configuration Updates. | John Toman, Dan Grossman |
| 2016 | Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. | John A. Thywissen, Arthur Michener Peters, William R. Cook |
| 2016 | Towards Gaze Control in Programming Environments. | Astrid Thomschke, Daniel Stolpe, Marcel Taeumel, Robert Hirschfeld |
| 2016 | Consistent Unanticipated Adaptation for Context-Dependent Applications. | Nguonly Taing, Markus Wutzler, Thomas Springer, Nicols Cardozo, Alexander Schill |
| 2016 | Evolving User Interfaces From Within Self-supporting Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs. | Marcel Taeumel, Robert Hirschfeld |
| 2016 | Transactional Tasks: Parallelism in Software Transactions. | Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter |
| 2016 | Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android. | Noriyuki Suzuki, Tetsuo Kamina, Katsuhisa Maruyama |
| 2016 | Classes as Layers: Rewriting Design Patterns with COP: Alternative Implementations of Decorator, Observer, and Visitor. | Matthias Springer, Hidehiko Masuhara, Robert Hirschfeld |
| 2016 | Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. | Johannes Spth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden |
| 2016 | Lightweight Session Programming in Scala. | Alceste Scalas, Nobuko Yoshida |
| 2016 | Efficient profiling of actor-based applications in parallel and distributed systems. | Andrea Ros, Lydia Y. Chen, Walter Binder |
| 2016 | Sulong - execution of LLVM-based languages on the JVM: position paper. | Manuel Rigger, Matthias Grimmer, Hanspeter Mssenbck |
| 2016 | How Live are Live Programming Systems?: Benchmarking the Response Times of Live Programming Environments. | Patrick Rein, Stefan Lehmann, Toni Mattis, Robert Hirschfeld |
| 2016 | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. | Casper Bach Poulsen, Pierre Nron, Andrew P. Tolmach, Eelco Visser |
| 2016 | Trufflereloader: a low-overhead language-neutral reloader. | Tnis Pool, Allan Raundahl Gregersen, Vesal Vojdani |
| 2016 | Optimizing Sideways Composition: Fast Context-oriented Programming in ContextPyPy. | Tobias Pape, Tim Felgentreff, Robert Hirschfeld |
| 2016 | Higher-Order Demand-Driven Program Analysis. | Zachary Palmer, Scott F. Smith |