| 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 |
|---|
|
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing Paul Thomson, Alastair F. Donaldson |
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
MPI+Threads: runtime contention and remedies Abdelhalim Amer, Huiwei Lu, Yanjie Wei, Pavan Balaji, Satoshi Matsuoka |
MPI+Threads: runtime contention and remedies Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Section based program analysis to reduce overhead of detecting unsynchronized thread communication Madan Das, Gabriel Southern, Jose Renau |
Section based program analysis to reduce overhead of detecting unsynchronized thread communication Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A programming model and runtime system for significance-aware energy-efficient computing Vassilis Vassiliadis, Konstantinos Parasyris, Charalambos Chalios, Christos D. Antonopoulos, Spyros Lalis, Nikolaos Bellas, Hans Vandierendonck, Dimitrios S. Nikolopoulos |
A programming model and runtime system for significance-aware energy-efficient computing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Olga Pearce, Todd Gamblin, Bronis R. de Supinski, Martin Schulz, Nancy M. Amato |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Distributed memory code generation for mixed Irregular/Regular computations Mahesh Ravishankar, Roshan Dathathri, Venmugil Elango, Louis-Noël Pouchet, J. Ramanujam, Atanas Rountev, P. Sadayappan |
Distributed memory code generation for mixed Irregular/Regular computations Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
SYNC or ASYNC: time to fuse for distributed graph-parallel computation Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, Haibo Chen |
SYNC or ASYNC: time to fuse for distributed graph-parallel computation Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
On optimizing machine learning workloads via kernel fusion Arash Ashari, Shirish Tatikonda, Matthias Boehm, Berthold Reinwald, Keith Campbell, John Keenleyside, P. Sadayappan |
On optimizing machine learning workloads via kernel fusion Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
GStream: a graph streaming processing method for large-scale graphs on GPUs Hyunseok Seo, Jinwook Kim, Min-Soo Kim |
GStream: a graph streaming processing method for large-scale graphs on GPUs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The SprayList: a scalable relaxed priority queue Dan Alistarh, Justin Kopinsky, Jerry Li, Nir Shavit |
The SprayList: a scalable relaxed priority queue 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
|
|
Tiles: a new language mechanism for heterogeneous parallelism Yifeng Chen, Xiang Cui, Hong Mei |
Tiles: a new language mechanism for heterogeneous parallelism Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Yuan Tang, Ronghui You, Haibin Kan, Jesmin Jahan Tithi, Pramod Ganapathi, Rezaul Alam Chowdhury |
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
|
|
Diagnosing the causes and severity of one-sided message contention Nathan R. Tallent, Abhinav Vishnu, Hubertus Van Dam, Jeff Daily, Darren J. Kerbyson, Adolfy Hoisie |
Diagnosing the causes and severity of one-sided message contention Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
CASTLE: fast concurrent internal binary search tree using edge-based locking Arunmoezhi Ramachandran, Neeraj Mittal |
CASTLE: fast concurrent internal binary search tree using edge-based locking Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficient and reasonable object-oriented concurrency Scott West, Sebastian Nanz, Bertrand Meyer |
Efficient and reasonable object-oriented concurrency Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A library for portable and composable data locality optimizations for NUMA systems Zoltan Majo, Thomas R. Gross |
A library for portable and composable data locality optimizations for NUMA systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
An OpenACC-based unified programming model for multi-accelerator systems Jungwon Kim, Seyong Lee, Jeffrey S. Vetter |
An OpenACC-based unified programming model for multi-accelerator systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A hierarchical approach to reducing communication in parallel graph algorithms Harshvardhan, Nancy M. Amato, Lawrence Rauchwerger |
A hierarchical approach to reducing communication in parallel graph algorithms Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Barrier elision for production parallel programs Milind Chabbi, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John M. Mellor-Crummey, Costin Iancu |
Barrier elision for production parallel programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Are web applications ready for parallelism? Cosmin Radoi, Stephan Herhut, Jaswanth Sreeram, Danny Dig |
Are web applications ready for parallelism? Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Software partitioning of hardware transactions Lingxiang Xiang, Michael L. Scott |
Software partitioning of hardware transactions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A framework for practical parallel fast matrix multiplication Austin R. Benson, Grey Ballard |
A framework for practical parallel fast matrix multiplication Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
PLUTO+: near-complete modeling of affine transformations for parallelism and locality Aravind Acharya, Uday Bondhugula |
PLUTO+: near-complete modeling of affine transformations for parallelism and locality Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Predicate RCU: an RCU for scalable concurrent updates Maya Arbel, Adam Morrison |
Predicate RCU: an RCU for scalable concurrent updates 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
|
|
Performance implications of dynamic memory allocators on transactional memory systems Alexandro Baldassin, Edson Borin, Guido Araujo |
Performance implications of dynamic memory allocators on transactional memory systems 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
|
|
Static/Dynamic validation of MPI collective communications in multi-threaded context Emmanuelle Saillard, Patrick Carribault, Denis Barthou |
Static/Dynamic validation of MPI collective communications in multi-threaded context Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A parallel algorithm for global states enumeration in concurrent systems Yen-Jung Chang, Vijay K. Garg |
A parallel algorithm for global states enumeration in concurrent systems Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A collection-oriented programming model for performance portability Saurav Muralidharan, Michael Garland, Bryan Catanzaro, Albert Sidelnik, Mary W. Hall |
A collection-oriented programming model for performance portability Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Combining phase identification and statistic modeling for automated parallel benchmark generation Ye Jin, Mingliang Liu, Xiaosong Ma, Qing Liu, Jeremy S. Logan, Norbert Podhorszki, Jong Youl Choi, Scott Klasky |
Combining phase identification and statistic modeling for automated parallel benchmark generation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
VirtCL: a framework for OpenCL device abstraction and management Yi-Ping You, Hen-Jung Wu, Yeh-Ning Tsai, Yen-Ting Chao |
VirtCL: a framework for OpenCL device abstraction and management 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
|
|
Loïc Thébault, Eric Petit, Quang Dinh |
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
|
|
Vincent Gramoli |
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:
Author has
not verified
information
|
|
Dynamic deadlock verification for general barrier synchronisation Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
Dynamic deadlock verification for general barrier synchronisation 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 scalable atomicity via semantic locking Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic scalable atomicity via semantic locking Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
JAWS: a JavaScript framework for adaptive CPU-GPU work sharing Xianglan Piao, Channoh Kim, Younghwan Oh, Huiying Li, Jincheon Kim, Hanjun Kim, Jae W. Lee |
JAWS: a JavaScript framework for adaptive CPU-GPU work sharing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Optimization of asynchronous graph processing on GPU with hybrid coloring model Xuanhua Shi, Junling Liang, Sheng Di, Bingsheng He, Hai Jin, Lu Lu, Zhixiang Wang, Xuan Luo, Jianlong Zhong |
Optimization of asynchronous graph processing on GPU with hybrid coloring model Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Low-overhead software transactional memory with progress guarantees and strong semantics Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond |
Low-overhead software transactional memory with progress guarantees and strong semantics 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
|
|
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 |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Fence placement for legacy data-race-free programs via synchronization read detection Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra |
Fence placement for legacy data-race-free programs via synchronization read detection Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
SemCache++: semantics-aware caching for efficient multi-GPU offloading Nabeel AlSaber, Milind Kulkarni |
SemCache++: semantics-aware caching for efficient multi-GPU offloading Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
High performance locks for multi-level NUMA systems Milind Chabbi, Michael W. Fagan, John M. Mellor-Crummey |
High performance locks for multi-level NUMA systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Towards batched linear solvers on accelerated hardware platforms Azzam Haidar, Tingxing Dong, Piotr Luszczek, Stanimire Tomov, Jack J. Dongarra |
Towards batched linear solvers on accelerated hardware platforms Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The lock-free k-LSM relaxed priority queue Martin Wimmer, Jakob Gruber, Jesper Larsson Träff, Philippas Tsigas |
The lock-free k-LSM relaxed priority queue Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
NUMA-aware graph-structured analytics Kaiyuan Zhang, Rong Chen, Haibo Chen |
NUMA-aware graph-structured analytics 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
|