PPoPP 2019 (series) /
PPoPP 2019 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 16 FebDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sat 16 Feb
Displayed time zone: Guadalajara, Mexico City, Monterrey change
07:00 - 09:00 | |||
08:00 - 12:00 | WPMVP Session 1WPMVP at Catholic University Room Chair(s): Lionel Lacassagne Sorbonne University — LIP6 | ||
08:45 15mDay opening | Welcome to WPMVP workshop WPMVP Lionel Lacassagne Sorbonne University — LIP6 | ||
09:00 60mTalk | ARM Keynote - Francesco Petrogalli WPMVP Francesco Petrogalli ARM Ltd. | ||
10:00 30mCoffee break | Break WPMVP | ||
10:30 30mTalk | Compiling Efficiently with Arithmetic Emulation for the Custom-Width Connex Vector Processor WPMVP | ||
11:00 30mTalk | Automatic Vectorization of Stencil Codes with the GGDML Language Extensions WPMVP | ||
08:00 - 12:00 | |||
08:00 4hDemonstration | Tutorial: Creating Repeatable, Reusable Experimentation Pipelines With Popper (Hands-on Tutorial) Workshops and Tutorials Ivo Jimenez University of California, Santa Cruz, Carlos Maltzahn University of California, Santa Cruz, Jay Lofstead Sandia National Laboratories | ||
08:00 - 12:00 | |||
08:00 4hDemonstration | Tutorial: Building parallel programming language constructs in the AbleC extensible C compiler framework Workshops and Tutorials Eric Van Wyk University of Minnesota, USA | ||
08:00 - 17:00 | |||
12:00 - 13:00 | |||
13:00 - 17:00 | WPMVP Session 2WPMVP at Catholic University Room Chair(s): Lionel Lacassagne Sorbonne University — LIP6 | ||
13:30 60mTalk | NEC Keynote - Erich Focht WPMVP Erich Focht NEC | ||
14:30 30mBreak | Break #2 WPMVP | ||
15:00 30mTalk | Multi-dimensional Vectorization in LLVM WPMVP Simon Moll Saarland University, Germany, Matthias Markthaler , Sebastian Hack Saarland University, Germany | ||
15:30 30mTalk | Designing efficient SIMD algorithms for direct Connected Component Labeling WPMVP Arthur Hennequin LIP6 Sorbonne University + CERN, Ian masliah LIP6 Sorbonne University, Lionel Lacassagne Sorbonne University — LIP6 | ||
16:10 50mDay opening | Open Discussion WPMVP Lionel Lacassagne Sorbonne University — LIP6 | ||
13:00 - 17:00 | |||
13:00 4hDemonstration | Tutorial: Creating Repeatable, Reusable Experimentation Pipelines With Popper (Hands-on Tutorial) Workshops and Tutorials Ivo Jimenez University of California, Santa Cruz, Carlos Maltzahn University of California, Santa Cruz, Jay Lofstead Sandia National Laboratories | ||
13:00 - 17:00 | |||
13:00 4hDemonstration | Tutorial: Implementing Parallel and Concurrent Tree Structures Workshops and Tutorials | ||
Sun 17 FebDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sun 17 Feb
Displayed time zone: Guadalajara, Mexico City, Monterrey change
07:00 - 09:00 | |||
08:00 - 12:00 | |||
08:00 4hMeeting | Workshop: Programming Models and Applications for Multicores and Manycores Workshops and Tutorials | ||
08:00 - 12:00 | |||
08:00 4hDemonstration | Tutorial: Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises Workshops and Tutorials Frank Mueller North Carolina State University, USA, Greg Byrd North Carolina State University, Patrick Dreher North Carolina State University | ||
08:00 - 12:00 | |||
08:00 4hDemonstration | Tutorial: High Performance Distributed Deep Learning Workshops and Tutorials Dhabaleswar K. Panda Ohio State University, Ammar Ahmad Awan Ohio State University, Hari Subramoni The Ohio State University | ||
08:00 - 17:00 | |||
12:00 - 13:00 | |||
13:00 - 17:00 | |||
13:00 4hMeeting | Workshop: Programming Models and Applications for Multicores and Manycores Workshops and Tutorials | ||
13:00 - 17:00 | |||
13:00 4hDemonstration | Tutorial: Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises Workshops and Tutorials Frank Mueller North Carolina State University, USA, Greg Byrd North Carolina State University, Patrick Dreher North Carolina State University | ||
13:00 - 17:00 | |||
13:00 4hDemonstration | Tutorial: Performance-Portable C++ Programming with RAJA Workshops and Tutorials | ||
18:00 - 20:00 | |||
Mon 18 FebDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Feb
Displayed time zone: Guadalajara, Mexico City, Monterrey change
07:00 - 09:00 | |||
08:00 - 17:00 | |||
08:15 - 09:30 | |||
08:15 15mTalk | Chairs' Welcome Main Conference | ||
08:30 60mTalk | HPCA Keynote: Srini Devadas (MIT) Main Conference Srini Devadas MIT | ||
09:35 - 10:25 | |||
09:35 25mTalk | Beyond Human-Level Accuracy: Computational Challenges in Deep Learning Main Conference DOI | ||
10:00 25mTalk | 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 GPUMain Conference at Salon 12/13 Chair(s): Xu Liu College of William and Mary | ||
10:55 25mTalk | Throughput-Oriented GPU Memory Allocation Main Conference DOI | ||
11:20 25mTalk | 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 25mTalk | 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 25mTalk | 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 MemoryMain Conference at Salon 12/13 Chair(s): Milind Chabbi Uber Technologies | ||
14:00 25mTalk | 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 25mTalk | Leveraging Hardware TM in Haskell Main Conference DOI Authorizer link File Attached | ||
14:50 25mTalk | 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 25mTalk | 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-TreesMain Conference at Salon 12/13 Chair(s): Ang Li Pacific Northwest National Laboratory | ||
16:10 25mTalk | Harmonia: A High Throughput B+tree for GPUs Main Conference DOI | ||
16:35 25mTalk | 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 | |||
Tue 19 FebDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 19 Feb
Displayed time zone: Guadalajara, Mexico City, Monterrey change
07:00 - 09:00 | |||
08:00 - 17:00 | |||
08:15 - 09:30 | Plenary Session 2Main Conference at Salon 6 Chair(s): Idit Keidar Technion - Israel institute of technology | ||
08:15 75mTalk | PPoPP Keynote: Karin Strauss (Microsoft Research) Main Conference | ||
09:35 - 10:25 | Session 5, PerformanceMain Conference at Salon 12/13 Chair(s): Cosmin Oancea University of Copenhagen, Denmark | ||
09:35 25mTalk | 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 25mTalk | 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 CandidatesMain Conference at Salon 12/13 Chair(s): Rudolf Eigenmann University of Delaware | ||
10:55 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 | |||
14:00 25mTalk | 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 25mTalk | 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 25mTalk | 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: HPCMain Conference at Salon 12/13 Chair(s): I-Ting Angelina Lee Washington University in St. Louis | ||
15:45 25mTalk | 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 25mTalk | 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 | ||
17:10 - 18:30 | |||
19:00 - 21:00 | |||
Wed 20 FebDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Wed 20 Feb
Displayed time zone: Guadalajara, Mexico City, Monterrey change
07:00 - 09:00 | |||
08:00 - 13:00 | |||
08:15 - 09:30 | |||
08:15 75mTalk | CGO Keynote: Michael O’Boyle (University of Edinburgh) Main Conference | ||
09:35 - 10:50 | |||
09:35 25mTalk | Encapsulated Open Nesting for STM: Fine-Grained Higher-Level Conflict Detection Main Conference DOI | ||
10:00 25mTalk | 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 25mTalk | 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: VerificationMain Conference at Salon 12/13 Chair(s): Michael Lam James Madison University | ||
11:20 25mTalk | 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 25mTalk | 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 25mTalk | 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 | |||