Salon 12/13 - PPoPP 2019

VenueMarriott Marquis

Room nameSalon 12/13

Floor0

Room number

Capacity0

Additional informationThere is no additional information of this room available.

Program

Mon 18 Feb

09:35 - 10:25: Main Conference - Session 1: Big Data at Salon 12/13
Chair(s): Roberto PalmieriLehigh University

09:35 - 10:00
Talk

Beyond Human-Level Accuracy: Computational Challenges in Deep Learning

Joel HestnessBaidu Research, Newsha ArdalaniBaidu Research, Gregory DiamosBaidu Research

DOI

10:00 - 10:25
Talk

S-EnKF: Co-designing for Scalable Ensemble Kalman Filter

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: Main Conference - Session 2: Heterogeneous Platforms and GPU at Salon 12/13
Chair(s): Xu LiuCollege of William and Mary

10:55 - 11:20
Talk

Throughput-Oriented GPU Memory Allocation

Isaac GeladoNVIDIA, Michael GarlandNVIDIA

DOI

11:20 - 11:45
Talk

SEP-Graph: Finding Shortest Execution Paths for Graph Processing under a Hybrid Framework on GPU

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

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

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: Main Conference - Session 3: Transactional Memory at Salon 12/13
Chair(s): Milind ChabbiUber Technologies

14:00 - 14:25
Talk

Modular Transactions: Bounding Mixed Races in Space and Time

Brijesh DongolUniversity of Surrey, Radha JagadeesanDePaul University, James RielyDePaul University

DOI

14:25 - 14:50
Talk

Leveraging Hardware TM in Haskell

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

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

Mohamed M. SaadVirginia Tech, Masoomeh Javidi KishiLehigh University, Shihao JingLehigh University, Sandeep HansIBM India Research Lab, Roberto PalmieriLehigh University

DOI

16:10 - 17:00: Main Conference - Session 4: GPU B-Trees at Salon 12/13
Chair(s): Ang LiPacific Northwest National Laboratory

16:10 - 16:35
Talk

Harmonia: A High Throughput B+tree for GPUs

Zhaofeng YanFudan University, Yuzhe LinFudan University, Lu Peng, Weihua ZhangFudan University

DOI

16:35 - 17:00
Talk

Engineering a High-Performance GPU B-Tree

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: Main Conference - Business Meeting at Salon 12/13

Tue 19 Feb

09:35 - 10:25: Main Conference - Session 5, Performance 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

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

Fabian GruberUniversité Grenoble Alpes / INRIA Grenoble Rhônes-Alpes, Manuel SelvaUniversité Grenoble Alpes, Diogo SampaioInria, Christophe GuillonSTMicroelectronics, Antoine MoynaultSTMicroelectronics, Louis-Noel PouchetColorado State University, Fabrice RastelloINRIA

DOI

10:55 - 12:35: Main Conference - Session 6, Best Paper Candidates at Salon 12/13
Chair(s): Rudolf EigenmannUniversity of Delaware

10:55 - 11:20
Talk

Lightweight Hardware Transactional Memory Profiling

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

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

Umut 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

Xiuhong LiPeking University, Eric LiangPeking University, Shengen YanSenseTime, Jia LianchengPeking University, Yinghan LiSenseTime

DOI

14:00 - 15:15: Main Conference - Session 7: Scheduling at Salon 12/13
Chair(s): Jidong ZhaiTsinghua University

14:00 - 14:25
Talk

Semantics-Aware Scheduling Policies for Synchronization Determinism

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

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

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: Main Conference - Session 8: HPC 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

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

Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Israt Nisa, Kunal SinghThe Ohio State University, P. SadayappanOhio State University

DOI

Wed 20 Feb

09:35 - 10:50: Main Conference - Session 9: Synchronization at Salon 12/13
Chair(s): Erez PetrankTechnion

09:35 - 10:00
Talk

Encapsulated Open Nesting for STM: Fine-Grained Higher-Level Conflict Detection

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

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

Robert UtterbackMonmouth College, Kunal AgrawalWashington University in St. Louis, Jeremy Fineman, I-Ting Angelina LeeWashington University in St. Louis

DOI

11:20 - 12:35: Main Conference - Session 10: Verification at Salon 12/13
Chair(s): Michael LamJames Madison University

11:20 - 11:45
Talk

Verifying C11 Programs Operationally

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

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

Caleb VossGeorgia Institute of Technology, Tiago CogumbreiroUniversity of Massachusetts Boston, Vivek SarkarRice University, USA

DOI

12:35 - 13:00: Main Conference - Best Paper Award and Closing at Salon 12/13

Mon 18 Feb 2019


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						18:00						30
Salon 12/13								PPoPP Main Conference Session 1: Big Data 09:35 - 10:25																PPoPP Main Conference Session 2: Heterogeneous Platforms and GPU 10:55 - 12:35																																					PPoPP Main Conference Session 3: Transactional Memory 14:00 - 15:40																										PPoPP Main Conference Session 4: GPU B-Trees 16:10 - 17:00										PPoPP Main Conference Business Meeting 17:00 - 18:00

Tue 19 Feb 2019


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								PPoPP Main Conference Session 5, Performance 09:35 - 10:25																PPoPP Main Conference Session 6, Best Paper Candidates 10:55 - 12:35																																					PPoPP Main Conference Session 7: Scheduling 14:00 - 15:15																					PPoPP Main Conference Session 8: HPC 15:45 - 16:35

Wed 20 Feb 2019


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30
Salon 12/13								PPoPP Main Conference Session 9: Synchronization 09:35 - 10:50																					PPoPP Main Conference Session 10: Verification 11:20 - 12:35															PPoPP Main Conference Best Paper Award and Closing 12:35 - 13:00

Mon 18 Feb 2019


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			17: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 2019


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 2019


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

Room information: Salon 12/13

Mon 18 Feb

Tue 19 Feb

Wed 20 Feb

Mon 18 Feb 2019

PPoPP Main Conference

PPoPP Main Conference

PPoPP Main Conference

PPoPP Main Conference

PPoPP Main Conference

Tue 19 Feb 2019

PPoPP Main Conference

PPoPP Main Conference

PPoPP Main Conference

PPoPP Main Conference

Wed 20 Feb 2019

PPoPP Main Conference

PPoPP Main Conference

PPoPP Main Conference

Mon 18 Feb 2019

Tue 19 Feb 2019

Wed 20 Feb 2019

Tracks

Co-hosted Workshops