| 2020 | A marriage of pointer- and epoch-based reclamation. Jeehoon Kang, Jaehwang Jung |
| 2020 | A study of the learnability of relational properties: model counting meets machine learning (MCML). Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid |
| 2020 | Adaptive low-overhead scheduling for periodic and reactive intermittent execution. Kiwan Maeng, Brandon Lucia |
| 2020 | Armada: low-effort verification of high-performance concurrent programs. Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao |
| 2020 | Automated derivation of parametric data movement lower bounds for affine programs. Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello |
| 2020 | Automatic generation of efficient sparse tensor format conversion routines. Stephen Chou, Fredrik Kjolstad, Saman P. Amarasinghe |
| 2020 | Behavioral simulation for smart contracts. Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea |
| 2020 | Binary rewriting without control flow recovery. Gregory J. Duck, Xiang Gao, Abhik Roychoudhury |
| 2020 | BlankIt library debloating: getting what you want instead of cutting what you don't. Chris Porter, Girish Mururu, Prithayan Barua, Santosh Pande |
| 2020 | Blended, precise semantic program embeddings. Ke Wang, Zhendong Su |
| 2020 | CARAT: a case for virtual memory through compiler- and runtime-based address translation. Brian Suchy, Simone Campanoni, Nikos Hardavellas, Peter A. Dinda |
| 2020 | CacheQuery: learning replacement policies from hardware caches. Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf |
| 2020 | Compiler and runtime support for continuation marks. Matthew Flatt, R. Kent Dybvig |
| 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 | Constant-time foundations for the new spectre era. Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe |
| 2020 | Crafty: efficient, HTM-compatible persistent transactions. Kaan Genç, Michael D. Bond, Guoqing Harry Xu |
| 2020 | Data-driven inference of representation invariants. Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker |
| 2020 | Debug information validation for optimized code. Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano |
| 2020 | Debugging and detecting numerical errors in computation with posits. Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte |
| 2020 | Decidable verification under a causally consistent shared memory. Ori Lahav, Udi Boker |
| 2020 | Detecting network load violations for distributed control planes. Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella |
| 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 | Effective function merging in the SSA form. Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather |
| 2020 | Efficient handling of string-number conversion. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-hung Lin, Lukás Holík, Wei-Cheng Wu |
| 2020 | Ethainter: a smart contract security analyzer for composite vulnerabilities. Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis |
| 2020 | Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2020 | Fast graph simplification for interleaved Dyck-reachability. Yuanbo Li, Qirun Zhang, Thomas W. Reps |
| 2020 | Faster general parsing through context-free memoization. Grzegorz Herman |
| 2020 | First-order quantified separators. Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken |
| 2020 | FreezeML: complete and easy type inference for first-class polymorphism. Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
| 2020 | From folklore to fact: comparing implementations of stacks and continuations. Kavon Farvardin, John H. Reppy |
| 2020 | Gillian, part i: a multi-language platform for symbolic execution. José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner |
| 2020 | HipHop.js: (A)Synchronous reactive web programming. Gérard Berry, Manuel Serrano |
| 2020 | Improving program locality in the GC using hotness. Albert Mingkun Yang, Erik Österlund, Tobias Wrigstad |
| 2020 | Inductive sequentialization of asynchronous programs. Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
| 2020 | LLHD: a multi-level intermediate representation for hardware description languages. Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini |
| 2020 | Learning fast and precise numerical analysis. Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev |
| 2020 | Learning nonlinear loop invariants with gated continuous logic networks. Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu |
| 2020 | Multi-modal synthesis of regular expressions. Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig |
| 2020 | NV: an intermediate language for verification of network control planes. Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker |
| 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 | OOElala: order-of-evaluation based alias analysis for compiler optimization. Ankush Phulia, Vaibhav Bhagee, Sorav Bansal |
| 2020 | On the principles of differentiable quantum programming languages. Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu |
| 2020 | Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2020 | PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. Fabian Ritter, Sebastian Hack |
| 2020 | PMThreads: persistent memory threads harnessing versioned shadow copies. Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, Mikel Luján |
| 2020 | Polynomial invariant generation for non-deterministic recursive programs. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2020 | Predictable accelerator design with time-sensitive affine types. Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, Zhiru Zhang |
| 2020 | Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020 Alastair F. Donaldson, Emina Torlak |
| 2020 | Promising 2.0: global optimizations in relaxed memory concurrency. Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis |
| 2020 | Proving almost-sure termination by omega-regular decomposition. Jianhui Chen, Fei He |
| 2020 | Proving data-poisoning robustness in decision trees. Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2020 | Question selection for interactive program synthesis. Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu |
| 2020 | Reactive probabilistic programming. Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin |
| 2020 | Reconciling enumerative and deductive program synthesis. Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang |
| 2020 | Repairing and mechanising the JavaScript relaxed memory model. Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo |
| 2020 | Responsive parallelism with futures and state. Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee |
| 2020 | SCAF: a speculation-aware collaborative dependence analysis framework. Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, David I. August |
| 2020 | Scalable validation of binary lifters. Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher |
| 2020 | Securing smart contract with runtime validation. Ao Li, Jemin Andrew Choi, Fan Long |
| 2020 | Semantic code search via equational reasoning. Varot Premtoon, James Koppel, Armando Solar-Lezama |
| 2020 | Silq: a high-level quantum language with safe uncomputation and intuitive semantics. Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev |
| 2020 | SmartTrack: efficient predictive race detection. Jake Roemer, Kaan Genç, Michael D. Bond |
| 2020 | Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis |
| 2020 | SympleGraph: distributed graph processing with precise loop-carried dependency guarantee. Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, Xuehai Qian |
| 2020 | Synthesizing structured CAD models with equality saturation and inverse transformations. Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock |
| 2020 | Templates and recurrences: better together. Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps |
| 2020 | The essence of Bluespec: a core language for rule-based hardware design. Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind |
| 2020 | Towards a verified range analysis for JavaScript JITs. Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan |
| 2020 | Towards an API for the real numbers. Hans-Juergen Boehm |
| 2020 | Type error feedback via analytic program repair. Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala |
| 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 | Typilus: neural type hints. Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao |
| 2020 | Understanding memory and thread safety practices and issues in real-world Rust programs. Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang |
| 2020 | Validating SMT solvers via semantic fusion. Dominik Winterer, Chengyu Zhang, Zhendong Su |
| 2020 | Verifying concurrent search structure templates. Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies |
| 2020 | Zippy LL(1) parsing with derivatives. Romain Edelmann, Jad Hamza, Viktor Kuncak |
| 2020 | λPSI: exact inference for higher-order probabilistic programs. Timon Gehr, Samuel Steffen, Martin T. Vechev |