| 2020 | Optimizing ordered graph algorithms with GraphIt. | Yunming Zhang, Ajay Brahmakshatriya, Xinyi Chen, Laxman Dhulipala, Shoaib Kamil, Saman P. Amarasinghe, Julian Shun |
| 2020 | COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors. | Teng Yu, Pavlos Petoumenos, Vladimir Janjic, Hugh Leather, John Thomson |
| 2020 | Efficient and scalable cross-ISA virtualization of hardware transactional memory. | Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant |
| 2020 | Interactive debugging of concurrent programs under relaxed memory models. | Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy |
| 2020 | Testing static analyses for precision and soundness. | Jubi Taneja, Zhengyang Liu, John Regehr |
| 2020 | Optimizing occupancy and ILP on the GPU using a combinatorial approach. | Ghassan Shobaki, Austin Kerbow, Stanislav Mekhanoshin |
| 2020 | Multi-layer optimizations for end-to-end data analytics. | Amir Shaikhha, Maximilian Schleich, Alexandru Ghita, Dan Olteanu |
| 2020 | HALO: post-link heap-layout optimisation. | Joe Savage, Timothy M. Jones |
| 2020 | Low-cost prediction-based fault protection strategy. | Sunghyun Park, Shikai Li, Ze Zhang, Scott A. Mahlke |
| 2020 | Secure automatic bounds checking: prevention is simpler than cure. | Ejebagom John Ojogbo, Mithuna Thottethodi, T. N. Vijaykumar |
| 2020 | AN5D: automated stencil framework for high-degree temporal blocking on GPUs. | Kazuaki Matsumura, Hamid Reza Zohouri, Mohamed Wahib, Toshio Endo, Satoshi Matsuoka |
| 2020 | A performance-optimizing compiler for cyber-physical digital microfluidic biochips. | Tyson Loveless, Jason Ott, Philip Brisk |
| 2020 | Introducing the pseudorandom value generator selection in the compilation toolchain. | Michael Leonard, Simone Campanoni |
| 2020 | CogniCrypt | Stefan Krger, Karim Ali, Eric Bodden |
| 2020 | PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems. | Seokwon Kang, Kyunghwan Choi, Yongjun Park |
| 2020 | Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. | Keyur Joshi, Vimuth Fernando, Sasa Misailovic |
| 2020 | Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers. | Mohammad Mahdi Javanmard, Zafar Ahmad, Martin Kong, Louis-Nol Pouchet, Rezaul Chowdhury, Robert J. Harrison |
| 2020 | Efficient nursery sizing for managed languages on multi-core processors with shared caches. | Mohamed Ismail, G. Edward Suh |
| 2020 | NeuroVectorizer: end-to-end vectorization with deep reinforcement learning. | Ameer Haj-Ali, Nesreen K. Ahmed, Theodore L. Willke, Yakun Sophia Shao, Krste Asanovic, Ion Stoica |
| 2020 | SIMD support in .NET: abstract and concrete vector types and operations. | Carol Eidt, Tanner Gooding |
| 2020 | Speculative reconvergence for improved SIMT efficiency. | Sana Damani, Daniel R. Johnson, Mark Stephenson, Stephen W. Keckler, Eddie Q. Yan, Michael McKeown, Olivier Giroux |
| 2020 | The design and implementation of the wolfram language compiler. | Abdul Dakkak, Tom Wickham-Jones, Wen-Mei Hwu |
| 2020 | Automatic generation of high-performance quantized machine learning kernels. | Meghan Cowan, Thierry Moreau, Tianqi Chen, James Bornholt, Luis Ceze |
| 2020 | ATMem: adaptive data placement in graph applications on heterogeneous memories. | Yu Chen, Ivy Bo Peng, Zhen Peng, Xu Liu, Bin Ren |
| 2020 | Type freezing: exploiting attribute type monomorphism in tracing JIT compilers. | Lin Cheng, Berkin Ilbeyi, Carl Friedrich Bolz-Tereick, Christopher Batten |