| 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 |
|---|
|
Atlas: leveraging locks for non-volatile memory consistency Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari |
Atlas: leveraging locks for non-volatile memory consistency Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
CheckCell: data debugging for spreadsheets Daniel W. Barowy, Dimitar Gochev, Emery D. Berger |
CheckCell: data debugging for spreadsheets 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
|
|
Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine |
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
|
|
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Smten with satisfiability-based search Richard Uhler, Nirav Dave |
Smten with satisfiability-based search 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
|
|
GPS: navigating weak memory with ghosts, protocols, and separation Aaron Turon, Viktor Vafeiadis, Derek Dreyer |
GPS: navigating weak memory with ghosts, protocols, and separation 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
|
|
Abstract semantic differencing via speculative correlation Nimrod Partush, Eran Yahav |
Abstract semantic differencing via speculative correlation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Late data layout: unifying data representation transformations Vlad Ureche, Eugene Burmako, Martin Odersky |
Late data layout: unifying data representation transformations 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
|
|
Call sequence prediction through probabilistic calling automata Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu |
Call sequence prediction through probabilistic calling automata Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Distributed REScala: an update algorithm for distributed reactive programming Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini |
Distributed REScala: an update algorithm for distributed reactive programming Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Keval Vora, Sai Charan Koduru, Rajiv Gupta |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi |
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
|
|
Flint: fixing linearizability violations Peng Liu, Omer Tripp, Xiangyu Zhang |
Flint: fixing linearizability violations 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
|
|
Translating imperative code to MapReduce Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan |
Translating imperative code to MapReduce Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Using web corpus statistics for program analysis Chun-Hung Hsiao, Michael J. Cafarella, Satish Narayanasamy |
Using web corpus statistics for program analysis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
MIX10: compiling MATLAB to X10 for high performance Vineet Kumar, Laurie J. Hendren |
MIX10: compiling MATLAB to X10 for high performance 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
|
|
Fast conservative garbage collection Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley |
Fast conservative garbage collection 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
|
|
Adaptive LL(*) parsing: the power of dynamic analysis Terence Parr, Sam Harwell, Kathleen Fisher |
Adaptive LL(*) parsing: the power of dynamic analysis 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
|
|
SurveyMan: programming and automatically debugging surveys Emma Tosch, Emery D. Berger |
SurveyMan: programming and automatically debugging surveys 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
|
|
Fast splittable pseudorandom number generators Guy L. Steele Jr., Doug Lea, Christine H. Flood |
Fast splittable pseudorandom number generators Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automated migration of build scripts using dynamic analysis and search-based refactoring Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
Automated migration of build scripts using dynamic analysis and search-based refactoring Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Foundations of path-dependent types Nada Amin, Tiark Rompf, Martin Odersky |
Foundations of path-dependent types Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Efficient subcubic alias analysis for C Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su |
Efficient subcubic alias analysis for C Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Bounded exhaustive test input generation from hybrid invariants Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
Bounded exhaustive test input generation from hybrid invariants Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
i3QL: language-integrated live data views Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi |
i3QL: language-integrated live data views 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
|
|
Determinacy in static analysis for jQuery Esben Andreasen, Anders Møller |
Determinacy in static analysis for jQuery 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
|
|
Tardis: affordable time-travel debugging in managed runtimes Earl T. Barr, Mark Marron |
Tardis: affordable time-travel debugging in managed runtimes Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard |
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Symbolic execution of multithreaded programs from arbitrary program contexts Tom Bergan, Dan Grossman, Luis Ceze |
Symbolic execution of multithreaded programs from arbitrary program contexts Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Checking correctness of TypeScript interfaces for JavaScript libraries Asger Feldthaus, Anders Møller |
Checking correctness of TypeScript interfaces for JavaScript libraries 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
|
|
Cybertron: pushing the limit on I/O reduction in data-parallel programs Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou |
Cybertron: pushing the limit on I/O reduction in data-parallel programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Accelerating iterators in optimizing AST interpreters Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz |
Accelerating iterators in optimizing AST interpreters 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
|
|
Staged parser combinators for efficient data processing Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
Staged parser combinators for efficient data processing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Understanding energy behaviors of thread management constructs Gustavo Pinto, Fernando Castor, Yu David Liu |
Understanding energy behaviors of thread management constructs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
StreamJIT: a commensal compiler for high-performance stream programming Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe |
StreamJIT: a commensal compiler for high-performance stream programming Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
An experimental survey of energy management across the stack Melanie Kambadur, Martha A. Kim |
An experimental survey of energy management across the stack Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu |
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Rubah: DSU for Java on a stock JVM Luís Pina, Luís Veiga, Michael W. Hicks |
Rubah: DSU for Java on a stock 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
|
|
Natural proofs for asynchronous programs using almost-synchronous reductions Ankush Desai, Pranav Garg, P. Madhusudan |
Natural proofs for asynchronous programs using almost-synchronous reductions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Statistical debugging for real-world performance problems Linhai Song, Shan Lu |
Statistical debugging for real-world performance problems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Static analysis for independent app developers Lucas Brutschy, Pietro Ferrara, Peter Müller |
Static analysis for independent app developers 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
|
|
Phosphor: illuminating dynamic data flow in commodity jvms Jonathan Bell, Gail E. Kaiser |
Phosphor: illuminating dynamic data flow in commodity jvms 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
|
|
Refactoring Java generics by inferring wildcards, in practice John Altidor, Yannis Smaragdakis |
Refactoring Java generics by inferring wildcards, in practice 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
|
|
Validation of memory accesses through symbolic analyses Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira |
Validation of memory accesses through symbolic analyses Details |
Author Comments:
The link only contains the symbolic range analysis that we have used in the paper. We have further improved it, since that publication. The most recent version of the range analysis is used in DawnCC, available at: http://cuda.dcc.ufmg.br/dawn/
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
From object algebras to attribute grammars Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
From object algebras to attribute grammars 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
|
|
Finding minimum type error sources Zvonimir Pavlinovic, Tim King, Thomas Wies |
Finding minimum type error sources Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Multithreaded test synthesis for deadlock detection Malavika Samak, Murali Krishna Ramanathan |
Multithreaded test synthesis for deadlock 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
|
|
Compiler verification meets cross-language linking via data abstraction Peng Wang, Santiago Cuellar, Adam Chlipala |
Compiler verification meets cross-language linking via data abstraction 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
|
|
Continuously measuring critical section pressure with the free-lunch profiler Florian David, Gaël Thomas, Julia Lawall, Gilles Muller |
Continuously measuring critical section pressure with the free-lunch profiler 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
|
|
Alembic: automatic locality extraction via migration Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin |
Alembic: automatic locality extraction via migration Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Rate types for stream programs Thomas Bartenstein, Yu David Liu |
Rate types for stream programs Details |
|
Author Comments:
Artifacts are available from the author, but have not been made public at this time. The full research, including all proofs is available as part of the dissertation cited as an "alternate" version of the paper.
Discussion Comments:
0
Sharing:
Other
Verification:
Authors have
verified
information
|