| 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 |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|
|
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
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
|
|
|
Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
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
|
|
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien |
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
|
|
|
Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel |
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
|
|
|
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost |
Details |
Author Comments:
The artifact includes programs used in the evaluation of our work (the specifications fed to the synthesizer and its output and running time for different modes of the synthesizer). The source code of the synthesizer could not be shared due to Microsoft owning the copyright.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|