| 2021 | AKG: automatic kernel generation for neural processing units using polyhedral transformations. Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, Xuefeng Jin |
| 2021 | Abstraction for conflict-free replicated data types. Hongjin Liang, Xinyu Feng |
| 2021 | Adaptive restarts for stochastic synthesis. Jason R. Koenig, Oded Padon, Alex Aiken |
| 2021 | Alive2: bounded translation validation for LLVM. Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr |
| 2021 | An efficient interpreter for Datalog by de-specializing relations. Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz |
| 2021 | Automated conformance testing for JavaScript engines via deep compiler fuzzing. Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang |
| 2021 | Automatically enforcing fresh and consistent inputs in intermittent systems. Milijana Surbatovich, Limin Jia, Brandon Lucia |
| 2021 | Beyond the elementary representations of program invariants over algebraic data types. Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2021 | Bliss: auto-tuning complex applications using a pool of diverse lightweight learning models. Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, Devesh Tiwari |
| 2021 | Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, Qiaoyan Yu |
| 2021 | Canary: practical static detection of inter-thread value-flow bugs. Yuandao Cai, Peisen Yao, Charles Zhang |
| 2021 | Central moment analysis for cost accumulators in probabilistic programs. Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2021 | Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
| 2021 | CoStar: a verified ALL(*) parser. Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2021 | CompCertO: compiling certified open C components. Jérémie Koenig, Zhong Shao |
| 2021 | Compiler-assisted object inlining with value fields. Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso |
| 2021 | Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar |
| 2021 | Concise, type-safe, and efficient structural diffing. Sebastian Erdweg, Tamás Szabó, André Pacak |
| 2021 | Concolic program repair. Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury |
| 2021 | Concurrent deferred reference counting with constant-time overhead. Daniel Anderson, Guy E. Blelloch, Yuanhao Wei |
| 2021 | Cyclic program synthesis. Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
| 2021 | DIY assistant: a multi-modal end-user programmable virtual assistant. Michael H. Fischer, Giovanni Campagna, Euirim Choi, Monica S. Lam |
| 2021 | DNNFusion: accelerating deep neural networks execution with advanced operator fusion. Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, Bin Ren |
| 2021 | DeepCuts: a deep learning optimization framework for versatile GPU workloads. Wookeun Jung, Thanh Tuan Dao, Jaejin Lee |
| 2021 | Demanded abstract interpretation. Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan |
| 2021 | Developer and user-transparent compiler optimization for interactive applications. Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather |
| 2021 | Distance-in-time versus distance-in-space. Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, Mustafa Karaköy |
| 2021 | DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum |
| 2021 | Example-guided synthesis of relational queries. Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman |
| 2021 | Execution reconstruction: harnessing failure reoccurrences for failure reproduction. Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci |
| 2021 | Fast and precise certification of transformers. Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev |
| 2021 | Filling typed holes with live GUIs. Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh |
| 2021 | Fluid: a framework for approximate concurrency via controlled dependency relaxation. Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, Danfeng Zhang |
| 2021 | Frequent background polling on a shared thread, using light-weight compiler interrupts. Nilanjana Basu, Claudio Montanari, Jakob Eriksson |
| 2021 | Gleipnir: toward practical error analysis for Quantum programs. Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu |
| 2021 | Hashing modulo alpha-equivalence. Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones |
| 2021 | High performance correctly rounded math libraries for 32-bit floating point representations. Jay P. Lim, Santosh Nagarakatte |
| 2021 | IOOpt: automatic derivation of I/O complexity bounds for affine programs. Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, Fabrice Rastello |
| 2021 | Incremental whole-program analysis in Datalog with lattices. Tamás Szabó, Sebastian Erdweg, Gábor Bergmann |
| 2021 | Integration verification across software and hardware for a simple embedded system. Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala |
| 2021 | JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
| 2021 | Learning to find naming issues with big code and small supervision. Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev |
| 2021 | Logical bytecode reduction. Christian Gram Kalhauge, Jens Palsberg |
| 2021 | Mirror: making lock-free data structures persistent. Michal Friedman, Erez Petrank, Pedro Ramalhete |
| 2021 | Modular data-race-freedom guarantees in the promising semantics. Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav |
| 2021 | On probabilistic termination of functional programs with continuous distributions. Raven Beutner, Luke Ong |
| 2021 | PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. Stephen N. Freund, Eran Yahav |
| 2021 | Path-sensitive sparse analysis without path conditions. Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2021 | Perceus: garbage free reference counting with reuse. Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen |
| 2021 | Phased synthesis of divide and conquer programs. Azadeh Farzan, Victor Nicolet |
| 2021 | Polynomial reachability witnesses via Stellensätze. Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi |
| 2021 | Porcupine: a synthesizing compiler for vectorized homomorphic encryption. Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen |
| 2021 | Practical smart contract sharding with ownership and commutativity analysis. George Pîrlea, Amrit Kumar, Ilya Sergey |
| 2021 | Proof repair across type equivalences. Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman |
| 2021 | Provable repair of deep neural networks. Matthew Sotoudeh, Aditya V. Thakur |
| 2021 | Proving non-termination by program reversal. Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic |
| 2021 | Quantitative analysis of assertion violations in probabilistic programs. Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady |
| 2021 | Quantum abstract interpretation. Nengkun Yu, Jens Palsberg |
| 2021 | RbSyn: type- and effect-guided program synthesis. Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn |
| 2021 | RefinedC: automating the foundational verification of C code with refined ownership types. Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg |
| 2021 | Repairing serializability bugs in distributed database programs via automated schema refactoring. Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan |
| 2021 | Reticle: a virtual machine for programming modern FPGAs. Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze |
| 2021 | Retrofitting effect handlers onto OCaml. K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
| 2021 | Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang |
| 2021 | Reverse engineering for reduction parallelization via semiring polynomials. Akimasa Morihata, Shigeyuki Sato |
| 2021 | Robustness certification with generative models. Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
| 2021 | SPPL: probabilistic programming with fast exact symbolic inference. Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka |
| 2021 | Satisfiability modulo ordering consistency theory for multi-threaded program verification. Fei He, Zhihang Sun, Hongyu Fan |
| 2021 | Scooter & Sidecar: a domain-specific approach to writing secure database migrations. John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
| 2021 | Snapshot-free, transparent, and robust memory reclamation for lock-free data structures. Ruslan Nikolaev, Binoy Ravindran |
| 2021 | Sound probabilistic inference via guide types. Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2021 | Specification synthesis with constrained Horn clauses. Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza |
| 2021 | SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu |
| 2021 | Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. Caleb Stanford, Margus Veanes, Nikolaj S. Bjørner |
| 2021 | Synthesizing data structure refinements from integrity constraints. Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig |
| 2021 | Task parallel assembly language for uncompromising parallelism. Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar |
| 2021 | Termination analysis without the tears. Shaowei Zhu, Zachary Kincaid |
| 2021 | Test-case reduction and deduplication almost for free with transformation-based compiler testing. Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski |
| 2021 | Trace-based control-flow analysis. Benoît Montagu, Thomas P. Jensen |
| 2021 | Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal |
| 2021 | Unleashing the hidden power of compiler optimization on binary code difference: an empirical study. Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li |
| 2021 | Unqomp: synthesizing uncomputation in Quantum circuits. Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev |
| 2021 | Vectorized secure evaluation of decision forests. Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni |
| 2021 | Viaduct: an extensible, optimizing compiler for secure distributed programs. Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi |
| 2021 | Web question answering with neurosymbolic program synthesis. Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig |
| 2021 | When threads meet events: efficient and precise static race detection with origins. Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang |
| 2021 | Wire sorts: a language abstraction for safe hardware composition. Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf |
| 2021 | Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida |