| 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 |
|---|
|
Detecting silent data corruption through data dynamic monitoring for scientific applications Leonardo Arturo Bautista-Gomez, Franck Cappello |
Detecting silent data corruption through data dynamic monitoring for scientific applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Singe: leveraging warp specialization for high performance on GPUs Michael Bauer, Sean Treichler, Alex Aiken |
Singe: leveraging warp specialization for high performance on GPUs Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Designing and auto-tuning parallel 3-D FFT for computation-communication overlap Sukhyun Song, Jeffrey K. Hollingsworth |
Designing and auto-tuning parallel 3-D FFT for computation-communication overlap Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Leveraging hardware message passing for efficient thread synchronization Darko Petrovic, Thomas Ropars, André Schiper |
Leveraging hardware message passing for efficient thread synchronization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Race directed scheduling of concurrent programs Mahdi Eslamimehr, Jens Palsberg |
Race directed scheduling of concurrent programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Optimistic transactional boosting Ahmed Hassan, Roberto Palmieri, Binoy Ravindran |
Optimistic transactional boosting Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A tool to analyze the performance of multithreaded programs on NUMA architectures Xu Liu, John M. Mellor-Crummey |
A tool to analyze the performance of multithreaded programs on NUMA architectures Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Provably good scheduling for parallel programs that use data structures through implicit batching Kunal Agrawal, Jeremy T. Fineman, Brendan Sheridan, Jim Sukha, Robert Utterback |
Provably good scheduling for parallel programs that use data structures through implicit batching Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Data structures for task-based priority scheduling Martin Wimmer, Francesco Versaci, Jesper Larsson Träff, Daniel Cederman, Philippas Tsigas |
Data structures for task-based priority scheduling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
In-place transposition of rectangular matrices on accelerators I-Jui Sung, Juan Gómez-Luna, José María González-Linares, Nicolás Guil, Wen-mei W. Hwu |
In-place transposition of rectangular matrices on accelerators Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Concurrency bug localization using shared memory access pairs Wenwen Wang, Chenggang Wu, Pen-Chung Yew, Xiang Yuan, Zhenjiang Wang, Jianjun Li, Xiaobing Feng |
Concurrency bug localization using shared memory access pairs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parallelizing dynamic programming through rank convergence Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz |
Parallelizing dynamic programming through rank convergence Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A practical wait-free simulation for lock-free data structures Shahar Timnat, Erez Petrank |
A practical wait-free simulation for lock-free data structures Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Miao Luo, Xiaoyi Lu, Khaled Hamidouche, Krishna Chaitanya Kandalla, Dhabaleswar K. Panda |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Beyond parallel programming with domain specific languages Kunle Olukotun |
Beyond parallel programming with domain specific languages Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Infrastructure-free logging and replay of concurrent execution on multiple cores Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang |
Infrastructure-free logging and replay of concurrent execution on multiple cores Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Extracting logical structure and identifying stragglers in parallel execution traces Katherine E. Isaacs, Todd Gamblin, Abhinav Bhatele, Peer-Timo Bremer, Martin Schulz, Bernd Hamann |
Extracting logical structure and identifying stragglers in parallel execution traces Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Revisiting loop fusion in the polyhedral framework Sanyam Mehta, Pei-Hung Lin, Pen-Chung Yew |
Revisiting loop fusion in the polyhedral framework Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Concurrency testing using schedule bounding: an empirical study Paul Thomson, Alastair F. Donaldson, Adam Betts |
Concurrency testing using schedule bounding: an empirical study Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Fast concurrent lock-free binary search trees Aravind Natarajan, Neeraj Mittal |
Fast concurrent lock-free binary search trees Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficient search for inputs causing high floating-point errors Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev |
Efficient search for inputs causing high floating-point errors Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Christopher I. Rodrigues, Thomas B. Jablin, Abdul Dakkak, Wen-mei W. Hwu |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Towards fair and efficient SMP virtual machine scheduling Jia Rao, Xiaobo Zhou |
Towards fair and efficient SMP virtual machine scheduling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Heterogeneous computing: what does it mean for compiler research? Norm Rubin |
Heterogeneous computing: what does it mean for compiler research? Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
CUDA-NP: realizing nested thread-level parallelism in GPGPU applications Yi Yang, Huiyang Zhou |
CUDA-NP: realizing nested thread-level parallelism in GPGPU applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Lock contention aware thread migrations Kishore Kumar Pusukuri, Rajiv Gupta, Laxmi Narayan Bhuyan |
Lock contention aware thread migrations 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:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Practical concurrent binary search trees via logical ordering Dana Drachsler, Martin T. Vechev, Eran Yahav |
Practical concurrent binary search trees via logical ordering Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Trace driven dynamic deadlock detection and reproduction Malavika Samak, Murali Krishna Ramanathan |
Trace driven dynamic deadlock detection and reproduction Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Resilient X10: efficient failure-aware programming David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay A. Saraswat, Mikio Takeuchi, Olivier Tardieu |
Resilient X10: efficient failure-aware programming Details |
|
Author Comments:
Implementation was incorporated into subsequent X10 open source releases available from http://x10-lang.org, but there is no surviving software artifact that corresponds exactly to the system that was measured in this paper.
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Task mapping stencil computations for non-contiguous allocations Vitus J. Leung, David P. Bunde, Jonathan Ebbers, Stefan P. Feer, Nickolas W. Price, Zachary D. Rhodes, Matthew Swank |
Task mapping stencil computations for non-contiguous allocations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs Edans F. de O. Sandes, Guillermo Miranda, Alba Cristina Magalhaes Alves de Melo, Xavier Martorell, Eduard Ayguadé |
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A general technique for non-blocking trees Trevor Brown, Faith Ellen, Eric Ruppert |
A general technique for non-blocking trees Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Portable, MPI-interoperable coarray fortran Chaoran Yang, Wesley Bland, John M. Mellor-Crummey, Pavan Balaji |
Portable, MPI-interoperable coarray fortran Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
yaSpMV: yet another SpMV framework on GPUs Shengen Yan, Chao Li, Yunquan Zhang, Huiyang Zhou |
yaSpMV: yet another SpMV framework on GPUs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A decomposition for in-place matrix transposition Bryan Catanzaro, Alexander Keller, Michael Garland |
A decomposition for in-place matrix transposition Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficient deterministic multithreading without global barriers Kai Lu, Xu Zhou, Tom Bergan, Xiaoping Wang |
Efficient deterministic multithreading without global barriers Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Well-structured futures and cache locality Maurice Herlihy, Zhiyu Liu |
Well-structured futures and cache locality Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Theoretical analysis of classic algorithms on highly-threaded many-core GPUs Lin Ma, Kunal Agrawal, Roger D. Chamberlain |
Theoretical analysis of classic algorithms on highly-threaded many-core GPUs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Eliminating global interpreter locks in ruby through hardware transactional memory Rei Odaira, José G. Castaños, Hisanobu Tomari |
Eliminating global interpreter locks in ruby through hardware transactional memory Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
SCCMulti: an improved parallel strongly connected components algorithm Daniel Tomkins, Timmie G. Smith, Nancy M. Amato, Lawrence Rauchwerger |
SCCMulti: an improved parallel strongly connected components algorithm Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Time-warp: lightweight abort minimization in transactional memory Nuno Lourenco Diegues, Paolo Romano |
Time-warp: lightweight abort minimization in transactional memory Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
21st century computer architecture Mark D. Hill |
21st century computer architecture Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Parallelization hints via code skeletonization Cfir Aguston, Yosi Ben-Asher, Gadi Haber |
Parallelization hints via code skeletonization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
PREDATOR: predictive false sharing detection Tongping Liu, Chen Tian, Ziang Hu, Emery D. Berger |
PREDATOR: predictive false sharing detection Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|