ACM SIGPLAN Symposium on Principles and Practice of Parallel Prog., PPoPP 2016


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

Keep calm and react with foresight: strategies for low-latency and energy-efficient elastic data stream processing

Tiziano De Matteis, Gabriele Mencagli

Keep calm and react with foresight: strategies for low-latency and energy-efficient elastic data stream processing

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
Discussion Comments: 0
Verification: Authors have not 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

Distributed Halide

Tyler Denniston, Shoaib Kamil, Saman P. Amarasinghe

Distributed Halide

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

Effect of portable fine-grained locality on energy efficiency and performance in concurrent search trees

Ibrahim Umar, Otto J. Anshus, Phuong Hoai Ha

Effect of portable fine-grained locality on energy efficiency and performance in concurrent search trees

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

GPU multisplit

Saman Ashkiani, Andrew A. Davidson, Ulrich Meyer, John D. Owens

GPU multisplit

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

AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs

Rezaul Alam Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang

AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic 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

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

Adding approximate counters

Guy L. Steele Jr., Jean-Baptiste Tristan

Adding approximate counters

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

Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences

Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond

Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences

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

Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency

Mingzhe Zhang, Francis C. M. Lau, Cho-Li Wang, Luwei Cheng, Haibo Chen

Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency

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