| 2016 | A design and verification methodology for secure isolated regions. Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2016 | A distributed OpenCL framework using redundant computation and data replication. Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, Jaejin Lee |
| 2016 | Accepting blame for safe tunneled exceptions. Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers |
| 2016 | Assessing the limits of program-specific garbage collection performance. Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, Eliot Moss |
| 2016 | Automatically learning shape specifications. He Zhu, Gustavo Petri, Suresh Jagannathan |
| 2016 | Cardinalities and universal quantifiers for verifying parameterized systems. Klaus von Gleissenthall, Nikolaj S. Bjørner, Andrey Rybalchenko |
| 2016 | Cartesian hoare logic for verifying k-safety properties. Marcelo Sousa, Isil Dillig |
| 2016 | Configuration synthesis for programmable analog devices with Arco. Sara Achour, Rahul Sarpeshkar, Martin C. Rinard |
| 2016 | Coverage-directed differential testing of JVM implementations. Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao |
| 2016 | Data-driven precondition inference with learned features. Saswat Padhi, Rahul Sharma, Todd D. Millstein |
| 2016 | Effective padding of multidimensional arrays to avoid cache conflict misses. Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan |
| 2016 | End-to-end verification of information-flow security for C and assembly programs. David Costanzo, Zhong Shao, Ronghui Gu |
| 2016 | Event-driven network programming. Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný |
| 2016 | Exposing errors related to weak memory in GPU applications. Tyler Sorensen, Alastair F. Donaldson |
| 2016 | Fast synthesis of fast collections. Calvin Loncaric, Emina Torlak, Michael D. Ernst |
| 2016 | FlexVec: auto-vectorization for irregular loops. Sara S. Baghsorkhi, Nalini Vasudevan, Youfeng Wu |
| 2016 | From Datalog to flix: a declarative language for fixed points on lattices. Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták |
| 2016 | GreenWeb: language extensions for energy-efficient mobile web computing. Yuhao Zhu, Vijay Janapa Reddi |
| 2016 | Higher-order and tuple-based massively-parallel prefix sums. Sepideh Maleki, Annie Yang, Martin Burtscher |
| 2016 | Idle time garbage collection scheduling. Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer |
| 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 | 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 | Ivy: safety verification by interactive generalization. Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham |
| 2016 | Just-in-time static type checking for dynamic languages. Brianna M. Ren, Jeffrey S. Foster |
| 2016 | Latte: a language, compiler, and runtime for elegant and efficient deep neural networks. Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, Tatiana Shpeisman |
| 2016 | Lightweight computation tree tracing for lazy functional languages. Maarten Faddegon, Olaf Chitil |
| 2016 | Living on the edge: rapid-toggling probes with cross-modification on x86. Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
| 2016 | MapReduce program synthesis. Calvin Smith, Aws Albarghouthi |
| 2016 | Occurrence typing modulo theories. Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt |
| 2016 | On the complexity and performance of parsing with derivatives. Michael D. Adams, Celeste Hollenbeck, Matthew Might |
| 2016 | Polymorphic type inference for machine code. Matthew Noonan, Alexey Loginov, David R. Cok |
| 2016 | Precise, dynamic information flow for database-backed applications. Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
| 2016 | Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016 Chandra Krintz, Emery D. Berger |
| 2016 | Program synthesis from polymorphic refinement types. Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama |
| 2016 | Programmatic and direct manipulation, together at last. Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers |
| 2016 | Refinement types for TypeScript. Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
| 2016 | Rehearsal: a configuration verification tool for puppet. Rian Shambaugh, Aaron Weiss, Arjun Guha |
| 2016 | Remix: online detection and repair of cache contention for the JVM. Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti |
| 2016 | SDNRacer: concurrency analysis for software-defined networks. Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev |
| 2016 | Statistical similarity of binaries. Yaniv David, Nimrod Partush, Eran Yahav |
| 2016 | Stratified synthesis: automatically learning the x86-64 instruction set. Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2016 | Synthesizing transformations on hierarchically structured data. Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri |
| 2016 | Temporal NetKAT. Ryan Beckett, Michael Greenberg, David Walker |
| 2016 | Toward compositional verification of interruptible OS kernels and device drivers. Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu |
| 2016 | Transactional data structure libraries. Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar |
| 2016 | Types from data: making structured data first-class citizens in F#. Tomas Petricek, Gustavo Guerra, Don Syme |
| 2016 | Verified lifting of stencil computations. Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama |
| 2016 | Verified peephole optimizations for CompCert. Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman |
| 2016 | Verifying bit-manipulations of floating-point. Wonyeol Lee, Rahul Sharma, Alex Aiken |