Salon 12/13 - PPoPP 2019

VenueMarriott Marquis

Room nameSalon 12/13

Floor0

Additional informationThere is no additional information of this room available.

Program

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, MonterreySelect other time zone

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 programSpecify 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 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


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

Room information: Salon 12/13

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

Tue 19 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

Main Conference

Main Conference

Main Conference

Main Conference

Main Conference

Tue 19 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Main Conference

Main Conference

Main Conference

Main Conference

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

Main Conference

Main Conference

Main Conference

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

Tue 19 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Tracks

Workshops

Room information: Salon 12/13

Program Display Configuration

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

Tue 19 Feb Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

Main Conference

Main Conference

Main Conference

Main Conference

Main Conference

Tue 19 Feb Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Main Conference

Main Conference

Main Conference

Main Conference

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

Main Conference

Main Conference

Main Conference

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

Tue 19 Feb Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

Tue 19 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

Tue 19 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

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

Tue 19 Feb
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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