| 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 |
|---|
|
Preemption-aware planning on big-data systems Marco Rabozzi, Matteo Mazzucchelli, Roberto Cordone, Giovanni Matteo Fumarola, Marco D. Santambrogio |
Preemption-aware planning on big-data systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parallel type-checking with haskell using saturating LVars and stream generators Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt |
Parallel type-checking with haskell using saturating LVars and stream generators Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Benchmarking weak memory models Carl G. Ritson, Scott Owens |
Benchmarking weak memory models Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Verification of MPI Java programs using software model checking Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui |
Verification of MPI Java programs using software model checking Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Lease/release: architectural support for scaling contended data structures Syed Kamran Haider, William Hasenplaugh, Dan Alistarh |
Lease/release: architectural support for scaling contended data structures Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Improving efficacy of internal binary search trees using local recovery Arunmoezhi Ramachandran, Neeraj Mittal |
Improving efficacy of internal binary search trees using local recovery Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
CUDA acceleration for Xen virtual machines in infiniband clusters with rCUDA Javier Prades, Carlos Reaño, Federico Silla |
CUDA acceleration for Xen virtual machines in infiniband clusters with rCUDA Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, Albert Cohen |
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Declarative coordination of graph-based parallel programs Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein |
Declarative coordination of graph-based 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
|
|
Causal consistency: beyond memory Matthieu Perrin, Achour Mostéfaoui, Claude Jard |
Causal consistency: beyond memory Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Data-centric combinatorial optimization of parallel code Hao Luo, Guoyang Chen, Pengcheng Li, Chen Ding, Xipeng Shen |
Data-centric combinatorial optimization of parallel code Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Coarse grain parallelization of deep neural networks Marc González Tallada |
Coarse grain parallelization of deep neural networks Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Samsara parallel: a non-BSP parallel-in-time model Yifeng Chen, Kun Huang, Bei Wang, Guohui Li, Xiang Cui |
Samsara parallel: a non-BSP parallel-in-time model Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Multi-core on-the-fly SCC decomposition Vincent Bloemen, Alfons Laarman, Jaco van de Pol |
Multi-core on-the-fly SCC decomposition 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
|
|
Tiziano De Matteis, Gabriele Mencagli |
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
|
|
Refined transactional lock elision Dave Dice, Alex Kogan, Yossi Lev |
Refined transactional lock elision Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work stealing for interactive services to meet target latency Jing Li, Kunal Agrawal, Sameh Elnikety, Yuxiong He, I-Ting Angelina Lee, Chenyang Lu, Kathryn S. McKinley |
Work stealing for interactive services to meet target latency Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Be my guest: MCS lock now welcomes guests Tianzheng Wang, Milind Chabbi, Hideaki Kimura |
Be my guest: MCS lock now welcomes guests 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
|
|
DSMR: a shared and distributed memory algorithm for single-source shortest path problem Saeed Maleki, Donald Nguyen, Andrew Lenharth, María Jesús Garzarán, David A. Padua, Keshav Pingali |
DSMR: a shared and distributed memory algorithm for single-source shortest path problem Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A programming system for future proofing performance critical libraries Li-Wen Chang, Izzat El Hajj, Hee-Seok Kim, Juan Gómez-Luna, Abdul Dakkak, Wen-mei W. Hwu |
A programming system for future proofing performance critical libraries Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Tyler Denniston, Shoaib Kamil, Saman P. Amarasinghe |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Unifying fixed code and fixed data mapping of load-imbalanced pipelined loops Aristeidis Mastoras, Thomas R. Gross |
Unifying fixed code and fixed data mapping of load-imbalanced pipelined loops Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Production-guided concurrency debugging Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues |
Production-guided concurrency debugging 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
|
|
Contention-conscious, locality-preserving locks Milind Chabbi, John M. Mellor-Crummey |
Contention-conscious, locality-preserving locks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Optimistic concurrency with OPTIK Rachid Guerraoui, Vasileios Trigonakis |
Optimistic concurrency with OPTIK 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
|
|
Ibrahim Umar, Otto J. Anshus, Phuong Hoai Ha |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
On designing NUMA-aware concurrency control for scalable transactional memory Mohamed Mohamedin, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran |
On designing NUMA-aware concurrency control for scalable transactional memory Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A scalable lock-free hash table with open addressing Jesper Puge Nielsen, Sven Karlsson |
A scalable lock-free hash table with open addressing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Generic messages: capability-based shared memory parallelism for event-loop systems Luca Salucci, Daniele Bonetta, Stefan Marr, Walter Binder |
Generic messages: capability-based shared memory parallelism for event-loop systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
SPIRIT: a runtime system for distributed irregular tree applications Nikhil Hegde, Jianqiao Liu, Milind Kulkarni |
SPIRIT: a runtime system for distributed irregular tree applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Merge-based sparse matrix-vector multiplication (SpMV) using the CSR storage format Duane Merrill, Michael Garland |
Merge-based sparse matrix-vector multiplication (SpMV) using the CSR storage format Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Saman Ashkiani, Andrew A. Davidson, Ulrich Meyer, John D. Owens |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
ESTIMA: extrapolating scalability of in-memory applications Georgios Chatzopoulos, Aleksandar Dragojevic, Rachid Guerraoui |
ESTIMA: extrapolating scalability of in-memory applications Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Hybrid CPU-GPU scheduling and execution of tree traversals Jianqiao Liu, Nikhil Hegde, Milind Kulkarni |
Hybrid CPU-GPU scheduling and execution of tree traversals Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Tidex: a mutual exclusion lock Pedro Ramalhete, Andreia Correia |
Tidex: a mutual exclusion lock Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
The virtues of conflict: analysing modern concurrency Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening |
The virtues of conflict: analysing modern concurrency 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
|
|
High performance model based image reconstruction Xiao Wang, Amit Sabne, Sherman J. Kisner, Anand Raghunathan, Charles A. Bouman, Samuel P. Midkiff |
High performance model based image reconstruction Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Rezaul Alam Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang |
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
|
|
Concurrent hash tables: fast and general?(!) Tobias Maier, Peter Sanders, Roman Dementiev |
Concurrent hash tables: fast and general?(!) Details |
Author Comments:
The code found in our github repository is generally more up to date, than the measurements found in our papers. If you find any (new) performance issues, please refer to t.maier@kit.edu for advice.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Guy L. Steele Jr., Jean-Baptiste Tristan |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
DomLock: a new multi-granularity locking technique for hierarchies Saurabh Kalikar, Rupesh Nasre |
DomLock: a new multi-granularity locking technique for hierarchies 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:
None.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Exploiting accelerators for efficient high dimensional similarity search Sandeep R. Agrawal, Christopher M. Dee, Alvin R. Lebeck |
Exploiting accelerators for efficient high dimensional similarity search Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficient distributed workstealing via matchmaking Hrushit Parikh, Vinit Deodhar, Ada Gavrilovska, Santosh Pande |
Efficient distributed workstealing via matchmaking Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A high-performance parallel algorithm for nonnegative matrix factorization Ramakrishnan Kannan, Grey Ballard, Haesun Park |
A high-performance parallel algorithm for nonnegative matrix factorization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
OPR: deterministic group replay for one-sided communication Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu |
OPR: deterministic group replay for one-sided communication Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond |
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
|
|
Mingzhe Zhang, Francis C. M. Lau, Cho-Li Wang, Luwei Cheng, Haibo Chen |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A wait-free queue as fast as fetch-and-add Chaoran Yang, John M. Mellor-Crummey |
A wait-free queue as fast as fetch-and-add 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
|
|
On ordering transaction commit Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran |
On ordering transaction commit Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Gunrock: a high-performance graph processing library on the GPU Yangzihao Wang, Andrew A. Davidson, Yuechao Pan, Yuduo Wu, Andy Riffel, John D. Owens |
Gunrock: a high-performance graph processing library on the GPU 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
|
|
An interval constrained memory allocator for the Givy GAS runtime François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis |
An interval constrained memory allocator for the Givy GAS runtime Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Articulation points guided redundancy elimination for betweenness centrality Lei Wang, Fan Yang, Liangji Zhuang, Huimin Cui, Fang Lv, Xiaobing Feng |
Articulation points guided redundancy elimination for betweenness centrality Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Grain graphs: OpenMP performance analysis made easy Ananya Muddukrishna, Peter A. Jonsson, Artur Podobas, Mats Brorsson |
Grain graphs: OpenMP performance analysis made easy Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Affinity-aware work-stealing for integrated CPU-GPU processors Naila Farooqui, Rajkishore Barik, Brian T. Lewis, Tatiana Shpeisman, Karsten Schwan |
Affinity-aware work-stealing for integrated CPU-GPU processors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
User-assisted storage reuse determination for dynamic task graphs Mehmet Can Kurt, Bin Ren, Sriram Krishnamoorthy, Gagan Agrawal |
User-assisted storage reuse determination for dynamic task graphs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|