| 2017 | A formally verified compiler for Lustre. Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
| 2017 | Achieving high coverage for floating-point code via unconstrained programming. Zhoulai Fu, Zhendong Su |
| 2017 | Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. David Menendez, Santosh Nagarakatte |
| 2017 | Automatic program inversion using symbolic transducers. Qinheping Hu, Loris D'Antoni |
| 2017 | BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti |
| 2017 | BigFoot: static check placement for dynamic race detection. Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
| 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 | Cache locality optimization for recursive programs. Jonathan Lifflander, Sriram Krishnamoorthy |
| 2017 | Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett |
| 2017 | Compiling without continuations. Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
| 2017 | Component-based synthesis of table consolidation and transformation tasks from examples. Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri |
| 2017 | Compositional recurrence analysis revisited. Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps |
| 2017 | Context transformations for pointer analysis. Rei Thiessen, Ondrej Lhoták |
| 2017 | Control-flow recovery from partial failure reports. Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit |
| 2017 | Decomposition instead of self-composition for proving the absence of timing channels. Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2017 | DemoMatch: API discovery from demonstrations. Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama |
| 2017 | Dynamic race prediction in linear time. Dileep Kini, Umang Mathur, Mahesh Viswanathan |
| 2017 | Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. Tian Tan, Yue Li, Jingling Xue |
| 2017 | Flatten and conquer: a framework for efficient analysis of string constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer |
| 2017 | FunTAL: reasonably mixing a functional language with assembly. Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed |
| 2017 | Fusing effectful comprehensions. Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
| 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 | Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction. Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen |
| 2017 | Gradual synthesis for static parallelization of single-pass array-processing programs. Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík |
| 2017 | HoTTSQL: proving query rewrites with univalent SQL semantics. Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu |
| 2017 | Instruction punning: lightweight instrumentation for x86-64. Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
| 2017 | Levity polymorphism. Richard A. Eisenberg, Simon Peyton Jones |
| 2017 | Low overhead dynamic binary translation on ARM. Amanieu D'Antras, Cosmin Gorgovan, Jim D. Garside, Mikel Luján |
| 2017 | Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes. Scott Schneider, Kun-Lung Wu |
| 2017 | Miniphases: compilation using modular and efficient tree transformations. Dmitry Petrashko, Ondrej Lhoták, Martin Odersky |
| 2017 | Network configuration synthesis with abstract topologies. Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2017 | Practical partial evaluation for high-performance dynamic language runtimes. Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer |
| 2017 | Proactive and adaptive energy-aware programming with mixed typechecking. Anthony Canino, Yu David Liu |
| 2017 | Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017 Albert Cohen, Martin T. Vechev |
| 2017 | Repairing sequential consistency in C/C++11. Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer |
| 2017 | Responsive parallel computation: bridging competitive and cooperative threading. Stefan K. Muller, Umut A. Acar, Robert Harper |
| 2017 | Rigorous analysis of software countermeasures against cache attacks. Goran Doychev, Boris Köpf |
| 2017 | Similarity of binaries through re-optimization. Yaniv David, Nimrod Partush, Eran Yahav |
| 2017 | Simple, fast, and safe manual memory management. Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
| 2017 | Skeletal program enumeration for rigorous compiler testing. Qirun Zhang, Chengnian Sun, Zhendong Su |
| 2017 | Static deadlock detection for asynchronous C# programs. Anirudh Santhiar, Aditya Kanade |
| 2017 | StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
| 2017 | Synthesis of divide and conquer parallelism for loops. Azadeh Farzan, Victor Nicolet |
| 2017 | Synthesizing highly expressive SQL queries from input-output examples. Chenglong Wang, Alvin Cheung, Rastislav Bodík |
| 2017 | Synthesizing memory models from framework sketches and Litmus tests. James Bornholt, Emina Torlak |
| 2017 | Synthesizing program input grammars. Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2017 | Systematic black-box analysis of collaborative web applications. Marina Billes, Anders Møller, Michael Pradel |
| 2017 | Taming undefined behavior in LLVM. Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |