Main conferencePPoPP 2016

Main track of the conference. Please, have a look at the Call for Papers and Call for Workshops and Tutorial tabs.

Accepted Papers

	Title
	Adding Approximate Counters Main conference Guy L. Steele Jr., Jean-Baptiste Tristan Link to publication DOI
	A High-Performance Parallel Algorithm for Nonnegative Matrix Factorization Main conference Ramakrishnan Kannan, Grey Ballard, Haesun Park Link to publication DOI
	Articulation Point Guided Redundancy Elimination for Betweenness Centrality Main conference Lei Wang, Fan Yang, Liangji Zhuang, Huimin Cui, Fang Lv, Xiaobing Feng Link to publication DOI
	Autogen: Automatic Discovery of Cache-Oblivious Parallel Recursive Algorithms for Solving Dynamic Programs Main conference Rezaul Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang Link to publication DOI
	A Wait-Free Queue as Fast as Fetch-and-Add Main conference Chaoran Yang, John Mellor-Crummey Link to publication DOI
	Be My Guest - MCS Lock Now Welcomes Guests Main conference Tianzheng Wang, Milind Chabbi, Hideaki Kimura Link to publication DOI
	Benchmarking Weak Memory Models Main conference Carl Ritson, Scott Owens Link to publication DOI
	Causal Consistency: Beyond Memory Main conference Matthieu Perrin, Achour Mostefaoui, Claude Jard Link to publication DOI
	Coarse Grain Parallelization of Deep Neural Networks Main conference Marc Gonzalez Tallada Link to publication DOI
	Contention-Conscious, Locality-Preserving Locks Main conference Milind Chabbi, John Mellor-Crummey Link to publication DOI
	Declarative Coordination of Graph-Based Parallel Programs Main conference Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein Link to publication DOI
	Distributed Halide Main conference Tyler Denniston, Shoaib Kamil, Saman Amarasinghe Link to publication DOI
	DomLock: A New Multi-Granularity Locking Technique for Hierarchies Main conference Saurabh Kalikar, Rupesh Nasre Link to publication DOI
	Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences Main conference Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond Link to publication DOI
	ESTIMA: Extrapolating ScalabiliTy of In-Memory Applications Main conference Georgios Chatzopoulos, Aleksandar Dragojević, Rachid Guerraoui Link to publication DOI
	Exploiting Accelerators for Efficient High Dimensional Similarity Search Main conference Sandeep Agrawal, Christopher Michael Dee, Alvin R. Lebeck Link to publication DOI
	GPU Multisplit Main conference Saman Ashkiani, Andrew Davidson, Ulrich Meyer, John D. Owens Link to publication DOI
	Grain Graphs: OpenMP Performance Analysis Made Easy Main conference Ananya Muddukrishna, Peter A. Jonsson, Artur Podobas, Mats Brorsson Link to publication DOI
	Gunrock: A High-Performance Graph Processing Library on the GPU Main conference Yangzihao Wang, Andrew Davidson, Yuechao Pan, Yuduo Wu, Andy Riffel, John D. Owens Link to publication DOI
	High Performance Model Based Image Reconstruction Main conference Xiao Wang, Amit Sabne, Sherman Kisner, Anand Raghunathan, Charles Bouman, Samuel Midkiff Link to publication DOI
	Keep Calm and React with Foresight: Strategies for Low-Latency and Energy-Efficient Elastic Data Stream Processing Main conference Tiziano De Matteis, Gabriele Mencagli Link to publication DOI
	Lease/Release: Architectural Support for Scaling Contended Data Structures Main conference Syed Kamran Haider, William Hasenplaugh, Dan Alistarh Link to publication DOI
	Multi-Core On-The-Fly SCC Decomposition Main conference Vincent Bloemen, Alfons Laarman, Jaco van de Pol Link to publication DOI
	Optimistic Concurrency with OPTIK Main conference Rachid Guerraoui, Vasileios Trigonakis Link to publication DOI
	Parallel Type-checking with Haskell using Saturating LVars and Stream Generators Main conference Ryan R. Newton, Omer S. Agacan, Peter Fogg, Sam Tobin-Hochstadt Link to publication DOI
	Production-guided Concurrency Debugging Main conference Nuno Machado, Brandon Lucia, Luís Rodrigues Link to publication DOI
	Refined Transactional Lock Elision Main conference Dave Dice, Alex Kogan, Yossi Lev Link to publication DOI
	The Virtues of Conflict: Analysing Modern Concurrency Main conference Ganesh Narayanswamy, Saurabh Joshi, Daniel Kroening Link to publication DOI
	Work Stealing for Interactive Services to Meet Target Latency Main conference Jing Li, Kunal Agrawal, Sameh Elnikety, Yuxiong He, I-Ting Angelina Lee, Chenyang Lu, Kathryn S McKinley Link to publication DOI

Call for Workshops and Tutorials

We are soliciting proposals of workshops and tutorials that fall into the general scope of PPoPP. Workshops and tutorials will be held on Saturday–Sunday, March 12–13, 2016 and may be a half day or a full day in length. We encourage members of the community to consider submitting proposals for workshops that bring together researchers and practitioners working on research topics of significant current interest, as well as workshops that bring together researchers and practitioners working in particular areas. Specific topics of interest include (but are not limited to):

• Compilers and runtime systems for parallel and heterogeneous systems
• Concurrent data structures
• Development, analysis, or management tools
• Fault tolerance for parallel systems
• Formal analysis and verification
• High-performance / scientific computing
• Middleware for parallel systems
• Parallel algorithms
• Parallel applications and frameworks
• Parallel programming languages
• Parallel programming theory and models
• Parallelism in non-scientific workloads: web, search, analytics, cloud
• Performance analysis, debugging and optimization
• Programming tools for parallel and heterogeneous systems
• Software engineering for parallel programs
• Software for heterogeneous architectures
• Software productivity for parallel programming
• Synchronization and concurrency control
• Task-parallel libraries

Important dates

In order to encourage early organization, workshops will be selected in an ongoing basis.

• Proposal submission deadline: September 14, 2015
• Notification of acceptance: 2 weeks after submission (latest: September 30, 2015).
• Workshop/tutorial date: March 12–13, 2016

Proposals

Please submit your proposals to https://easychair.org/conferences/?conf=ppopp2016-wt. All proposals need to include the following information in a short pdf (1-3 pages):

• Workshop program
• Sample call for papers, including the workshop title, the scope, the format (e.g., keynote, panel discussion, etc) and the main topics of the workshop
• Any invited or keynote speakers
• Organizers bio and affiliation and a tentative list of PC members
• Where the selected papers will be published
• Tutorial program
• The title and abstract of the tutorial
• An outline of tutorial content and objectives
• Prerequisite knowledge
• A biography of the tutorial organizers and relevant experiences on the topic
• The expected number of participants and duration of the program, i.e., 1/2 day or full day
• Advertisement: how do you plan to solicit participation to your program (e.g., via social media communities, workshop/tutorial website, mailing lists etc)
• Past workshop/tutorials on the same topic (if any): include information on the last workshop/tutorial of the same topic held in this or other conferences such as the year it was held and the number of attendees. For workshop, please also include the number of submissions and published papers. A link to past workshop/tutorial would be very helpful too.

The workshop proposals will be evaluated by a committee comprising the following members of the PPoPP 2016 organizing committee: General Chair (Rafael Asenjo), Program Chair (Tim Harris), Workshops and Tutorials Chairs (Mikel Luján, Javier Navaridas).

For more information, please contact the tutorial & workshop co-chairs Mikel Luján (mikel.lujan@manchester.ac.uk) or Javier Navaridas (javier.navaridas@manchester.ac.uk).

Call for Papers

Specific topics of interest include (but are not limited to):

• Compilers and runtime systems for parallel and heterogeneous systems
• Concurrent data structures
• Development, analysis, or management tools
• Fault tolerance for parallel systems
• Formal analysis and verification
• High-performance / scientific computing
• Middleware for parallel systems
• Parallel algorithms
• Parallel applications and frameworks
• Parallel programming languages
• Parallel programming theory and models
• Parallelism in non-scientific workloads: web, search, analytics, cloud
• Performance analysis, debugging and optimization
• Programming tools for parallel and heterogeneous systems
• Software engineering for parallel programs
• Software for heterogeneous architectures
• Software productivity for parallel programming
• Synchronization and concurrency control

Papers should report on original research relevant to parallel programming, and should contain enough background materials to make them accessible to the entire parallel programming research community.

Papers describing experience should indicate how they illustrate general principles; papers about parallel programming foundations should indicate how they relate to practice. Poster submissions should meet similar criteria for originality and relevance, but may present emerging ideas or results that are not yet sufficiently developed for a full paper.

PPoPP 2016 will be in Barcelona, 12-18 March 2016. It will be co-located with HPCA 2016, CGO 2016, and LLVM 2016. Authors should carefully consider the difference in focus of the conferences when deciding where to submit a paper.

Submissions

All submissions must be made electronically through the conference submission site. Abstracts must include contact information, the full list of authors and their affiliations, and a description of the anticipated content of the paper (100-400 words). Full paper submissions must be in PDF formatted for US letter size paper. They must not exceed 10 pages (all inclusive) in standard SIGPLAN two-column conference format (preprint mode, with page numbers). Templates for the SIGPLAN format are available for Microsoft Word, and LaTeX at http://www.sigplan.org/Resources/Author/ (use the 9 pt template, and do not adjust any margins, line spacing, etc.). Over-length submissions will not be accepted. Submissions will be judged on correctness, relevance, originality, significance, and clarity. We anticipate selecting best paper and best student paper awards.

Paper submission is double-blind to reduce reviewer bias against or for authors or institutions. Thus, the submissions cannot include author names, institutions or hints based on references to prior work. If authors are extending their own work, they need to reference and discuss the past work in third person, as if they were extending someone else’s research. We realize that for some papers it will still reveal authorship, but as long as an effort was made to follow these guidelines, the submission will not be penalized. Authors must identify any conflicts of interest with PC members and external review committee members, as defined here: http://www.sigplan.org/Resources/Policies/Review/ (ACM SIGPLAN policy).

Poster submissions must conform to the same format restrictions, but may not exceed 2 pages in length. Paper submissions that are not accepted for regular presentations will automatically be considered for posters; authors who do not want their paper considered for the poster session should indicate this in their abstract submission. Two-page summaries of posters will be included in the conference proceedings.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

Artifact evaluation

Last year, PPoPP 2015 successfully ran artifact evaluation process for the first time. PPoPP 2016 continues this experiment. Authors of accepted papers will be invited to formally submit their supporting materials to the Artifact Evaluation process. The Artifact Evaluation process is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Further information is available on the PPoPP AEC web page. Authors of accepted papers are encouraged (but not obliged) to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

• PPoPP 2015 (San Francisco, California)
• PPoPP 2014 (Orlando, Florida)
• PPoPP 2013 (Shenzhen, China)
• PPoPP 2012 (New Orleans, Louisiana)
• PPoPP 2011 (San Antonio, Texas)
• PPoPP 2010 (Bangalore, India)
• PPoPP 2009 (Raleigh, North Carolina)
• PPoPP 2008 (Salt Lake City, Utah)
• PPoPP 2007 (San Jose, California)
• PPoPP 2006 (New York City, New York)
• PPoPP 2005 (Chicago, Illinois)
• PPoPP 2003 (San Diego, California)
• PPoPP 2001 (Snowbird, Utah)
• PPoPP 1999 (Atlanta, Georgia)