PLDI 2018
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018)
Powered by
Conference Publishing Consulting

39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018), June 18–22, 2018, Philadelphia, PA, USA

PLDI 2018 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
PLDI 2018 Organization
Sponsors

Web Pages

Verifying That Web Pages Have Accessible Layout
Pavel Panchekha, Adam T. Geller, Michael D. ErnstORCID logo, Zachary Tatlock ORCID logo, and Shoaib Kamil
(University of Washington, USA; Adobe Research, USA)
Published Artifact Info Artifacts Available Artifacts Functional
BLeak: Automatically Debugging Memory Leaks in Web Applications
John Vilk and Emery D. Berger ORCID logo
(University of Massachusetts at Amherst, USA)
Published Artifact Artifacts Available Artifacts Functional
Putting in All the Stops: Execution Control for JavaScript
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha
(University of Massachusetts at Amherst, USA; University of California at San Diego, USA; Brown University, USA)
Info Artifacts Functional

Emerging Hardware

Persistency for Synchronization-Free Regions
Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch
(University of Michigan, USA; ARM Research, UK)
Write-Rationing Garbage Collection for Hybrid Memories
Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinleyORCID logo, and Lieven Eeckhout ORCID logo
(Ghent University, Belgium; Vrije Universiteit Brussel, Belgium; Google, USA)
Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang
(Intel Labs, USA)

Concurrency and Termination

Static Serializability Analysis for Causal Consistency
Lucas Brutschy, Dimitar Dimitrov, Peter Müller ORCID logo, and Martin VechevORCID logo
(ETH Zurich, Switzerland)
Published Artifact Artifacts Available Artifacts Functional
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
Peizun Liu and Thomas Wahl
(Northeastern University, USA)
Published Artifact Info Artifacts Available Artifacts Functional
Symbolic Reasoning for Automatic Signal Placement
Kostas FerlesORCID logo, Jacob Van Geffen, Isil Dillig ORCID logo, and Yannis Smaragdakis
(University of Texas at Austin, USA; University of Athens, Greece)
Advanced Automata-Based Algorithms for Program Termination Checking
Yu-Fang Chen ORCID logo, Matthias Heizmann, Ondřej LengálORCID logo, Yong Li, Ming-Hsien Tsai ORCID logo, Andrea Turrini ORCID logo, and Lijun Zhang ORCID logo
(Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China)

Dynamic Techniques

HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
Guilherme Ottoni
(Facebook, USA)
On-Stack Replacement, Distilled
Daniele Cono D'Elia and Camil Demetrescu
(Sapienza University of Rome, Italy)
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
Gregory J. Duck and Roland H. C. Yap
(National University of Singapore, Singapore)
Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
Cheng Cai, Qirun Zhang ORCID logo, Zhiqiang ZuoORCID logo, Khanh Nguyen, Guoqing Xu, and Zhendong Su
(University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China)

Transactions and Races

The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Nathan Chong, Tyler Sorensen, and John Wickerson ORCID logo
(ARM, UK; Imperial College London, UK)
Info Artifacts Functional
MixT: A Language for Mixing Consistency in Geodistributed Transactions
Matthew Milano and Andrew C. Myers ORCID logo
(Cornell University, USA)
Bounding Data Races in Space and Time
Stephen Dolan, KC Sivaramakrishnan, and Anil Madhavapeddy
(University of Cambridge, UK)
Artifacts Functional

Floats and Maps

Finding Root Causes of Floating Point Error
Alex Sanchez-Stern, Pavel Panchekha, Sorin LernerORCID logo, and Zachary Tatlock ORCID logo
(University of California at San Diego, USA; University of Washington, USA)
Published Artifact Info Artifacts Available Artifacts Functional
Ryū: Fast Float-to-String Conversion
Ulf Adams
(Google, Germany)
Artifacts Functional
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
Michael J. Steindorfer and Jurgen J. Vinju ORCID logo
(Delft University of Technology, Netherlands; CWI, Netherlands; Eindhoven University of Technology, Netherlands)
Published Artifact Info Artifacts Available Artifacts Functional

Multicore and More

Spatial: A Language and Compiler for Application Accelerators
David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao ORCID logo, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun ORCID logo
(Stanford University, USA; EPFL, Switzerland)
Enhancing Computation-to-Core Assignment with Physical Location Information
Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, and Myoungsoo Jung
(Pennsylvania State University, USA; Yonsei University, South Korea)
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson ORCID logo, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras
(Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway)

Concurrency Debugging

iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Hongyu Liu, Sam Silvestro ORCID logo, Wei Wang ORCID logo, Chen Tian, and Tongping Liu
(University of Texas at San Antonio, USA; Huawei Lab, USA)
D4: Fast Concurrency Debugging with Parallel Differential Analysis
Bozhen Liu ORCID logo and Jeff Huang ORCID logo
(Texas A&M University, USA)
Info
High-Coverage, Unbounded Sound Predictive Race Detection
Jake Roemer, Kaan Genç, and Michael D. Bond ORCID logo
(Ohio State University, USA)
Artifacts Functional
CURD: A Dynamic CUDA Race Detector
Yuanfeng Peng, Vinod Grover ORCID logo, and Joseph Devietti
(University of Pennsylvania, USA; NVIDIA, USA)

Synthesis and Learning

A General Path-Based Representation for Predicting Program Properties
Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav
(Technion, Israel; University of Washington, USA)
Program Synthesis using Conflict-Driven Learning
Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig ORCID logo
(University of Texas at Austin, USA; Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA)
Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
Woosuk Lee, Kihong Heo, Rajeev AlurORCID logo, and Mayur Naik
(University of Pennsylvania, USA)
Published Artifact Artifacts Available Artifacts Functional
Inferring Crypto API Rules from Code Changes
Rumen Paletov, Petar Tsankov, Veselin Raychev, and Martin VechevORCID logo
(ETH Zurich, Switzerland; DeepCode, Switzerland)
Info

Programming-Student Feedback

Automated Clustering and Program Repair for Introductory Programming Assignments
Sumit GulwaniORCID logo, Ivan Radiček, and Florian Zuleger
(Microsoft, USA; Vienna University of Technology, Austria)
Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises
Ke Wang, Rishabh Singh, and Zhendong Su
(University of California at Davis, USA; Microsoft Research, USA)

Analyzing Probabilistic Programs

Bounded Expectations: Resource Analysis for Probabilistic Programs
Van Chan Ngo, Quentin Carbonneaux, and Jan Hoffmann ORCID logo
(Carnegie Mellon University, USA; Yale University, USA)
Info Artifacts Functional
PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
Di Wang, Jan Hoffmann ORCID logo, and Thomas RepsORCID logo
(Carnegie Mellon University, USA; University of Wisconsin, USA; GrammaTech, USA)
Published Artifact Artifacts Available Artifacts Functional

Optimization and Locality

Polyhedral Auto-transformation with No Integer Linear Programming
Aravind Acharya, Uday Bondhugula ORCID logo, and Albert Cohen
(Indian Institute of Science, India; Inria, France; ENS, France)
Info
Partial Control-Flow Linearization
Simon Moll and Sebastian HackORCID logo
(Saarland University, Germany)
Locality Analysis through Static Parallel Sampling
Dong Chen, Fangzhou Liu, Chen DingORCID logo, and Sreepathi Pai ORCID logo
(University of Rochester, USA)
Published Artifact Artifacts Available Artifacts Functional

Inference for Probabilistic Programs

Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel ORCID logo, Timon Gehr, Martin VechevORCID logo, and Vikash K. MansinghkaORCID logo
(Massachusetts Institute of Technology, USA; ETH Zurich, Switzerland)
Artifacts Functional
Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa MisailovicORCID logo, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin VechevORCID logo
(ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA)
Published Artifact Info Artifacts Available Artifacts Functional
Probabilistic Programming with Programmable Inference
Vikash K. MansinghkaORCID logo, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin RinardORCID logo
(Massachusetts Institute of Technology, USA; Google Deepmind, UK)

Verification

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. MyreenORCID logo, and André Platzer
(Carnegie Mellon University, USA; Chalmers University of Technology, Sweden)
Info Artifacts Functional
Crellvm: Verified Credible Compilation for LLVM
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon ChoiORCID logo, Chung-Kil Hur ORCID logo, and Kwangkeun Yi ORCID logo
(Seoul National University, South Korea; Massachusetts Institute of Technology, USA)
Info Artifacts Functional
Certified Concurrent Abstraction Layers
Ronghui Gu, Zhong Shao ORCID logo, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig ORCID logo, Vilhelm Sjöberg, Hao Chen ORCID logo, David Costanzo, and Tahina Ramananandro
(Yale University, USA; Microsoft Research, USA)
Artifacts Functional
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Marcelo Taube ORCID logo, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv ORCID logo, Sharon Shoham ORCID logo, James R. Wilcox, and Doug Woos
(Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA)
Artifacts Functional

Program Analysis

Active Learning of Points-To Specifications
Osbert Bastani, Rahul Sharma ORCID logo, Alex AikenORCID logo, and Percy Liang
(Stanford University, USA; Microsoft Research, India)
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles ZhangORCID logo
(Hong Kong University of Science and Technology, China; Sourcebrella, China)
Info Artifacts Functional
A Data-Driven CHC Solver
He Zhu, Stephen Magill, and Suresh Jagannathan ORCID logo
(Galois, USA; Purdue University, USA)
Published Artifact Artifacts Available Artifacts Functional
User-Guided Program Reasoning using Bayesian Inference
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, and Mayur Naik
(University of Pennsylvania, USA)
Artifacts Functional

Parallelism

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, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France)
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, and Keshav Pingali
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Umut A. Acar ORCID logo, Arthur CharguéraudORCID logo, Adrien Guatto, Mike Rainey, and Filip Sieczkowski
(Carnegie Mellon University, USA; University of Strasbourg, France; Inria, France; CREST, USA)
Info

Types

Guarded Impredicative Polymorphism
Alejandro Serrano, Jurriaan Hage ORCID logo, Dimitrios Vytiniotis, and Simon Peyton Jones
(Utrecht University, Netherlands; Microsoft Research, UK)
Typed Closure Conversion for the Calculus of Constructions
William J. Bowman ORCID logo and Amal AhmedORCID logo
(Northeastern University, USA)
Info
Inferring Type Rules for Syntactic Sugar
Justin Pombrio and Shriram Krishnamurthi
(Brown University, USA)
Published Artifact Info Artifacts Available Artifacts Functional

proc time: 0.81