ACM Programming Language Design and Implementation, PLDI 2018


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

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

Spatial: a language and compiler for application accelerators

Details
Discussion Comments: 0
Verification: Authors have not verified information

On-stack replacement, distilled

Daniele Cono D'Elia, Camil Demetrescu

On-stack replacement, distilled

Details
Discussion Comments: 0
Verification: Authors have not verified information

Program synthesis using conflict-driven learning

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

Program synthesis using conflict-driven learning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Probabilistic programming with programmable inference

Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard

Probabilistic programming with programmable inference

Details
Discussion Comments: 0
Verification: Authors have not verified information

PMAF: an algebraic framework for static analysis of probabilistic programs

Di Wang, Jan Hoffmann, Thomas W. Reps

PMAF: an algebraic framework for static analysis of probabilistic programs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

A data-driven CHC solver

He Zhu, Stephen Magill, Suresh Jagannathan

A data-driven CHC solver

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

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

Advanced automata-based algorithms for program termination checking

Details
Discussion Comments: 0
Verification: Authors have not verified information

BLeak: automatically debugging memory leaks in web applications

John Vilk, Emery D. Berger

BLeak: automatically debugging memory leaks in web applications

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

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

Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics

Details
Discussion Comments: 0
Verification: Authors have not verified information

CUBA: interprocedural Context-UnBounded Analysis of concurrent programs

Peizun Liu, Thomas Wahl

CUBA: interprocedural Context-UnBounded Analysis of concurrent programs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

CURD: a dynamic CUDA race detector

Yuanfeng Peng, Vinod Grover, Joseph Devietti

CURD: a dynamic CUDA race detector

Details
Discussion Comments: 0
Verification: Authors have not verified information

Symbolic reasoning for automatic signal placement

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

Symbolic reasoning for automatic signal placement

Details
Discussion Comments: 0
Verification: Authors have not verified information

User-guided program reasoning using Bayesian inference

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

User-guided program reasoning using Bayesian inference

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

MixT: a language for mixing consistency in geodistributed transactions

Matthew Milano, Andrew C. Myers

MixT: a language for mixing consistency in geodistributed transactions

Details
Discussion Comments: 0
Verification: Authors have not verified information

EffectiveSan: type and memory error detection using dynamically typed C/C++

Gregory J. Duck, Roland H. C. Yap

EffectiveSan: type and memory error detection using dynamically typed C/C++

Details
Discussion Comments: 0
Verification: Authors have not verified information

Incremental inference for probabilistic programs

Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka

Incremental inference for probabilistic programs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Enhancing computation-to-core assignment with physical location information

Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung

Enhancing computation-to-core assignment with physical location information

Details
Discussion Comments: 0
Verification: Authors have not verified information

Inferring type rules for syntactic sugar

Justin Pombrio, Shriram Krishnamurthi

Inferring type rules for syntactic sugar

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Typed closure conversion for the calculus of constructions

William J. Bowman, Amal Ahmed

Typed closure conversion for the calculus of constructions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Verifying that web pages have accessible layout

Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

Verifying that web pages have accessible layout

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

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

Certified concurrent abstraction layers

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Heartbeat scheduling: provable efficiency for nested parallelism

Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

Heartbeat scheduling: provable efficiency for nested parallelism

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automated clustering and program repair for introductory programming assignments

Sumit Gulwani, Ivan Radicek, Florian Zuleger

Automated clustering and program repair for introductory programming assignments

Details
Discussion Comments: 0
Verification: Authors have not verified information

Search, align, and repair: data-driven feedback generation for introductory programming exercises

Ke Wang, Rishabh Singh, Zhendong Su

Search, align, and repair: data-driven feedback generation for introductory programming exercises

Details
Discussion Comments: 0
Verification: Authors have not verified information

HHVM JIT: a profile-guided, region-based compiler for PHP and Hack

Guilherme Ottoni

HHVM JIT: a profile-guided, region-based compiler for PHP and Hack

Details
Discussion Comments: 0
Verification: Author has not verified information

iReplayer: in-situ and identical record-and-replay for multithreaded applications

Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu

iReplayer: in-situ and identical record-and-replay for multithreaded applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Guarded impredicative polymorphism

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Guarded impredicative polymorphism

Details
Discussion Comments: 0
Verification: Authors have not verified information

Putting in all the stops: execution control for JavaScript

Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

Putting in all the stops: execution control for JavaScript

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

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

Modularity for decidability of deductive verification with applications to distributed systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Write-rationing garbage collection for hybrid memories

Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout

Write-rationing garbage collection for hybrid memories

Details
Discussion Comments: 0
Verification: Authors have not verified information

Inferring crypto API rules from code changes

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

Inferring crypto API rules from code changes

Details
Discussion Comments: 0
Verification: Authors have not verified information

Locality analysis through static parallel sampling

Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai

Locality analysis through static parallel sampling

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Finding root causes of floating point error

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

Finding root causes of floating point error

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

The semantics of transactions and weak memory in x86, Power, ARM, and C++

Nathan Chong, Tyler Sorensen, John Wickerson

The semantics of transactions and weak memory in x86, Power, ARM, and C++

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

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

SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores

Details
Discussion Comments: 0
Verification: Authors have not verified information

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

GPU code optimization using abstract kernel emulation and sensitivity analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

High-coverage, unbounded sound predictive race detection

Jake Roemer, Kaan Genç, Michael D. Bond

High-coverage, unbounded sound predictive race detection

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Partial control-flow linearization

Simon Moll, Sebastian Hack

Partial control-flow linearization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Accelerating search-based program synthesis using learned probabilistic models

Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

Accelerating search-based program synthesis using learned probabilistic models

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries

Michael J. Steindorfer, Jurgen J. Vinju

To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Ryū: fast float-to-string conversion

Ulf Adams

Ryū: fast float-to-string conversion

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Author has not verified information

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

Pinpoint: fast and precise sparse value flow analysis for million lines of code

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

A general path-based representation for predicting program properties

Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav

A general path-based representation for predicting program properties

Details
Discussion Comments: 0
Verification: Authors have not verified information

D4: fast concurrency debugging with parallel differential analysis

Bozhen Liu, Jeff Huang

D4: fast concurrency debugging with parallel differential analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

Bayonet: probabilistic inference for networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev

Bayonet: probabilistic inference for networks

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Calling-to-reference context translation via constraint-guided CFL-reachability

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su

Calling-to-reference context translation via constraint-guided CFL-reachability

Details
Discussion Comments: 0
Verification: Authors have not verified information

Active learning of points-to specifications

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Active learning of points-to specifications

Details
Discussion Comments: 0
Verification: Authors have not verified information

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

Crellvm: verified credible compilation for LLVM

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Static serializability analysis for causal consistency

Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev

Static serializability analysis for causal consistency

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Bounded expectations: resource analysis for probabilistic programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

Bounded expectations: resource analysis for probabilistic programs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Polyhedral auto-transformation with no integer linear programming

Aravind Acharya, Uday Bondhugula, Albert Cohen

Polyhedral auto-transformation with no integer linear programming

Details
Discussion Comments: 0
Verification: Authors have not verified information

Persistency for synchronization-free regions

Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch

Persistency for synchronization-free regions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Mapping spiking neural networks onto a manycore neuromorphic architecture

Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang

Mapping spiking neural networks onto a manycore neuromorphic architecture

Details
Discussion Comments: 0
Verification: Authors have not verified information

VeriPhy: verified controller executables from verified cyber-physical system models

Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

VeriPhy: verified controller executables from verified cyber-physical system models

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Bounding data races in space and time

Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy

Bounding data races in space and time

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information