| 2017 | Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. | Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett |
| 2017 | Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. | Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea |
| 2017 | An efficient tunable selective points-to analysis for large codebases. | Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu |
| 2017 | Bringing the web up to speed with WebAssembly. | Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien |
| 2017 | Achieving high coverage for floating-point code via unconstrained programming. | Zhoulai Fu, Zhendong Su |
| 2017 | Component-based synthesis of table consolidation and transformation tasks from examples. | Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri |
| 2017 | Gradual synthesis for static parallelization of single-pass array-processing programs. | Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodk |
| 2017 | Synthesis of divide and conquer parallelism for loops. | Azadeh Farzan, Victor Nicolet |
| 2017 | BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. | Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti |
| 2017 | Levity polymorphism. | Richard A. Eisenberg, Simon Peyton Jones |
| 2017 | Rigorous analysis of software countermeasures against cache attacks. | Goran Doychev, Boris Kpf |
| 2017 | Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction. | Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen |
| 2017 | On the construction of soundness oracles. | Jens Dietrich, Li Sui, Shawn Rasheed, Amjed Tahir |
| 2017 | Similarity of binaries through re-optimization. | Yaniv David, Nimrod Partush, Eran Yahav |
| 2017 | Low overhead dynamic binary translation on ARM. | Amanieu D'Antras, Cosmin Gorgovan, Jim D. Garside, Mikel Lujn |
| 2017 | HoTTSQL: proving query rewrites with univalent SQL semantics. | Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu |
| 2017 | An ELI-to-C compiler: design, implementation, and performance. | Hanfeng Chen, Wai-Mee Ching, Laurie J. Hendren |
| 2017 | Instruction punning: lightweight instrumentation for x86-64. | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
| 2017 | Proactive and adaptive energy-aware programming with mixed typechecking. | Anthony Canino, Yu David Liu |
| 2017 | A formally verified compiler for Lustre. | Timothy Bourke, Llio Brun, Pierre-variste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
| 2017 | Synthesizing memory models from framework sketches and Litmus tests. | James Bornholt, Emina Torlak |
| 2017 | Efficient array slicing on the Intel Xeon Phi coprocessor. | Benjamin Andreassen Bjrnseth, Jan Christian Meyer, Lasse Natvig |
| 2017 | Systematic black-box analysis of collaborative web applications. | Marina Billes, Anders Mller, Michael Pradel |
| 2017 | Quad Ropes: immutable, declarative arrays with parallelizable operations. | Florian Biermann, Peter Sestoft |
| 2017 | Network configuration synthesis with abstract topologies. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |