| 2015 | SnapQueue: lock-free queue with constant time snapshots. | Aleksandar Prokopec |
| 2015 | Referential integrity with Scala types. | Patrick Prmont |
| 2015 | KJS: a complete formal semantics of JavaScript. | Daejun Park, Andrei Stefanescu, Grigore Rosu |
| 2015 | Automatically improving accuracy for floating point expressions. | Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock |
| 2015 | Type-and-example-directed program synthesis. | Peter-Michael Osera, Steve Zdancewic |
| 2015 | Static detection of asymptotic performance bugs in collection traversals. | Oswaldo Olivo, Isil Dillig, Calvin Lin |
| 2015 | Efficient synthesis of probabilistic programs. | Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy |
| 2015 | Relatively complete counterexamples for higher-order programs. | Phuc C. Nguyen, David Van Horn |
| 2015 | Cutting out the middleman: OS-level support for x10 activities. | Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann |
| 2015 | Local parallel iteration in x10. | Josh Milthorpe |
| 2015 | ESPeciaL: an embedded systems programming language. | Christopher Mtrailler, Pierre-Andr Mudry |
| 2015 | Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. | Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe |
| 2015 | Improving compiler scalability: optimizing large programs at small price. | Sanyam Mehta, Pen-Chung Yew |
| 2015 | Efficient synthesis of network updates. | Jedidiah McClurg, Hossein Hojjat, Pavol Cern, Nate Foster |
| 2015 | Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises. | Stefan Marr, Chris Seaton, Stphane Ducasse |
| 2015 | Concurrency debugging with differential schedule projections. | Nuno Machado, Brandon Lucia, Lus E. T. Rodrigues |
| 2015 | A simpler, safer programming and execution model for intermittent systems. | Brandon Lucia, Benjamin Ransford |
| 2015 | Provably correct peephole optimizations with alive. | Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |
| 2015 | Preventing glitches and short circuits in high-level self-timed chip specifications. | Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate |
| 2015 | Many-core compiler fuzzing. | Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson |
| 2015 | Interactive parser synthesis by example. | Alan Leung, John Sarracino, Sorin Lerner |
| 2015 | Design your analysis: a case study on implementation reusability of data-flow functions. | Johannes Lerch, Ben Hermann |
| 2015 | Termination and non-termination specification inference. | Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin |
| 2015 | DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. | Akash Lal, Shaz Qadeer |
| 2015 | The Push/Pull model of transactions. | Eric Koskinen, Matthew J. Parkinson |