| 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
|
|
Ryan Beckett, Michael Greenberg, David Walker |
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 |
|
Author Comments:
We have improved on these results and anticipate submitting to a journal in the summer of 2017.
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
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
|
|
|
Calvin Smith, Aws Albarghouthi |
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
|