| 08:30 - 08:45 | Opening |
| 08:45 - 09:55 | HPCA Keynote: What is the role of Architecture and Software Researchers on the Road to Quantum Supremacy?. Room: Europa 4. |
| Margaret Martonosi (Princeton University) |
| 09:55 - 10:20 | Coffee Break |
| 10:20 - 11:45 | Session 1: Managed Runtimes. Session Chair: Carol Eidt (Microsoft). Room: Europa 2. |
| - SIMD Intrinsics on Managed Language Runtimes
Alen Stojanov, Ivaylo Toskov (ETH Zurich), Tiark Rompf (Purdue University), Markus Püschel (ETH Zurich) - CollectionSwitch: A Framework for Efficient and Dynamic Collection Selection
Diego Costa and Artur Andrzejak (University of Heidelberg, Germany) - Analyzing and Optimizing Task Granularity on the JVM
Andrea Rosà, Eduardo Rosales, and Walter Binder (University of Lugano, Switzerland) |
| 11:45 - 13:15 | Lunch |
| 13:15 - 14:55 | Session 2: Resilience and Security. Session Chair: Bjoern Franke (University of Edinburgh). Room: Europa 2. |
| - Automating Efficient Variable-Grained Resiliency for Low-Power IoT Systems
Sara S. Baghsorkhi and Christos Margiolas (Intel, USA) - Resilient Decentralized Android Application Repackaging Detection Using Logic Bombs
Qiang Zeng, Lannan Luo, Zhiyun Qian, Xiaojiang Du, and Zhoujun Li (Temple University, USA; University of South Carolina, USA; University of California at Riverside, USA; Beihang University, China) - nAdroid: Statically Detecting Ordering Violations in Android Applications
Xinwei Fu, Dongyoon Lee, and Changhee Jung (Virginia Tech, USA) - SGXElide: Enabling Enclave Code Secrecy via Self-Modification
Erick Bauman, Huibo Wang, Mingwei Zhang, and Zhiqiang Lin (University of Texas at Dallas, USA; Intel Labs, USA) |
| 14:55 - 15:15 | Coffee Break |
| 15:15 - 15:25 | Test of Time Award. Room: Europa 2. |
| 15:25 - 16:55 | Session 3: Best Paper Finalists. Session Chair: Michael O'Boyle (University of Edinburgh). Room: Europa 2. |
| - Poker: Permutation-based SIMD Execution of Intensive Tree Search by Path Encoding
Feng Zhang and Jingling Xue (UNSW, Australia) - High Performance Stencil Code Generation with LIFT
Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, and Christophe Dubach (University of Münster, Germany; University of Edinburgh, UK; University of Glasgow, UK) - Qubit Allocation
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Sylvain Collange, and Fernando Magno Quintao Pereira (Federal University of Minas Gerais, Brazil; Inria, France) - Dominance-based Duplication Simulation (DBDS): Code Duplication to Enable Compiler Optimizations
David Leopoldseder, Lukas Stadler, Thomas Würthinger, Josef Eisl, Doug Simon, and Hanspeter Mössenböck (JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, Switzerland) |
| 16:55 - 17:15 | Coffee Break |
| 17:00 - 19:00 | SRC Presentations. Room: Europa 7. |
| 17:15 - 17:45 | CGO/PPoPP Artifact Evaluation Discussion. Room: Europa 3. |
| 18:00 - 19:30 | CGO Business Meeting (Room CGO). Room: Europa 2. |
| 19:30 - 20:30 | SC Meeting (Restaurant). |
| 08:00 - 09:40 | Session 4: Linear Algebra and Vectorization. Session Chair: Taewook Oh (Facebook). Room: Europa 2. |
| - The Generalized Matrix Chain Algorithm
Henrik Barthels, Marcin Copik, and Paolo Bientinesi (RWTH Aachen University, Germany) - CVR: Efficient Vectorization of SpMV on X86 Processors
Biwei Xie, Jianfeng Zhan, Xu Liu, Wanling Gao, Zhen Jia, Xiwen He, and Lixin Zhang (Institute of Computing Technology at Chinese Academy of Sciences, China; College of William and Mary, USA; Princeton University, USA) - Look-Ahead SLP: Auto-vectorization in the Presence of Commutative Operations
Vasileios Porpodas, Rodrigo C. O. Rocha, and Luís F. W. Góes (Intel, USA; University of Edinburgh, UK; PUC-MG, Brazil) - Conflict-Free Vectorization of Associative Irregular Applications with Recent SIMD Architectural Advances
Peng Jiang and Gagan Agrawal (Ohio State University, USA; The Ohio State University, USA) |
| 09:40 - 10:05 | Coffee Break |
| 10:05 - 11:45 | Session 5: Static and Dynamic Analysis. Session Chair: Uma Srinivasan (Twitter). Room: Europa 2. |
| - Scalable Concurrency Debugging with Distributed Graph Processing
Long Zheng, Xiaofei Liao, Hai Jin, Jieshan Zhao, and Qinggang Wang (Huazhong University of Science and Technology, China) - Lightweight Detection of Cache Conflicts
Probir Roy, Shuaiwen Leon Song, Sriram Krishnamoorthy, and Xu Liu (College of William and Mary, USA; Pacific Northwest National Laboratory, USA) - CUDAAdvisor: LLVM-Based Runtime Profiling for Modern GPUs
Du Shen, Shuaiwen Leon Song, Ang Li, and Xu Liu (College of William and Mary, USA; Pacific Northwest National Laboratory, USA) - May-Happen-in-Parallel Analysis with Static Vector Clocks
Qing Zhou, Lian Li, Lei Wang, Jingling Xue, and Xiaobing Feng (Institute of Computing Technology at Chinese Academy of Sciences, China; UNSW, Australia) |
| 11:45 - 13:15 | Lunch |
| 11:45 - 12:30 | Women in Academia and Industry (lunch session in lunch room) |
| 12:35 - 13:10 | Women in Academia and Industry (panel in same room as following keynote) |
| 13:15 - 14:25 | CGO Keynote: Biological Computation. Room: Europa 4. |
| Sara-Jane Dunn (Microsoft Research Limited) |
| 14:25 - 14:50 | Coffee Break |
| 14:50 - 16:30 | Session 6: Memory usage Optimisation. Session Chair: Milind Chabbi (Baidu Research, USA). Room: Europa 2. |
| - DeLICM: Scalar Dependence Removal at Zero Memory Cost
Michael Kruse and Tobias Grosser (Inria, France; ETH Zurich, Switzerland) - Loop Transformations Leveraging Hardware Prefetching
Savvas Sioutas, Sander Stuijk, Henk Corporaal, Twan Basten, and Lou Somers (Eindhoven University of Technology, Netherlands) - Transforming Loop Chains via Macro Dataflow Graphs
Eddie C. Davis, Michelle Mills Strout, and Catherine Olschanowsky (Boise State University, USA; University of Arizona, USA) - Local Memory-Aware Kernel Perforation
Daniel Maier, Biagio Cosenza, and Ben Juurlink (TU Berlin, Germany) |
| 18:00 - 22:30 | Banquet - Gala Dinner at Palais Liechtenstein |
| 08:00 - 09:00 | PPoPP Keynote: From confusion to clarity: hardware concurrency programming models. Room: Europa 4. |
| 09:00 - 09:25 | Coffee Break |
| 09:25 - 11:05 | Session 7: Program Generation and Synthesis. Session Chair: Christophe Dubach (University of Edinburgh). Room: Europa 2. |
| - AutoPA: Automatically Generating Active Driver from Original Passive Driver Code
Jia-Ju Bai, Yu-Ping Wang, and Shi-Min Hu (Tsinghua University, China) - Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Sebastian Buchwald, Andreas Fried, and Sebastian Hack (KIT, Germany; Saarland University, Germany) - Synthesizing Programs That Expose Performance Bottlenecks
Luca Della Toffola, Michael Pradel, and Thomas R. Gross (ETH Zurich, Switzerland; TU Darmstadt, Germany) - Program Generation for Small-Scale Linear Algebra Applications
Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, and Markus Püschel (ETH Zurich, Switzerland; RWTH Aachen University, Germany) |
| 11:05 - 11:20 | Coffee Break |
| 11:20 - 12:35 | Session 8: Compilation for Specialised Domains. Session Chair: Alexandre Jimborean (Uppsala University). Room: Europa 2. |
| - Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming
Andrew Anderson and David Gregg (Trinity College Dublin, Ireland) - Register Allocation for Intel Processor Graphics
Wei-Yu Chen, Guei-Yuan Lueh, Pratik Ashar, Kaiyu Chen, and Buqi Cheng (Intel, USA; Intel, India) - A Compiler for Cyber-Physical Digital Microfluidic Biochips
Christopher Curtis, Daniel Grissom, and Philip Brisk (University of California at Riverside, USA; Azusa Pacific University, USA) |
| 12:35 - 12:45 | CGO 2018 Best Paper Award. Room: Europa 2. |
| 12:45 - 12:55 | Closing of CGO Conference. Room: Europa 2. |