PPoPP 2019
Sat 16 - Wed 20 February 2019
Washington, DC, United States
Toggle navigation
Attending
Venue: Marriott Marquis
Registration
Visa Information
Sponsoring
Program
Complete Program
Your Program
Sat 16 Feb
Sun 17 Feb
Mon 18 Feb
Tue 19 Feb
Wed 20 Feb
Tracks
PPoPP 2019
Main Conference
Posters
Workshops and Tutorials
Co-located Conferences
Workshops
PMAM
WPMVP
Organization
PPoPP 2019
Program Committee
Organizing Committee
Extended Review Committee
Artifact Evaluation Committee
Steering Committee
Contributors
People Index
Workshops
PMAM
Not available
WPMVP
Organizing Committee
Program Committee
Search
Series
Series
PPoPP 2021
PPoPP 2020
PPoPP 2019
PPoPP 2018
PPoPP 2017
PPoPP 2016
PPoPP 2015
PPoPP 2014
PPoPP 2013
PPoPP 2012
PPoPP 2011
PPoPP 2010
PPoPP 2009
Sign in
Sign up
PPoPP 2019
(
series
) /
Marriott Marquis
/
Room information: Salon 12/13
Venue
Marriott Marquis
Room name
Salon 12/13
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Greenwich Mean Time : Belfast
(GMT) Greenwich Mean Time : Dublin
(GMT) Greenwich Mean Time : Lisbon
(GMT) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Mon 18 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
09:35 - 10:25: Session 1: Big Data
Main Conference
at
Salon 12/13
Chair(s):
Roberto Palmieri
Lehigh University
09:35 - 10:00
Talk
Beyond Human-Level Accuracy: Computational Challenges in Deep Learning
Main Conference
Joel Hestness
Baidu Research
,
Newsha Ardalani
Baidu Research
,
Gregory Diamos
Baidu Research
DOI
10:00 - 10:25
Talk
S-EnKF: Co-designing for Scalable Ensemble Kalman Filter
Main Conference
Junmin Xiao
,
Shijie Wang
Institute of Computing Technology, Chinese Academy of Sciences
,
Weiqiang Wan
Institute of Computing Technology, Chinese Academy of Sciences
,
Xuehai Hong
Institute of Computing Technology, Chinese Academy of Sciences
,
Guangming Tan
Chinese Academy of Sciences(CAS)
DOI
10:55 - 12:35: Session 2: Heterogeneous Platforms and GPU
Main Conference
at
Salon 12/13
Chair(s):
Xu Liu
College of William and Mary
10:55 - 11:20
Talk
Throughput-Oriented GPU Memory Allocation
Main Conference
Isaac Gelado
NVIDIA
,
Michael Garland
NVIDIA Research
DOI
11:20 - 11:45
Talk
SEP-Graph: Finding Shortest Execution Paths for Graph Processing under a Hybrid Framework on GPU
Main Conference
Hao Wang
The Ohio State University, USA
,
Liang Geng
The Ohio State University, USA
,
Rubao Lee
United Parallel Computing Corporation, USA
,
Kaixi Hou
Virginia Tech, USA
,
Yanfeng Zhang
,
Xiaodong Zhang
The Ohio State University, USA
DOI
11:45 - 12:10
Talk
Incremental Flattening for Nested Data Parallelism
Main Conference
Troels Henriksen
University of Copenhagen, Denmark
,
Frederik Thorøe
DIKU, University of Copenhagen
,
Martin Elsman
University of Copenhagen, Denmark
,
Cosmin Oancea
University of Copenhagen, Denmark
DOI
12:10 - 12:35
Talk
Adaptive Sparse Matrix-Matrix Multiplication on the GPU
Main Conference
Martin Winter
Graz University of Technology, Austria
,
Daniel Mlakar
Graz University of Technology, Austria
,
Rhaleb Zayer
Max Planck Institute for Informatics
,
Hans-Peter Seidel
Max Planck Institute for Informatics
,
Markus Steinberger
Graz University of Technology, Austria
DOI
14:00 - 15:40: Session 3: Transactional Memory
Main Conference
at
Salon 12/13
Chair(s):
Milind Chabbi
Uber Technologies
14:00 - 14:25
Talk
Modular Transactions: Bounding Mixed Races in Space and Time
Main Conference
Brijesh Dongol
University of Surrey
,
Radha Jagadeesan
DePaul University
,
James Riely
DePaul University
DOI
14:25 - 14:50
Talk
Leveraging Hardware TM in Haskell
Main Conference
Ryan Yates
,
Michael Scott
University of Rochester
DOI
Authorizer link
File Attached
14:50 - 15:15
Talk
Stretching the capacity of Hardware Transactional Memory in IBM POWER architectures
Main Conference
Ricardo Jorge Duarte Filipe
,
Shady Issa
INESC-ID
,
João Barreto
INESC-ID
,
Paolo Romano
University of Lisbon, Portugal
DOI
15:15 - 15:40
Talk
Processing Transactions in a Predefined Order
Main Conference
Mohamed M. Saad
Virginia Tech
,
Masoomeh Javidi Kishi
Lehigh University
,
Shihao Jing
Lehigh University
,
Sandeep Hans
IBM India Research Lab
,
Roberto Palmieri
Lehigh University
DOI
16:10 - 17:00: Session 4: GPU B-Trees
Main Conference
at
Salon 12/13
Chair(s):
Ang Li
Pacific Northwest National Laboratory
16:10 - 16:35
Talk
Harmonia: A High Throughput B+tree for GPUs
Main Conference
Zhaofeng Yan
Fudan University
,
Yuzhe Lin
Fudan University
,
Lu Peng
,
Weihua Zhang
Fudan University
DOI
16:35 - 17:00
Talk
Engineering a High-Performance GPU B-Tree
Main Conference
Muhammad Awad
,
Saman Ashkiani
University of California, Davis
,
Rob Johnson
VMWare Research
,
Martin Farach-Colton
Rutgers University
,
John D. Owens
University of California, Davis
DOI
17:00 - 18:00: Business Meeting
Main Conference
at
Salon 12/13
Tue 19 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
09:35 - 10:25: Session 5, Performance
Main Conference
at
Salon 12/13
Chair(s):
Cosmin Oancea
University of Copenhagen, Denmark
09:35 - 10:00
Talk
QTLS: High-Performance TLS Asynchronous Offload Framework with Intel® QuickAssist Technology
Main Conference
Xiaokang Hu
Shanghai Jiao Tong University
,
Changzheng Wei
Intel Asia-Pacific Research and Development Ltd.
,
Li Jian
,
Brian Will
Intel Corporation
,
Ping Yu
Intel Asia-Pacific Research and Development Ltd.
,
Lu Gong
Intel Asia-Pacific Research and Development Ltd.
,
Haibing Guan
Shanghai Jiao Tong University
DOI
10:00 - 10:25
Talk
Data-Flow/Dependence Profiling for Structured Transformations
Main Conference
Fabian Gruber
Université Grenoble Alpes / INRIA Grenoble Rhônes-Alpes
,
Manuel Selva
Université Grenoble Alpes
,
Diogo Sampaio
Inria
,
Christophe Guillon
STMicroelectronics
,
Antoine Moynault
STMicroelectronics
,
Louis-Noël Pouchet
Colorado State University
,
Fabrice Rastello
INRIA
DOI
10:55 - 12:35: Session 6, Best Paper Candidates
Main Conference
at
Salon 12/13
Chair(s):
Rudolf Eigenmann
University of Delaware
10:55 - 11:20
Talk
Lightweight Hardware Transactional Memory Profiling
Main Conference
Qingsen Wang
College of William and Mary
,
Pengfei Su
College of William and Mary
,
Milind Chabbi
Uber Technologies
,
Xu Liu
College of William and Mary
DOI
11:20 - 11:45
Talk
A Pattern Based Algorithmic Autotuner for Graph Processing on GPUs
Main Conference
Ke Meng
,
Jiajia Li
Georgia Institute of Technology, Pacific Northwest National Laboratory
,
Guangming Tan
Chinese Academy of Sciences(CAS)
,
Ninghui Sun
State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, University of Chinese Academy of Sciences
DOI
11:45 - 12:10
Talk
Provably and Practically Efficient Granularity Control
Main Conference
Umut A. Acar
Carnegie Mellon University
,
Vitaly Aksenov
Inria & ITMO University
,
Arthur Charguéraud
Inria
,
Mike Rainey
Indiana University, USA
DOI
12:10 - 12:35
Talk
A Coordinated Tiling and Batching Framework for Efficient GEMM on GPUs
Main Conference
Xiuhong Li
Peking University
,
Eric Liang
Peking University
,
Shengen Yan
SenseTime
,
Jia Liancheng
Peking University
,
Yinghan Li
SenseTime
DOI
14:00 - 15:15: Session 7: Scheduling
Main Conference
at
Salon 12/13
Chair(s):
Jidong Zhai
Tsinghua University
14:00 - 14:25
Talk
Semantics-Aware Scheduling Policies for Synchronization Determinism
Main Conference
Qi Zhao
North Carolina State University
,
Zhengyi Qiu
North Carolina State University
,
Guoliang Jin
North Carolina State University
DOI
14:25 - 14:50
Talk
Proactive Work Stealing for Futures
Main Conference
Kyle Singer
Washington University in St. Louis
,
Yifan Xu
Washington University in St. Louis
,
I-Ting Angelina Lee
Washington University in St. Louis
DOI
14:50 - 15:15
Talk
A Round-Efficient Distributed Betweenness Centrality Algorithm
Main Conference
Loc Hoang
University of Texas at Austin, USA
,
Matteo Pontecorvi
Nokia Bell Labs
,
Roshan Dathathri
University of Texas at Austin, USA
,
Gurbinder Gill
University of Texas at Austin, USA
,
Bozhi You
Xi'an Jiaotong University
,
Keshav Pingali
University of Texas at Austin, USA
,
Vijaya Ramachandran
University of Texas at Austin
DOI
15:45 - 16:35: Session 8: HPC
Main Conference
at
Salon 12/13
Chair(s):
I-Ting Angelina Lee
Washington University in St. Louis
15:45 - 16:10
Talk
Corrected Trees for Reliable Group Communication
Main Conference
Martin Küttler
TU Dresden
,
Maksym Planeta
TU Dresden, Germany
,
Jan Bierbaum
TU Dresden
,
Carsten Weinhold
TU Dresden
,
Hermann Härtig
TU Dresden
,
Amnon Barak
The Hebrew University of Jerusalem
,
Torsten Hoefler
ETH Zurich
DOI
16:10 - 16:35
Talk
Adaptive Sparse Tiling for Sparse Matrix Multiplication
Main Conference
Changwan Hong
,
Aravind Sukumaran-Rajam
Ohio State University, USA
,
Israt Nisa
,
Kunal Singh
The Ohio State University
,
P. Sadayappan
Ohio State University
DOI
Wed 20 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
09:35 - 10:50: Session 9: Synchronization
Main Conference
at
Salon 12/13
Chair(s):
Erez Petrank
Technion
09:35 - 10:00
Talk
Encapsulated Open Nesting for STM: Fine-Grained Higher-Level Conflict Detection
Main Conference
Martin Bättig
Department of Computer Science, ETH Zurich
,
Thomas Gross
ETH Zurich
DOI
10:00 - 10:25
Talk
A Specialized B-Tree for Concurrent Datalog Evaluation
Main Conference
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
,
David Zhao
The University of Sydney
,
Bernhard Scholz
University of Sydney, Australia
DOI
10:25 - 10:50
Talk
Efficient Race Detection with Futures
Main Conference
Robert Utterback
Monmouth College
,
Kunal Agrawal
Washington University in St. Louis
,
Jeremy Fineman
,
I-Ting Angelina Lee
Washington University in St. Louis
DOI
11:20 - 12:35: Session 10: Verification
Main Conference
at
Salon 12/13
Chair(s):
Michael Lam
James Madison University
11:20 - 11:45
Talk
Verifying C11 Programs Operationally
Main Conference
Simon Doherty
University of Sheffield
,
Brijesh Dongol
University of Surrey
,
Heike Wehrheim
Paderborn University
,
John Derrick
University of Sheffield
DOI
11:45 - 12:10
Talk
Checking Linearizability Using Hitting Families
Main Conference
Burcu Kulahcioglu Ozkan
MPI-SWS, Germany
,
Rupak Majumdar
MPI-SWS, Germany
,
Filip Niksic
University of Pennsylvania
DOI
12:10 - 12:35
Talk
Transitive Joins: A Sound and Efficient Online Deadlock-Avoidance Policy
Main Conference
Caleb Voss
Georgia Institute of Technology
,
Tiago Cogumbreiro
University of Massachusetts Boston
,
Vivek Sarkar
Rice University, USA
DOI
12:35 - 13:00: Best Paper Award and Closing
Main Conference
at
Salon 12/13
Mon 18 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Salon 12/13
Main Conference
Session 1: Big Data
Main Conference
Session 2: Heterogeneous Platforms and GPU
Main Conference
Session 3: Transactional Memory
Main Conference
Session 4: GPU B-Trees
Main Conference
Business Meeting
Tue 19 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Salon 12/13
Main Conference
Session 5, Performance
Main Conference
Session 6, Best Paper Candidates
Main Conference
Session 7: Scheduling
Main Conference
Session 8: HPC
Wed 20 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Salon 12/13
Main Conference
Session 9: Synchronization
Main Conference
Session 10: Verification
Main Conference
Best Paper Award and Closing
Mon 18 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Salon 12/13
PPoPP Main Conference
Beyond Human-Level Accuracy: Computational Challenges in Deep Learning
09:35 - 10:00
PPoPP Main Conference
S-EnKF: Co-designing for Scalable Ensemble Kalman Filter
10:00 - 10:25
PPoPP Main Conference
Throughput-Oriented GPU Memory Allocation
10:55 - 11:20
PPoPP Main Conference
SEP-Graph: Finding Shortest Execution Paths for Graph Processing under ...
11:20 - 11:45
PPoPP Main Conference
Incremental Flattening for Nested Data Parallelism
11:45 - 12:10
PPoPP Main Conference
Adaptive Sparse Matrix-Matrix Multiplication on the GPU
12:10 - 12:35
PPoPP Main Conference
Modular Transactions: Bounding Mixed Races in Space and Time
14:00 - 14:25
PPoPP Main Conference
Leveraging Hardware TM in Haskell
14:25 - 14:50
PPoPP Main Conference
Stretching the capacity of Hardware Transactional Memory in IBM POWER a ...
14:50 - 15:15
PPoPP Main Conference
Processing Transactions in a Predefined Order
15:15 - 15:40
PPoPP Main Conference
Harmonia: A High Throughput B+tree for GPUs
16:10 - 16:35
PPoPP Main Conference
Engineering a High-Performance GPU B-Tree
16:35 - 17:00
Tue 19 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Salon 12/13
PPoPP Main Conference
QTLS: High-Performance TLS Asynchronous Offload Framework with Intel® Q ...
09:35 - 10:00
PPoPP Main Conference
Data-Flow/Dependence Profiling for Structured Transformations
10:00 - 10:25
PPoPP Main Conference
Lightweight Hardware Transactional Memory Profiling
10:55 - 11:20
PPoPP Main Conference
A Pattern Based Algorithmic Autotuner for Graph Processing on GPUs
11:20 - 11:45
PPoPP Main Conference
Provably and Practically Efficient Granularity Control
11:45 - 12:10
PPoPP Main Conference
A Coordinated Tiling and Batching Framework for Efficient GEMM on GPUs
12:10 - 12:35
PPoPP Main Conference
Semantics-Aware Scheduling Policies for Synchronization Determinism
14:00 - 14:25
PPoPP Main Conference
Proactive Work Stealing for Futures
14:25 - 14:50
PPoPP Main Conference
A Round-Efficient Distributed Betweenness Centrality Algorithm
14:50 - 15:15
PPoPP Main Conference
Corrected Trees for Reliable Group Communication
15:45 - 16:10
PPoPP Main Conference
Adaptive Sparse Tiling for Sparse Matrix Multiplication
16:10 - 16:35
Wed 20 Feb
Times are displayed in time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Salon 12/13
PPoPP Main Conference
Encapsulated Open Nesting for STM: Fine-Grained Higher-Level Conflict D ...
09:35 - 10:00
PPoPP Main Conference
A Specialized B-Tree for Concurrent Datalog Evaluation
10:00 - 10:25
PPoPP Main Conference
Efficient Race Detection with Futures
10:25 - 10:50
PPoPP Main Conference
Verifying C11 Programs Operationally
11:20 - 11:45
PPoPP Main Conference
Checking Linearizability Using Hitting Families
11:45 - 12:10
PPoPP Main Conference
Transitive Joins: A Sound and Efficient Online Deadlock-Avoidance Policy
12:10 - 12:35
x
Sun 7 Mar 19:11