| 2019 | A complete formal semantics of x86-64 user-level instruction set architecture. Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
| 2019 | A fast analytical model of fully associative caches. Tobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler |
| 2019 | A typed, algebraic approach to parsing. Neelakantan R. Krishnaswami, Jeremy Yallop |
| 2019 | Abstract interpretation under speculative execution. Meng Wu, Chao Wang |
| 2019 | Accelerating sequential consistency for Java with speculative compilation. Lun Liu, Todd D. Millstein, Madanlal Musuvathi |
| 2019 | An applied quantum Hoare logic. Li Zhou, Nengkun Yu, Mingsheng Ying |
| 2019 | An inductive synthesis framework for verifiable reinforcement learning. He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan |
| 2019 | Argosy: verifying layered storage systems with recovery refinement. Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | AutoPersist: an easy-to-use Java NVM framework based on reachability. Thomas Shull, Jian Huang, Josep Torrellas |
| 2019 | Bidirectional type checking for relational properties. Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg |
| 2019 | CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz |
| 2019 | Characterising renaming within OCaml's module system: theory and implementation. Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens |
| 2019 | Co-optimizing memory-level parallelism and cache-level parallelism. Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karaköy, Meenakshi Arunachalam |
| 2019 | Compiling KB-sized machine learning models to tiny IoT devices. Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma |
| 2019 | Composable, sound transformations of nested recursion and loops. Kirshanthan Sundararajah, Milind Kulkarni |
| 2019 | Computing summaries of string loops in C for better testing and refactoring. Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar |
| 2019 | Continuously reasoning about programs using differential Bayesian inference. Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik |
| 2019 | Cost analysis of nondeterministic probabilistic programs. Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi |
| 2019 | DFix: automatically fixing timing bugs in distributed systems. Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu |
| 2019 | Data-trace types for distributed stream processing systems. Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen |
| 2019 | Effective floating-point analysis via weak-distance minimization. Zhoulai Fu, Zhendong Su |
| 2019 | FaCT: a DSL for timing-sensitive computation. Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan |
| 2019 | Gen: a general-purpose probabilistic programming system with programmable inference. Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, Vikash K. Mansinghka |
| 2019 | Generating piecewise-regular code from irregular structures. Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, Gabriel Rodríguez |
| 2019 | Genie: a generator of natural language semantic parsers for virtual assistant commands. Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, Monica S. Lam |
| 2019 | Huron: hybrid false sharing detection and repair. Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci |
| 2019 | ILC: a calculus for composable, computational cryptography. Kevin Liao, Matthew A. Hammer, Andrew Miller |
| 2019 | Ignis: scaling distribution-oblivious systems with light-touch distribution. Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, Jonathan M. Smith |
| 2019 | Incremental precision-preserving symbolic inference for probabilistic programs. Jieyuan Zhang, Jingling Xue |
| 2019 | Lazy counterfactual symbolic execution. William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac |
| 2019 | Learning stateful preconditions modulo a test generator. Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie |
| 2019 | Lightweight multi-language syntax transformation with parser parser combinators. Rijnard van Tonder, Claire Le Goues |
| 2019 | LoCal: a language for programs operating on serialized data. Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton |
| 2019 | Low-latency graph streaming using compressed purely-functional trees. Laxman Dhulipala, Guy E. Blelloch, Julian Shun |
| 2019 | Mesh: compacting memory management for C/C++ applications. Bobby Powers, David Tench, Emery D. Berger, Andrew McGregor |
| 2019 | Model checking for weakly consistent libraries. Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis |
| 2019 | Model-driven transformations for multi- and many-core CPUs. Martin Kong, Louis-Noël Pouchet |
| 2019 | Modular divide-and-conquer parallelization of nested loops. Azadeh Farzan, Victor Nicolet |
| 2019 | Optimization and abstraction: a synergistic approach for analyzing neural network robustness. Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri |
| 2019 | Panthera: holistic memory management for big data processing over hybrid memories. Chenxi Wang, Huimin Cui, Ting Cao, John N. Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu |
| 2019 | Parallelism-centric what-if and differential analyses. Adarsh Yoga, Santosh Nagarakatte |
| 2019 | Parser-directed fuzzing. Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, Andreas Zeller |
| 2019 | Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. Kathryn S. McKinley, Kathleen Fisher |
| 2019 | Programming support for autonomizing software. Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang |
| 2019 | Promising-ARM/RISC-V: a simpler and faster operational concurrency model. Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur |
| 2019 | Proving differential privacy with shadow execution. Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang |
| 2019 | Renaissance: benchmarking suite for parallel applications on the JVM. Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder |
| 2019 | Replication-aware linearizability. Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri |
| 2019 | Resource-guided program synthesis. Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann |
| 2019 | Reusable inline caching for JavaScript performance. Jiho Choi, Thomas Shull, Josep Torrellas |
| 2019 | Robustness against release/acquire semantics. Ori Lahav, Roy David Margalit |
| 2019 | SLING: using dynamic analysis to infer program invariants in separation logic. Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen |
| 2019 | Scalable taint specification inference with big code. Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev |
| 2019 | Scalable verification of probabilistic networks. Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva |
| 2019 | Scenic: a language for scenario specification and scene generation. Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2019 | SemCluster: clustering of imperative programming assignments based on quantitative semantic features. David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang |
| 2019 | Semantic program alignment for equivalence checking. Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken |
| 2019 | Simple and precise static analysis of untrusted Linux kernel extensions. Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv |
| 2019 | Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn |
| 2019 | Sound regular expression semantics for dynamic symbolic execution of JavaScript. Blake Loring, Duncan Mitchell, Johannes Kinder |
| 2019 | Sound, fine-grained traversal fusion for heterogeneous trees. Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni |
| 2019 | Sparse computation data dependence simplification for efficient compiler-generated inspectors. Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary W. Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, Michelle Mills Strout |
| 2019 | Sparse record and replay with controlled scheduling. Christopher Lidbury, Alastair F. Donaldson |
| 2019 | Supporting peripherals in intermittent systems with just-in-time checkpoints. Kiwan Maeng, Brandon Lucia |
| 2019 | Synthesis and machine learning for heterogeneous extraction. Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani |
| 2019 | Synthesizing database programs for schema refactoring. Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig |
| 2019 | Toward efficient gradual typing for structural types via coercions. Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek |
| 2019 | Towards certified separate compilation for concurrent programs. Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng |
| 2019 | Transactional concurrency control for intermittent, energy-harvesting computing systems. Emily Ruppel, Brandon Lucia |
| 2019 | Type-level computations for Ruby libraries. Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn |
| 2019 | Unsupervised learning of API aliasing specifications. Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev |
| 2019 | Using active learning to synthesize models of applications that access databases. Jiasi Shen, Martin C. Rinard |
| 2019 | Usuba: high-throughput and constant-time ciphers, by construction. Darius Mercadier, Pierre-Évariste Dagand |
| 2019 | Verification of programs under the release-acquire semantics. Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna |
| 2019 | Verified compilation on a verified processor. Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox |
| 2019 | Verifying message-passing programs with dependent behavioural types. Alceste Scalas, Nobuko Yoshida, Elias Benussi |
| 2019 | Wootz: a compiler-based framework for fast CNN pruning via composability. Hui Guan, Xipeng Shen, Seung-Hwan Lim |