| 2018 | A data-driven CHC solver. He Zhu, Stephen Magill, Suresh Jagannathan |
| 2018 | A general path-based representation for predicting program properties. Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav |
| 2018 | Accelerating search-based program synthesis using learned probabilistic models. Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
| 2018 | Active learning of points-to specifications. Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2018 | Advanced automata-based algorithms for program termination checking. Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
| 2018 | Automated clustering and program repair for introductory programming assignments. Sumit Gulwani, Ivan Radicek, Florian Zuleger |
| 2018 | BLeak: automatically debugging memory leaks in web applications. John Vilk, Emery D. Berger |
| 2018 | Bayonet: probabilistic inference for networks. Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
| 2018 | Bounded expectations: resource analysis for probabilistic programs. Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann |
| 2018 | Bounding data races in space and time. Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
| 2018 | CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. Peizun Liu, Thomas Wahl |
| 2018 | CURD: a dynamic CUDA race detector. Yuanfeng Peng, Vinod Grover, Joseph Devietti |
| 2018 | Calling-to-reference context translation via constraint-guided CFL-reachability. Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su |
| 2018 | Certified concurrent abstraction layers. Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2018 | Crellvm: verified credible compilation for LLVM. Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi |
| 2018 | D4: fast concurrency debugging with parallel differential analysis. Bozhen Liu, Jeff Huang |
| 2018 | EffectiveSan: type and memory error detection using dynamically typed C/C++. Gregory J. Duck, Roland H. C. Yap |
| 2018 | Enhancing computation-to-core assignment with physical location information. Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung |
| 2018 | Finding root causes of floating point error. Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock |
| 2018 | GPU code optimization using abstract kernel emulation and sensitivity analysis. Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, P. Sadayappan |
| 2018 | Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics. Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali |
| 2018 | Guarded impredicative polymorphism. Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
| 2018 | HHVM JIT: a profile-guided, region-based compiler for PHP and Hack. Guilherme Ottoni |
| 2018 | Heartbeat scheduling: provable efficiency for nested parallelism. Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
| 2018 | High-coverage, unbounded sound predictive race detection. Jake Roemer, Kaan Genç, Michael D. Bond |
| 2018 | Incremental inference for probabilistic programs. Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
| 2018 | Inferring crypto API rules from code changes. Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2018 | Inferring type rules for syntactic sugar. Justin Pombrio, Shriram Krishnamurthi |
| 2018 | Locality analysis through static parallel sampling. Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai |
| 2018 | Mapping spiking neural networks onto a manycore neuromorphic architecture. Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang |
| 2018 | MixT: a language for mixing consistency in geodistributed transactions. Mae Milano, Andrew C. Myers |
| 2018 | Modularity for decidability of deductive verification with applications to distributed systems. Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos |
| 2018 | On-stack replacement, distilled. Daniele Cono D'Elia, Camil Demetrescu |
| 2018 | PMAF: an algebraic framework for static analysis of probabilistic programs. Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2018 | Partial control-flow linearization. Simon Moll, Sebastian Hack |
| 2018 | Persistency for synchronization-free regions. Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch |
| 2018 | Pinpoint: fast and precise sparse value flow analysis for million lines of code. Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang |
| 2018 | Polyhedral auto-transformation with no integer linear programming. Aravind Acharya, Uday Bondhugula, Albert Cohen |
| 2018 | Probabilistic programming with programmable inference. Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard |
| 2018 | Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018 Jeffrey S. Foster, Dan Grossman |
| 2018 | Program synthesis using conflict-driven learning. Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig |
| 2018 | Putting in all the stops: execution control for JavaScript. Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha |
| 2018 | Ryū: fast float-to-string conversion. Ulf Adams |
| 2018 | SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores. Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Stefanos Kaxiras |
| 2018 | Search, align, and repair: data-driven feedback generation for introductory programming exercises. Ke Wang, Rishabh Singh, Zhendong Su |
| 2018 | Spatial: a language and compiler for application accelerators. David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, Kunle Olukotun |
| 2018 | Static serializability analysis for causal consistency. Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev |
| 2018 | Symbolic reasoning for automatic signal placement. Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis |
| 2018 | The semantics of transactions and weak memory in x86, Power, ARM, and C++. Nathan Chong, Tyler Sorensen, John Wickerson |
| 2018 | To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries. Michael J. Steindorfer, Jurgen J. Vinju |
| 2018 | Typed closure conversion for the calculus of constructions. William J. Bowman, Amal Ahmed |
| 2018 | User-guided program reasoning using Bayesian inference. Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik |
| 2018 | VeriPhy: verified controller executables from verified cyber-physical system models. Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer |
| 2018 | Verifying that web pages have accessible layout. Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil |
| 2018 | Write-rationing garbage collection for hybrid memories. Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout |
| 2018 | iReplayer: in-situ and identical record-and-replay for multithreaded applications. Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu |