ACM Programming Language Design and Implementation, PLDI 2016


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

On the complexity and performance of parsing with derivatives

Michael D. Adams, Celeste Hollenbeck, Matthew Might

On the complexity and performance of parsing with derivatives

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

A distributed OpenCL framework using redundant computation and data replication

Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, Jaejin Lee

A distributed OpenCL framework using redundant computation and data replication

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

Temporal NetKAT

Ryan Beckett, Michael Greenberg, David Walker

Temporal NetKAT

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

End-to-end verification of information-flow security for C and assembly programs

David Costanzo, Zhong Shao, Ronghui Gu

End-to-end verification of information-flow security for C and assembly 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

Verifying bit-manipulations of floating-point

Wonyeol Lee, Rahul Sharma, Alex Aiken

Verifying bit-manipulations of floating-point

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

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell

Into the depths of C: elaborating the de facto standards

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

Occurrence typing modulo theories

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

Occurrence typing modulo theories

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

Statistical similarity of binaries

Yaniv David, Nimrod Partush, Eran Yahav

Statistical similarity of binaries

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

GreenWeb: language extensions for energy-efficient mobile web computing

Yuhao Zhu, Vijay Janapa Reddi

GreenWeb: language extensions for energy-efficient mobile web computing

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

Verified peephole optimizations for CompCert

Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman

Verified peephole optimizations for CompCert

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

Higher-order and tuple-based massively-parallel prefix sums

Sepideh Maleki, Annie Yang, Martin Burtscher

Higher-order and tuple-based massively-parallel prefix sums

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

Verified lifting of stencil computations

Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama

Verified lifting of stencil computations

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

Just-in-time static type checking for dynamic languages

Brianna M. Ren, Jeffrey S. Foster

Just-in-time static type checking for dynamic languages

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

Cartesian hoare logic for verifying k-safety properties

Marcelo Sousa, Isil Dillig

Cartesian hoare logic for verifying k-safety properties

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

FlexVec: auto-vectorization for irregular loops

Sara S. Baghsorkhi, Nalini Vasudevan, Youfeng Wu

FlexVec: auto-vectorization for irregular loops

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

Accepting blame for safe tunneled exceptions

Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers

Accepting blame for safe tunneled exceptions

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

Types from data: making structured data first-class citizens in F#

Tomas Petricek, Gustavo Guerra, Don Syme

Types from data: making structured data first-class citizens in F#

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

Living on the edge: rapid-toggling probes with cross-modification on x86

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

Living on the edge: rapid-toggling probes with cross-modification on x86

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

Programmatic and direct manipulation, together at last

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

Programmatic and direct manipulation, together at last

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

Idle time garbage collection scheduling

Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer

Idle time garbage collection scheduling

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

Input responsiveness: using canary inputs to dynamically steer approximation

Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott A. Mahlke, Jason Mars, Lingjia Tang

Input responsiveness: using canary inputs to dynamically steer approximation

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

SDNRacer: concurrency analysis for software-defined networks

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev

SDNRacer: concurrency analysis for software-defined 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

Exposing errors related to weak memory in GPU applications

Tyler Sorensen, Alastair F. Donaldson

Exposing errors related to weak memory in GPU applications

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

Cardinalities and universal quantifiers for verifying parameterized systems

Klaus von Gleissenthall, Nikolaj Bjørner, Andrey Rybalchenko

Cardinalities and universal quantifiers for verifying parameterized systems

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

A design and verification methodology for secure isolated regions

Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

A design and verification methodology for secure isolated regions

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

Remix: online detection and repair of cache contention for the JVM

Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti

Remix: online detection and repair of cache contention for the JVM

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

Data-driven precondition inference with learned features

Saswat Padhi, Rahul Sharma, Todd D. Millstein

Data-driven precondition inference with learned features

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

Rehearsal: a configuration verification tool for puppet

Rian Shambaugh, Aaron Weiss, Arjun Guha

Rehearsal: a configuration verification tool for puppet

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

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

Program synthesis from polymorphic refinement types

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

Lightweight computation tree tracing for lazy functional languages

Maarten Faddegon, Olaf Chitil

Lightweight computation tree tracing for lazy functional languages

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

Coverage-directed differential testing of JVM implementations

Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao

Coverage-directed differential testing of JVM implementations

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

Toward compositional verification of interruptible OS kernels and device drivers

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

Toward compositional verification of interruptible OS kernels and device drivers

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

Synthesizing transformations on hierarchically structured data

Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri

Synthesizing transformations on hierarchically structured data

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

Effective padding of multidimensional arrays to avoid cache conflict misses

Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan

Effective padding of multidimensional arrays to avoid cache conflict misses

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

Latte: a language, compiler, and runtime for elegant and efficient deep neural networks

Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, Tatiana Shpeisman

Latte: a language, compiler, and runtime for elegant and efficient deep neural networks

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

Assessing the limits of program-specific garbage collection performance

Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, Eliot Moss

Assessing the limits of program-specific garbage collection performance

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

Polymorphic type inference for machine code

Matthew Noonan, Alexey Loginov, David Cok

Polymorphic type inference for machine code

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

Refinement types for TypeScript

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Refinement types for TypeScript

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

From Datalog to flix: a declarative language for fixed points on lattices

Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták

From Datalog to flix: a declarative language for fixed points on lattices

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

MapReduce program synthesis

Calvin Smith, Aws Albarghouthi

MapReduce program synthesis

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

Transactional data structure libraries

Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar

Transactional data structure libraries

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

Automatically learning shape specifications

He Zhu, Gustavo Petri, Suresh Jagannathan

Automatically learning shape specifications

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

Event-driven network programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

Event-driven network programming

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

Precise, dynamic information flow for database-backed applications

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Precise, dynamic information flow for database-backed 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

Ivy: safety verification by interactive generalization

Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham

Ivy: safety verification by interactive generalization

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

Stratified synthesis: automatically learning the x86-64 instruction set

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

Stratified synthesis: automatically learning the x86-64 instruction set

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

Fast synthesis of fast collections

Calvin Loncaric, Emina Torlak, Michael D. Ernst

Fast synthesis of fast collections

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

Configuration synthesis for programmable analog devices with Arco

Sara Achour, Rahul Sarpeshkar, Martin C. Rinard

Configuration synthesis for programmable analog devices with Arco

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