PPoPP 2019
Sat 16 - Wed 20 February 2019
Washington, DC, United States
Toggle navigation
Attending
Venue: Marriott Marquis
Registration
Visa Information
Sponsoring
Program
PPoPP 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 Committees
Program Committee
Organizing Committee
Extended Review Committee
Artifact Evaluation Committee
Steering Committee
Contributors
People Index
Workshops
PMAM
N/A - check homepage
WPMVP
Organizing Committee
Program Committee
Search
Series
Series
PPoPP 2025
PPoPP 2024
PPoPP 2023
PPoPP 2022
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) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) 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) Athens
(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
Displayed 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
25m
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
25m
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
25m
Talk
Throughput-Oriented GPU Memory Allocation
Main Conference
Isaac Gelado
NVIDIA
,
Michael Garland
NVIDIA Research
DOI
11:20
25m
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
25m
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
25m
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
25m
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
25m
Talk
Leveraging Hardware TM in Haskell
Main Conference
Ryan Yates
,
Michael Scott
University of Rochester
DOI
Authorizer link
File Attached
14:50
25m
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
25m
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
25m
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
25m
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
Displayed 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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
Displayed 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
25m
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
25m
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
25m
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
25m
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
25m
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
25m
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
Displayed 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
Displayed 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
Displayed 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
Displayed 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
Displayed 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
Displayed 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
Fri 6 Dec 11:24