Venues / PLDI /

PLDI 2018

55 papers

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