Program

The program for PPoPP has been finalized and the schedule is shown below.

The proceedings for PPoPP 2015 are available for free for one year through the links at this page.

The proceedings for PPoPP 2015 are also directly available in the ACM Digital Library.

The program is also available via Google Calendar.

The program is also available in a mobile optimized format via Confero

Sunday February 8

18:00-20:00 Welcome Reception and Poster Session

Monday February 9

8:30-8:50 Conference Opening (Joint with CGO/HPCA)
8:50-10:00 Keynote Talk: Computing in a Persistent (Memory) World (Joint with CGO/HPCA)
10:00-10:20 Break
10:20-12:00 Research Papers: Concurrency
Session Chair: Thomas Gross (ETH Zurich)
  • More Than You Ever Wanted to Know about Synchronization: Synchrobench, Measuring the Impact of the Synchronization on Concurrent Algorithms – Vincent Gramoli
  • The SprayList: A Scalable Relaxed Priority Queue – Dan Alistarh, Justin Kopinsky, Jerry Li, Nir Shavit
  • Predicate RCU: An RCU for Scalable Concurrent Updates – Maya Arbel, Adam Morrison
  • Automatic Scalable Atomicity via Semantic Locking – Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
12:00-13:30 Lunch
13:30-14:45 Research Papers: Code Generation
Session Chair: Peng Wu (Huawei)
  • A Framework for Practical Parallel Fast Matrix Multiplication – Austin Benson, Grey Ballard
  • Pluto+: Near-Complete Modeling of Affine Transformations for Parallelism and Locality – Aravind Acharya, Uday Bondhugula
  • Distributed Memory Code Generation for Mixed Irregular/Regular Computations – Mahesh Ravishankar, Roshan Dathatri, Venmugil Elango, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, P. Sadayappan
14:45-15:10 Break
15:10-16:25 Research Papers: Transactional Memory
Session Chair: Jose Moreira (IBM Research)
  • Software Partitioning of Hardware Transactions – Lingxiang Xiang, Michael L. Scott
  • Performance Implications of Dynamic Memory Allocators on Transactional Memory Systems – Alexandro Baldassin, Edson Borin, Guido Araujo
  • Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics – Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond
16:25-17:15 Break
17:15-17:45 Artifact Evaluation Discussion (Joint with CGO)

Tuesday February 10

8:25-9:40 Research Papers: Large Scale Parallelism
Session Chair: Olivier Tardieu (IBM Research)
  • Barrier Elision for Production Parallel Programs – Milind Chabbi, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John Mellor-Crummey, Costin Iancu
  • Scalable and Efficient Implementation of 3D Unstructured Meshes Computation: A Case Study on Matrix Assembly – Loïc Thebault, Eric Petit, Quang Dinh
  • 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
9:40-10:05 Break
10:05-11:45 Research Papers: Verification and Accelerators
Session Chair: Calin Cascaval (Qualcomm)
  • A Parallel Algorithm for Global States Enumeration in Concurrent Systems – Yen-Jung Chang, Vijay K. Garg
  • Dynamic Deadlock Verification for General Barrier Synchronisation – Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
  • VirtCL: A Framework for OpenCL Device Abstraction and Management – Yi-Ping You, Hen-Jung Wu, Yen-Ning Tsai, Yen-Ting Chao
  • On Optimizing Machine Learning Workloads via Kernel Fusion – Arash Ashari, Shirish Tatikonda, Matthias Boehm, Berthold Reinwald, Keith Campbell, John Keenleyside, P. Sadayappan
11:45-13:15 Lunch
13:15-14:25 Keynote Talk: A New Architecture for Brain-inspired Computing (Joint with CGO/HPCA)
14:25-14:45 Break
14:45-16:00 Research Papers: Algorithms
Session Chair: Jeremy Fineman (Georgetown University)
  • NUMA-aware Graph-structured Analytics – Kaiyuan Zhang, Rong Chen, Haibo Chen
  • SYNC or ASYNC: Time to Fuse for Distributed Graph-parallel Computation – Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, Haibo Chen
  • Cache-Oblivious Wavefront: Improving Parallelism of Recursive Dynamic Programming Algorithms without Losing Cache-Efficiency – Yuan Tang, Ronghui You, Haibin Kan, Rezaul A. Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi
16:00-onward Excursion

Wednesday February 11

8:15-9:25 Keynote Talk: LIQUi|>: Simulation and Compilation of Quantum Algorithms (Joint with CGO/HPCA)
9:25-9:40 Break
9:40-10:55 Research Papers: Locking and Locality
  • High Performance Locks for Multi-level NUMA Systems – Milind Chabbi, Michael Fagan, John Mellor-Crummey
  • A Library for Portable and Composable Data Locality Optimizations for NUMA Systems – Zoltan Majo, Thomas R. Gross
  • MPI+Threads: Runtime Contention and Remedies – Abdelhalim Amer, Huiwei Lu, Yanjie Wei, Pavan Balaji, Satoshi Matsuoka
10:55-11:00 Closing Remarks
11:00-11:15 Break

Poster Session Posters

  • Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection – Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, and Marcelo Cintra
  • JAWS: A JavaScript Framework for Adaptive CPU-GPU Work Sharing – Xianglan Piao, Channoh Kim, Younghwan Oh, Huiying Li, Jin Cheon Kim, Hanjun Kim, and Jae W. Lee
  • GStream: A Graph Streaming Processing Method for Large-Scale Graphs on GPUs – Hyunseok Seo, Jinwook Kim, and Min-Soo Kim
  • SemCache++: Semantics-Aware Caching for Efficient Multi-GPU Offloading – Nabeel AlSaber and Milind Kulkarni
  • An OpenACC-Based Unified Programming Model for Multi-accelerator Systems – Jungwon Kim, Seyong Lee, and Jeffrey S. Vetter
  • The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing – Paul Thomson and Alastair F. Donaldson
  • Towards Batched Linear Solvers on Accelerated Hardware Platforms – Azzam Haidar, Tingxing Dong, Piotr Luszczek, Stanimire Tomov, and Jack Dongarra
  • A Collection-Oriented Programming Model for Performance Portability – Saurav Muralidharan, Michael Garland, Bryan Catanzaro, Albert Sidelnik, and Mary Hall
  • Gunrock: A High-Performance Graph Processing Library on the GPU – Yangzihao Wang, Andrew Davidson, Yuechao Pan, Yuduo Wu, Andy Riffel, and John D. Owens
  • Decoupled Load Balancing – Olga Pearce, Todd Gamblin, Bronis R. de Supinski, Martin Schulz, and Nancy M. Amato
  • 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, and Scott Klasky
  • 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, and Jianlong Zhong
  • Efficient and Reasonable Object-Oriented Concurrency – Scott West, Sebastian Nanz, and Bertrand Meyer
  • A Programming Model and Runtime System for Significance-Aware Energy-Efficient Computing – Vassilis Vassiliadis, Konstantinos Parasyris, Charalampos Chalios, Christos D. Antonopoulos, Spyros Lalis, Nikolaos Bellas, Hans Vandierendonck, and Dimitrios S. Nikolopoulos
  • The Lock-Free k-LSM Relaxed Priority Queue – Martin Wimmer, Jakob Gruber, Philippas Tsigas, and Jesper Larsson Träff
  • Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context – Emmanuelle Saillard, Patrick Carribault, and Denis Barthou
  • CASTLE: Fast Concurrent Internal Binary Search Tree using Edge-Based Locking – Arunmoezhi Ramachandran and Neeraj Mittal
  • Section Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication – Madan Das, Gabriel Southern, and Jose Renau
  • A Hierarchical Approach to Reducing Communication in Parallel Graph Algorithms – Harshvardhan, Nancy M. Amato, and Lawrence Rauchwerger
  • Precise GPU Race Detection without Access Monitoring – Pengcheng Li, Hao Luo, Xiaoyu Hu, Chen Ding, and Eddy Z.Zhang
  • Tiles: A New Language Mechanism for Heterogeneous Parallelism – Yifeng Chen, Xiang Cui, and Hong Mei
  • Are Web Applications Ready for Parallelism? – Cosmin Radoi, Stephan Herhut, Jaswanth Sreeram, and Danny Dig

News

Important Dates

  • Conference: Feb 9-11, 2015
  • W&T: Feb 7-8, 2015
  • Early registration: Jan 11, 2015
  • Travel grant: Jan 9, 2015
  • Camera ready: Dec 15, 2014
  • Paper Notification: Nov 10, 2014
  • Author response: Oct 28-30, 2014
  • W&T notification: Oct 1, 2014
  • W&T proposal: Sep 15, 2014
  • Paper submission: Sep 12, 2014
  • Paper registration: Sep 5, 2014

Sponsors