| 2016 | A case for distributed work-stealing in regular applications. | Brendan Sheridan, Jeremy T. Fineman |
| 2016 | Rehearsal: a configuration verification tool for puppet. | Rian Shambaugh, Aaron Weiss, Arjun Guha |
| 2016 | Iceberg: a tool for static analysis of Java critical sections. | Michael D. Shah, Samuel Z. Guyer |
| 2016 | ActorX10: an actor library for X10. | Sascha Roloff, Alexander Pppl, Tobias Schwarzer, Stefan Wildermann, Michael Bader, Michael Gla, Frank Hannig, Jrgen Teich |
| 2016 | Just-in-time static type checking for dynamic languages. | Brianna M. Ren, Jeffrey S. Foster |
| 2016 | SSA-based MATLAB-to-C compilation and optimization. | Lus Reis, Joo Bispo, Joo M. P. Cardoso |
| 2016 | Cooperation vs. coordination for lifeline-based global load balancing in APGAS. | Jonas Posner, Claudia Fohry |
| 2016 | SWE-X10: an actor-based and locally coordinated solver for the shallow water equations. | Alexander Pppl, Michael Bader |
| 2016 | Program synthesis from polymorphic refinement types. | Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama |
| 2016 | Types from data: making structured data first-class citizens in F#. | Tomas Petricek, Gustavo Guerra, Don Syme |
| 2016 | Ivy: safety verification by interactive generalization. | Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham |
| 2016 | Data-driven precondition inference with learned features. | Saswat Padhi, Rahul Sharma, Todd D. Millstein |
| 2016 | LifeJacket: verifying precise floating-point optimizations in LLVM. | Andres Ntzli, Fraser Brown |
| 2016 | Polymorphic type inference for machine code. | Matthew Noonan, Alexey Loginov, David R. Cok |
| 2016 | Verified peephole optimizations for CompCert. | Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman |
| 2016 | Into the depths of C: elaborating the de facto standards. | Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell |
| 2016 | Event-driven network programming. | Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cern |
| 2016 | Control structure overloading in X10. | Louis Mandel, Josh Milthorpe, Olivier Tardieu |
| 2016 | Higher-order and tuple-based massively-parallel prefix sums. | Sepideh Maleki, Annie Yang, Martin Burtscher |
| 2016 | From Datalog to flix: a declarative language for fixed points on lattices. | Magnus Madsen, Ming-Ho Yee, Ondrej Lhotk |
| 2016 | Fast synthesis of fast collections. | Calvin Loncaric, Emina Torlak, Michael D. Ernst |
| 2016 | Verifying bit-manipulations of floating-point. | Wonyeol Lee, Rahul Sharma, Alex Aiken |
| 2016 | Input responsiveness: using canary inputs to dynamically steer approximation. | Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott A. Mahlke, Jason Mars, Lingjia Tang |
| 2016 | Array program transformation with Loo.py by example: high-order finite elements. | Andreas Klckner, Lucas C. Wilcox, Timothy C. Warburton |
| 2016 | A distributed OpenCL framework using redundant computation and data replication. | Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, Jaejin Lee |