| 2016 | Reducing parallelizing compilation time by removing redundant analysis. | Jixin Han, Rina Fujino, Ryota Tamura, Mamoru Shimaoka, Hiroki Mikami, Moriyuki Takamura, Sachio Kamiya, Kazuhiko Suzuki, Takahiro Miyajima, Keiji Kimura, Hironori Kasahara |
| 2016 | Asserting reliable convergence for configuration management scripts. | Oliver Hanappi, Waldemar Hummer, Schahram Dustdar |
| 2016 | LaCasa: lightweight affinity and object capabilities in Scala. | Philipp Haller, Alexander Loiko |
| 2016 | Finding concurrency bugs using graph-based anomaly detection in big code. | Andrew Habib |
| 2016 | VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs. | Sylvia Grewe |
| 2016 | Spray: programming with a persistent distributed heap. | Marco Grandi |
| 2016 | Automatic enforcement of expressive security policies using enclaves. | Anitha Gollamudi, Stephen Chong |
| 2016 | Energy profiling with Alpaca. | Logan Goldberg, Joel Katticaran, Abraham Mhaidli |
| 2016 | Rebuilding an airliner in flight: a retrospective on refactoring IBM testarossa production compiler for Eclipse OMR. | Matthew Gaudet, Mark Stoodley |
| 2016 | in the control room of the banquet. | Richard P. Gabriel |
| 2016 | Bloqqi: modular feature-based block diagram programming. | Niklas Fors, Grel Hedin |
| 2016 | Flexible initialization of immutable objects. | Tyler Etzel |
| 2016 | End-user software engineering of cognitive robot applications using procedural parameters and complex event processing. | Floris Erich |
| 2016 | How are programs found? speculating about language ergonomics with Curry-Howard. | Johannes Emerich |
| 2016 | Language support for verifiable SDNs. | Matthias Eichholz |
| 2016 | Design pattern builder: a concept for refinable reusable design pattern libraries. | Tobias Drschmid |
| 2016 | Google authentication risks on iOS. | Will Dormann |
| 2016 | Parallel incremental whole-program optimizations for Scala.js. | Sbastien Doeraene, Tobias Schlatter |
| 2016 | Run-time code generators for model-level debugging in domain-specific modeling. | Verislav Djukic, Aleksandar Popovic, Zhenli Lu |
| 2016 | Incremental forest: a DSL for efficiently managing filestores. | Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster |
| 2016 | Modeling and analysis of remote memory access programming. | Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev |
| 2016 | A divide-and-conquer parallel pattern implementation for multicores. | Marco Danelutto, Tiziano De Matteis, Gabriele Mencagli, Massimo Torquati |
| 2016 | Efficient and thread-safe objects for dynamically-typed languages. | Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mssenbck |
| 2016 | Chain: tasks and channels for reliable intermittent programs. | Alexei Colin, Brandon Lucia |
| 2016 | Moldable, context-aware searching with Spotter. | Andrei Chis, Tudor Grba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel |