| 2020 | Compiler-directed soft error resilience for lightweight GPU register file protection. | Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, Changhee Jung |
| 2020 | A marriage of pointer- and epoch-based reclamation. | Jeehoon Kang, Jaehwang Jung |
| 2020 | Question selection for interactive program synthesis. | Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu |
| 2020 | Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2020 | Reconciling enumerative and deductive program synthesis. | Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang |
| 2020 | Learning fast and precise numerical analysis. | Jingxuan He, Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2020 | Faster general parsing through context-free memoization. | Grzegorz Herman |
| 2020 | Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. | Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu |
| 2020 | NV: an intermediate language for verification of network control planes. | Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker |
| 2020 | Crafty: efficient, HTM-compatible persistent transactions. | Kaan Gen, Michael D. Bond, Guoqing Harry Xu |
| 2020 | λPSI: exact inference for higher-order probabilistic programs. | Timon Gehr, Samuel Steffen, Martin T. Vechev |
| 2020 | NVTraverse: in NVRAM data structures, the destination is more important than the journey. | Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank |
| 2020 | Compiler and runtime support for continuation marks. | Matthew Flatt, R. Kent Dybvig |
| 2020 | From folklore to fact: comparing implementations of stacks and continuations. | Kavon Farvardin, John H. Reppy |
| 2020 | FreezeML: complete and easy type inference for first-class polymorphism. | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
| 2020 | Zippy LL(1) parsing with derivatives. | Romain Edelmann, Jad Hamza, Viktor Kuncak |
| 2020 | Type-directed scheduling of streaming accelerators. | David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan |
| 2020 | Binary rewriting without control flow recovery. | Gregory J. Duck, Xiang Gao, Abhik Roychoudhury |
| 2020 | Proving data-poisoning robustness in decision trees. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2020 | EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. | Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi |
| 2020 | Scalable validation of binary lifters. | Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher |
| 2020 | Debugging and detecting numerical errors in computation with posits. | Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte |
| 2020 | Automatic generation of efficient sparse tensor format conversion routines. | Stephen Chou, Fredrik Kjolstad, Saman P. Amarasinghe |
| 2020 | Proving almost-sure termination by omega-regular decomposition. | Jianhui Chen, Fei He |
| 2020 | Multi-modal synthesis of regular expressions. | Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig |