| 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 |
|---|
|
Johannes Doerfert, Tobias Grosser, Sebastian Hack |
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
|
|
Minimizing the cost of iterative compilation with active learning William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather |
Minimizing the cost of iterative compilation with active learning Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
ThinLTO: scalable and incremental LTO Teresa Johnson, Mehdi Amini, David Xinliang Li |
ThinLTO: scalable and incremental LTO Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parallel associative reductions in halide Patricia Suriana, Andrew Adams, Shoaib Kamil |
Parallel associative reductions in halide Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Jayvant Anantpur, R. Govindarajan |
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
|
|
A collaborative dependence analysis framework Nick P. Johnson, Jordan Fix, Stephen R. Beard, Taewook Oh, Thomas B. Jablin, David I. August |
A collaborative dependence analysis framework Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Bernhard Egger, Hochan Lee, Duseok Kang, Mansureh S. Moghaddam, Youngchul Cho, Yeonbok Lee, Sukjin Kim, Soonhoi Ha, Kiyoung Choi |
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 buffer overflow detection for GPGPUs Christopher Erb, Mike Collins, Joseph L. Greathouse |
Dynamic buffer overflow detection for GPGPUs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Synthesizing benchmarks for predictive modeling Chris Cummins, Pavlos Petoumenos, Zheng Wang, Hugh Leather |
Synthesizing benchmarks for predictive 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Characterizing data organization effects on heterogeneous memory architectures Apan Qasem, Ashwin M. Aji, Gregory Rodgers |
Characterizing data organization effects on heterogeneous memory architectures Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Incremental whole program optimization and compilation Patrick W. Sathyanathan, Wenlei He, Ten H. Tzen |
Incremental whole program optimization and compilation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Phase-aware optimization in approximate computing Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi |
Phase-aware optimization in approximate computing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
FinePar: irregularity-aware fine-grained workload partitioning on integrated architectures Feng Zhang, Bo Wu, Jidong Zhai, Bingsheng He, Wenguang Chen |
FinePar: irregularity-aware fine-grained workload partitioning on integrated architectures 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
|
|
Legato: end-to-end bounded region serializability using commodity hardware transactional memory Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni |
Legato: end-to-end bounded region serializability using commodity hardware transactional memory 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
|
|
Automatic generation of fast BLAS3-GEMM: a portable compiler approach Xing Su, Xiangke Liao, Jingling Xue |
Automatic generation of fast BLAS3-GEMM: a portable compiler approach 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
|
|
Removing checks in dynamically typed languages through efficient profiling Gem Dot, Alejandro Martínez, Antonio González |
Removing checks in dynamically typed languages through efficient profiling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
TwinKernels: an execution model to improve GPU hardware scheduling at compile time Xiang Gong, Zhongliang Chen, Amir Kavyan Ziabari, Rafael Ubal, David R. Kaeli |
TwinKernels: an execution model to improve GPU hardware scheduling at compile 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Software prefetching for indirect memory accesses Sam Ainsworth, Timothy M. Jones |
Software prefetching for indirect memory accesses 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
|
|
Cross-ISA machine emulation for multicores Emilio G. Cota, Paolo Bonzini, Alex Bennée, Luca P. Carloni |
Cross-ISA machine emulation for multicores 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
|
|
Formalizing the concurrency semantics of an LLVM fragment Soham Chakraborty, Viktor Vafeiadis |
Formalizing the concurrency semantics of an LLVM fragment Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Automatic detection of extended data-race-free regions Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, Alberto Ros |
Automatic detection of extended data-race-free regions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Optimizing function placement for large-scale data-center applications Guilherme Ottoni, Bertrand Maher |
Optimizing function placement for large-scale data-center applications Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Pointer disambiguation via strict inequalities Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira |
Pointer disambiguation via strict inequalities 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
|
|
Discovery and exploitation of general reductions: a constraint based approach Philip Ginsbach, Michael F. P. O'Boyle |
Discovery and exploitation of general reductions: a constraint based approach Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Lift: a functional data-parallel IR for high-performance GPU code generation Michel Steuwer, Toomas Remmelg, Christophe Dubach |
Lift: a functional data-parallel IR for high-performance GPU code generation 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
|
|
Clairvoyance: look-ahead compile-time scheduling Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean |
Clairvoyance: look-ahead compile-time 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
|