ACM Programming Language Design and Implementation, PLDI 2017


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

Automatic program inversion using symbolic transducers

Qinheping Hu, Loris D'Antoni

Automatic program inversion using symbolic transducers

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

Taming undefined behavior in LLVM

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

Taming undefined behavior in 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

Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM

David Menendez, Santosh Nagarakatte

Alive-Infer: data-driven precondition inference for peephole optimizations in 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

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata

Tian Tan, Yue Li, Jingling Xue

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata

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

FunTAL: reasonably mixing a functional language with assembly

Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed

FunTAL: reasonably mixing a functional language with assembly

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

BigFoot: static check placement for dynamic race detection

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

BigFoot: static check placement for dynamic 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

Flatten and conquer: a framework for efficient analysis of string constraints

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer

Flatten and conquer: a framework for efficient analysis of string constraints

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

Rigorous analysis of software countermeasures against cache attacks

Goran Doychev, Boris Köpf

Rigorous analysis of software countermeasures against cache attacks

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Compositional recurrence analysis revisited

Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps

Compositional recurrence analysis revisited

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg

A formally verified compiler for Lustre

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
Author Comments: The compiler described in the paper was made available to reviewers and passed the artefact evaluation process, but is not yet available online. We want to tidy up a few things before making a proper release.
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer

Repairing sequential consistency in C/C++11

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Compiling without continuations

Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones

Compiling without continuations

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

Instruction punning: lightweight instrumentation for x86-64

Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton

Instruction punning: lightweight instrumentation for x86-64

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

DemoMatch: API discovery from demonstrations

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

DemoMatch: API discovery from demonstrations

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

Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction

Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen

Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction

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

Cache locality optimization for recursive programs

Jonathan Lifflander, Sriram Krishnamoorthy

Cache locality optimization for recursive programs

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Fusing effectful comprehensions

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi

Fusing effectful comprehensions

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes

Scott Schneider, Kun-Lung Wu

Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes

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

Achieving high coverage for floating-point code via unconstrained programming

Zhoulai Fu, Zhendong Su

Achieving high coverage for floating-point code via unconstrained programming

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

Compiling Markov chain Monte Carlo algorithms for probabilistic modeling

Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett

Compiling Markov chain Monte Carlo algorithms for probabilistic modeling

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Skeletal program enumeration for rigorous compiler testing

Qirun Zhang, Chengnian Sun, Zhendong Su

Skeletal program enumeration for rigorous compiler testing

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

Component-based synthesis of table consolidation and transformation tasks from examples

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

Component-based synthesis of table consolidation and transformation tasks from examples

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

Responsive parallel computation: bridging competitive and cooperative threading

Stefan K. Muller, Umut A. Acar, Robert Harper

Responsive parallel computation: bridging competitive and cooperative threading

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

Simple, fast, and safe manual memory management

Piyus Kedia, Manuel Costa, Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein

Simple, fast, and safe manual memory management

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

Synthesizing memory models from framework sketches and Litmus tests

James Bornholt, Emina Torlak

Synthesizing memory models from framework sketches and Litmus tests

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

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data

Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data

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

Low overhead dynamic binary translation on ARM

Amanieu D'Antras, Cosmin Gorgovan, Jim D. Garside, Mikel Luján

Low overhead dynamic binary translation on ARM

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

Systematic black-box analysis of collaborative web applications

Marina Billes, Anders Møller, Michael Pradel

Systematic black-box analysis of collaborative 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

Proactive and adaptive energy-aware programming with mixed typechecking

Anthony Canino, Yu David Liu

Proactive and adaptive energy-aware programming with mixed typechecking

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 deadlock detection for asynchronous C# programs

Anirudh Santhiar, Aditya Kanade

Static deadlock detection for asynchronous C# programs

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

Miniphases: compilation using modular and efficient tree transformations

Dmitry Petrashko, Ondrej Lhoták, Martin Odersky

Miniphases: compilation using modular and efficient tree transformations

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

Synthesis of divide and conquer parallelism for loops

Azadeh Farzan, Victor Nicolet

Synthesis of divide and conquer parallelism for loops

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

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Practical partial evaluation for high-performance dynamic language runtimes

Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer

Practical partial evaluation for high-performance dynamic language runtimes

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

Bringing the web up to speed with WebAssembly

Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien

Bringing the web up to speed with WebAssembly

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Gradual synthesis for static parallelization of single-pass array-processing programs

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík

Gradual synthesis for static parallelization of single-pass array-processing programs

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

Synthesizing program input grammars

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Synthesizing program input grammars

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

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Decomposition instead of self-composition for proving the absence of timing channels

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

Dynamic race prediction in linear time

Dileep Kini, Umang Mathur, Mahesh Viswanathan

Dynamic race prediction in linear 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
Author Comments: We are using academic license for RV-Predict tool for its logging functionality. Please read the terms and conditions for using RVPredict : https://runtimeverification.com/predict/
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

BARRACUDA: binary-level analysis of runtime RAces in CUDA programs

Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti

BARRACUDA: binary-level analysis of runtime RAces in CUDA programs

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

HoTTSQL: proving query rewrites with univalent SQL semantics

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

HoTTSQL: proving query rewrites with univalent SQL semantics

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

Levity polymorphism

Richard A. Eisenberg, Simon Peyton Jones

Levity polymorphism

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Similarity of binaries through re-optimization

Yaniv David, Nimrod Partush, Eran Yahav

Similarity of binaries through re-optimization

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Context transformations for pointer analysis

Rei Thiessen, Ondrej Lhoták

Context transformations for pointer analysis

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

Synthesizing highly expressive SQL queries from input-output examples

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Synthesizing highly expressive SQL queries from input-output examples

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

Control-flow recovery from partial failure reports

Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit

Control-flow recovery from partial failure reports

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Network configuration synthesis with abstract topologies

Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker

Network configuration synthesis with abstract topologies

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information