PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States
PPoPP 2019 (series) / Marriott Marquis /

Room information: Salon 12/13

VenueMarriott Marquis
Room nameSalon 12/13
Floor0
Room InformationNo extra information available
Program

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 DataMain Conference at Salon 12/13
Chair(s): Roberto PalmieriLehigh University
09:35 - 10:00
Talk		Beyond Human-Level Accuracy: Computational Challenges in Deep Learning
Main Conference
Joel HestnessBaidu Research, Newsha ArdalaniBaidu Research, Gregory DiamosBaidu Research
DOI
10:00 - 10:25
Talk		S-EnKF: Co-designing for Scalable Ensemble Kalman Filter
Main Conference
Junmin Xiao, Shijie WangInstitute of Computing Technology, Chinese Academy of Sciences, Weiqiang WanInstitute of Computing Technology, Chinese Academy of Sciences, Xuehai HongInstitute of Computing Technology, Chinese Academy of Sciences, Guangming TanChinese Academy of Sciences(CAS)
DOI
10:55 - 12:35: Session 2: Heterogeneous Platforms and GPUMain Conference at Salon 12/13
Chair(s): Xu LiuCollege of William and Mary
10:55 - 11:20
Talk		Throughput-Oriented GPU Memory Allocation
Main Conference
Isaac GeladoNVIDIA, Michael GarlandNVIDIA 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 WangThe Ohio State University, USA, Liang GengThe Ohio State University, USA, Rubao LeeUnited Parallel Computing Corporation, USA, Kaixi HouVirginia Tech, USA, Yanfeng Zhang, Xiaodong ZhangThe Ohio State University, USA
DOI
11:45 - 12:10
Talk		Incremental Flattening for Nested Data Parallelism
Main Conference
Troels HenriksenUniversity of Copenhagen, Denmark, Frederik ThorøeDIKU, University of Copenhagen, Martin ElsmanUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
DOI
12:10 - 12:35
Talk		Adaptive Sparse Matrix-Matrix Multiplication on the GPU
Main Conference
Martin WinterGraz University of Technology, Austria, Daniel MlakarGraz University of Technology, Austria, Rhaleb ZayerMax Planck Institute for Informatics, Hans-Peter SeidelMax Planck Institute for Informatics, Markus SteinbergerGraz University of Technology, Austria
DOI
14:00 - 15:40: Session 3: Transactional MemoryMain Conference at Salon 12/13
Chair(s): Milind ChabbiUber Technologies
14:00 - 14:25
Talk		Modular Transactions: Bounding Mixed Races in Space and Time
Main Conference
Brijesh DongolUniversity of Surrey, Radha JagadeesanDePaul University, James RielyDePaul University
DOI
14:25 - 14:50
Talk		Leveraging Hardware TM in Haskell
Main Conference
Ryan Yates, Michael ScottUniversity 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 IssaINESC-ID, João BarretoINESC-ID, Paolo RomanoUniversity of Lisbon, Portugal
DOI
15:15 - 15:40
Talk		Processing Transactions in a Predefined Order
Main Conference
Mohamed M. SaadVirginia Tech, Masoomeh Javidi KishiLehigh University, Shihao JingLehigh University, Sandeep HansIBM India Research Lab, Roberto PalmieriLehigh University
DOI
16:10 - 17:00: Session 4: GPU B-TreesMain Conference at Salon 12/13
Chair(s): Ang LiPacific Northwest National Laboratory
16:10 - 16:35
Talk		Harmonia: A High Throughput B+tree for GPUs
Main Conference
Zhaofeng YanFudan University, Yuzhe LinFudan University, Lu Peng, Weihua ZhangFudan University
DOI
16:35 - 17:00
Talk		Engineering a High-Performance GPU B-Tree
Main Conference
Muhammad Awad, Saman AshkianiUniversity of California, Davis, Rob JohnsonVMWare Research, Martin Farach-ColtonRutgers University, John D. OwensUniversity of California, Davis
DOI
17:00 - 18:00: Business MeetingMain 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, PerformanceMain Conference at Salon 12/13
Chair(s): Cosmin OanceaUniversity of Copenhagen, Denmark
09:35 - 10:00
Talk		QTLS: High-Performance TLS Asynchronous Offload Framework with Intel® QuickAssist Technology
Main Conference
Xiaokang HuShanghai Jiao Tong University, Changzheng WeiIntel Asia-Pacific Research and Development Ltd., Li Jian, Brian WillIntel Corporation, Ping YuIntel Asia-Pacific Research and Development Ltd., Lu GongIntel Asia-Pacific Research and Development Ltd., Haibing GuanShanghai Jiao Tong University
DOI
10:00 - 10:25
Talk		Data-Flow/Dependence Profiling for Structured Transformations
Main Conference
Fabian GruberUniversité Grenoble Alpes / INRIA Grenoble Rhônes-Alpes, Manuel SelvaUniversité Grenoble Alpes, Diogo SampaioInria, Christophe GuillonSTMicroelectronics, Antoine MoynaultSTMicroelectronics, Louis-Noël PouchetColorado State University, Fabrice RastelloINRIA
DOI
10:55 - 12:35: Session 6, Best Paper CandidatesMain Conference at Salon 12/13
Chair(s): Rudolf EigenmannUniversity of Delaware
10:55 - 11:20
Talk		Lightweight Hardware Transactional Memory Profiling
Main Conference
Qingsen WangCollege of William and Mary, Pengfei SuCollege of William and Mary, Milind ChabbiUber Technologies, Xu LiuCollege 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 LiGeorgia Institute of Technology, Pacific Northwest National Laboratory, Guangming TanChinese Academy of Sciences(CAS), Ninghui SunState 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. AcarCarnegie Mellon University, Vitaly AksenovInria & ITMO University, Arthur CharguéraudInria, Mike RaineyIndiana University, USA
DOI
12:10 - 12:35
Talk		A Coordinated Tiling and Batching Framework for Efficient GEMM on GPUs
Main Conference
Xiuhong LiPeking University, Eric LiangPeking University, Shengen YanSenseTime, Jia LianchengPeking University, Yinghan LiSenseTime
DOI
14:00 - 15:15: Session 7: SchedulingMain Conference at Salon 12/13
Chair(s): Jidong ZhaiTsinghua University
14:00 - 14:25
Talk		Semantics-Aware Scheduling Policies for Synchronization Determinism
Main Conference
Qi ZhaoNorth Carolina State University, Zhengyi QiuNorth Carolina State University, Guoliang JinNorth Carolina State University
DOI
14:25 - 14:50
Talk		Proactive Work Stealing for Futures
Main Conference
Kyle SingerWashington University in St. Louis, Yifan XuWashington University in St. Louis, I-Ting Angelina LeeWashington University in St. Louis
DOI
14:50 - 15:15
Talk		A Round-Efficient Distributed Betweenness Centrality Algorithm
Main Conference
Loc HoangUniversity of Texas at Austin, USA, Matteo PontecorviNokia Bell Labs, Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Bozhi YouXi'an Jiaotong University, Keshav PingaliUniversity of Texas at Austin, USA, Vijaya RamachandranUniversity of Texas at Austin
DOI
15:45 - 16:35: Session 8: HPCMain Conference at Salon 12/13
Chair(s): I-Ting Angelina LeeWashington University in St. Louis
15:45 - 16:10
Talk		Corrected Trees for Reliable Group Communication
Main Conference
Martin KüttlerTU Dresden, Maksym PlanetaTU Dresden, Germany, Jan BierbaumTU Dresden, Carsten WeinholdTU Dresden, Hermann HärtigTU Dresden, Amnon BarakThe Hebrew University of Jerusalem, Torsten HoeflerETH Zurich
DOI
16:10 - 16:35
Talk		Adaptive Sparse Tiling for Sparse Matrix Multiplication
Main Conference
Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Israt Nisa, Kunal SinghThe Ohio State University, P. SadayappanOhio State University
DOI

Wed 20 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:35 - 10:50: Session 9: SynchronizationMain Conference at Salon 12/13
Chair(s): Erez PetrankTechnion
09:35 - 10:00
Talk		Encapsulated Open Nesting for STM: Fine-Grained Higher-Level Conflict Detection
Main Conference
Martin BättigDepartment of Computer Science, ETH Zurich, Thomas GrossETH Zurich
DOI
10:00 - 10:25
Talk		A Specialized B-Tree for Concurrent Datalog Evaluation
Main Conference
Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London, David ZhaoThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia
DOI
10:25 - 10:50
Talk		Efficient Race Detection with Futures
Main Conference
Robert UtterbackMonmouth College, Kunal AgrawalWashington University in St. Louis, Jeremy Fineman, I-Ting Angelina LeeWashington University in St. Louis
DOI
11:20 - 12:35: Session 10: VerificationMain Conference at Salon 12/13
Chair(s): Michael LamJames Madison University
11:20 - 11:45
Talk		Verifying C11 Programs Operationally
Main Conference
Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University, John DerrickUniversity of Sheffield
DOI
11:45 - 12:10
Talk		Checking Linearizability Using Hitting Families
Main Conference
Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany, Filip NiksicUniversity of Pennsylvania
DOI
12:10 - 12:35
Talk		Transitive Joins: A Sound and Efficient Online Deadlock-Avoidance Policy
Main Conference
Caleb VossGeorgia Institute of Technology, Tiago CogumbreiroUniversity of Massachusetts Boston, Vivek SarkarRice University, USA
DOI
12:35 - 13:00: Best Paper Award and ClosingMain Conference at Salon 12/13

Mon 18 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
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

Room9:003010:003011:003012:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room9:0015304510:0015304511:0015304512:00153045
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