ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
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
Discussion Comments: 0
Verification: Authors have not 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

Decoupled load balancing

Olga Pearce, Todd Gamblin, Bronis R. de Supinski, Martin Schulz, Nancy M. Amato

Decoupled load balancing

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

Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency

Yuan Tang, Ronghui You, Haibin Kan, Jesmin Jahan Tithi, Pramod Ganapathi, Rezaul Alam Chowdhury

Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency

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

Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly

Loïc Thébault, Eric Petit, Quang Dinh

Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly

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

More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms

Vincent Gramoli

More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms

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