| 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
|
|
Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen |
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 J. 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
|
|
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
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
|
|
Richard A. Eisenberg, Simon Peyton Jones |
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
|