ACM Programming Language Design and Implementation, PLDI 2014


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

Optimal inference of fields in row-polymorphic records

Axel Simon

Optimal inference of fields in row-polymorphic records

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

VeriCon: towards verifying controller programs in software-defined networks

Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky

VeriCon: towards verifying controller programs in software-defined networks

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

Tracelet-based code search in executables

Yaniv David, Eran Yahav

Tracelet-based code search in executables

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

Modular control-flow integrity

Ben Niu, Gang Tan

Modular control-flow integrity

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

Doppio: breaking the browser language barrier

John Vilk, Emery D. Berger

Doppio: breaking the browser language barrier

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

Laws of concurrent programming

Tony Hoare

Laws of concurrent programming

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

Test-driven repair of data races in structured parallel programs

Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar

Test-driven repair of data races in structured parallel 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

Improving JavaScript performance by deconstructing the type system

Wonsun Ahn, Jiho Choi, Thomas Shull, María Jesús Garzarán, Josep Torrellas

Improving JavaScript performance by deconstructing the type system

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

Automating formal proofs for reactive systems

Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner

Automating formal proofs for reactive systems

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

Stochastic optimization of floating-point programs with tunable precision

Eric Schkufza, Rahul Sharma, Alex Aiken

Stochastic optimization of floating-point programs with tunable precision

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

Dynamic space limits for Haskell

Edward Z. Yang, David Mazières

Dynamic space limits for Haskell

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

Selective context-sensitivity guided by impact pre-analysis

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

Selective context-sensitivity guided by impact pre-analysis

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

Specialization slicing

Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps

Specialization slicing

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

A personal perspective on concurrency

Jayadev Misra

A personal perspective on concurrency

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

A model counter for constraints over unbounded strings

Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky

A model counter for constraints over unbounded strings

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

Commutativity race detection

Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen

Commutativity race detection

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

Hybrid top-down and bottom-up interprocedural analysis

Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang

Hybrid top-down and bottom-up interprocedural analysis

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

FlashExtract: a framework for data extraction by examples

Vu Le, Sumit Gulwani

FlashExtract: a framework for data extraction by examples

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

Getting F-bounded polymorphism into shape

Ben Greenman, Fabian Muehlboeck, Ross Tate

Getting F-bounded polymorphism into shape

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

On abstraction refinement for program analyses in Datalog

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

On abstraction refinement for program analyses in Datalog

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

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation

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

Æminium: a permission based concurrent-by-default programming language approach

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

Æminium: a permission based concurrent-by-default programming language approach

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

Resugaring: lifting evaluation sequences through syntactic sugar

Justin Pombrio, Shriram Krishnamurthi

Resugaring: lifting evaluation sequences through syntactic sugar

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

A lightweight symbolic virtual machine for solver-aided host languages

Emina Torlak, Rastislav Bodík

A lightweight symbolic virtual machine for solver-aided host languages

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

Chlorophyll: synthesis-aided compiler for low-power spatial architectures

Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, Rastislav Bodík

Chlorophyll: synthesis-aided compiler for low-power spatial architectures

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

Maximal sound predictive race detection with control flow abstraction

Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu

Maximal sound predictive race detection with control flow abstraction

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

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su

Compiler validation via equivalence modulo inputs

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

Code completion with statistical language models

Veselin Raychev, Martin T. Vechev, Eran Yahav

Code completion with statistical language models

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

Adapton: composable, demand-driven incremental computation

Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster

Adapton: composable, demand-driven incremental computation

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

Taming the parallel effect zoo: extensible deterministic parallelism with LVish

Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton

Taming the parallel effect zoo: extensible deterministic parallelism with LVish

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

What exactly is inexact computation good for?

Krishna V. Palem

What exactly is inexact computation good for?

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

A framework for enhancing data reuse via associative reordering

Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan

A framework for enhancing data reuse via associative reordering

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

Surgical precision JIT compilers

Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun

Surgical precision JIT compilers

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

DoubleChecker: efficient sound and precise atomicity checking

Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond

DoubleChecker: efficient sound and precise atomicity checking

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

End-to-end verification of stack-space bounds for C programs

Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao

End-to-end verification of stack-space bounds for C 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

Race detection for event-driven mobile applications

Chun-Hung Hsiao, Cristiano Pereira, Jie Yu, Gilles Pokam, Satish Narayanasamy, Peter M. Chen, Ziyun Kong, Jason Flinn

Race detection for event-driven mobile applications

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

Globally precise-restartable execution of parallel programs

Gagan Gupta, Srinath Sridharan, Gurindar S. Sohi

Globally precise-restartable execution of parallel programs

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

Compositional solution space quantification for probabilistic software analysis

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser

Compositional solution space quantification for probabilistic software analysis

Details
Author Comments: The linked page contains the implementation + VM for replicating the experiments related to the two papers presented at PLDI '14 and ESEC/FSE'15.
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Automatic runtime error repair and containment via recovery shepherding

Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard

Automatic runtime error repair and containment via recovery shepherding

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

Introspective analysis: context-sensitivity, across the board

Yannis Smaragdakis, George Kastrinis, George Balatsouras

Introspective analysis: context-sensitivity, across the board

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

Slicing probabilistic programs

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Slicing probabilistic programs

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

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquin Aguado, Stephen Mercer, Owen O'Brien

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts

Details
Author Comments: The SCCharts artifact is part of the Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER). It builds on the Eclipse Layout Kernel (ELK, https://www.eclipse.org/elk/). Both KIELER and ELK are open-source software based on the Eclipse Public License, open for academic and commercial use. The SCCharts/KIELER environment is regularly used in classes on embedded system modeling and synchronous languages. For further information, feel free to contact Reinhard von Hanxleden (rvh@informatik.uni-kiel.de).
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Don't sweat the small stuff: formal verification of C code without the pain

David Greenaway, Japheth Lim, June Andronick, Gerwin Klein

Don't sweat the small stuff: formal verification of C code without the pain

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

Compiler-assisted detection of transient memory errors

Sanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan

Compiler-assisted detection of transient memory errors

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 enforcement of determinism in a parallel scripting language

Li Lu, Weixing Ji, Michael L. Scott

Dynamic enforcement of determinism in a parallel scripting language

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

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps

Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps

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

First-class runtime generation of high-performance types using exotypes

Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan

First-class runtime generation of high-performance types using exotypes

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

Race detection for Android applications

Pallavi Maiya, Aditya Kanade, Rupak Majumdar

Race detection for Android applications

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

Accurate application progress analysis for large-scale parallel debugging

Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, Todd Gamblin

Accurate application progress analysis for large-scale parallel debugging

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

Test-driven synthesis

Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost

Test-driven synthesis

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

Natural proofs for data structure manipulation in C using separation logic

Edgar Pek, Xiaokang Qiu, P. Madhusudan

Natural proofs for data structure manipulation in C using separation logic

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

Fast: a transducer-based language for tree manipulation

Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar

Fast: a transducer-based language for tree manipulation

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

Persistent pointer information

Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang

Persistent pointer information

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

Expressing and verifying probabilistic assertions

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze

Expressing and verifying probabilistic assertions

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 artifact code is owned by Microsoft.
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Consolidation of queries with user-defined functions

Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis

Consolidation of queries with user-defined functions

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

Adaptive, efficient, parallel execution of parallel programs

Srinath Sridharan, Gagan Gupta, Gurindar S. Sohi

Adaptive, efficient, parallel execution of parallel programs

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

Atomicity refinement for verified compilation

Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte

Atomicity refinement for verified compilation

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

Herding cats: modelling, simulation, testing, and data-mining for weak memory

Jade Alglave, Luc Maranget, Michael Tautschnig

Herding cats: modelling, simulation, testing, and data-mining for weak memory

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

Verification modulo versions: towards usable verification

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear

Verification modulo versions: towards usable verification

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