Filter Program 
Dates
Rooms
Tracks
Badges
 Your Program
Sat 2 MarDisplayed time zone: London change
Sat 2 Mar
Displayed time zone: London change
| 12:50 - 13:40 | |||
| 12:5050m Lunch | Lunch Main Conference | ||
| 13:40 - 13:50 | |||
| 13:50 - 14:50 | |||
| 13:5060m Keynote | New compiler tools for a heterogeneous world: Bridging the software hardware gap KeyNotes Michael F. P. O'Boyle University of Edinburgh | ||
| 15:00 - 15:40 | |||
| 15:0020m Talk | Fast Template-Based Code Generation for MLIR Main Conference | ||
| 15:2020m Talk | A Unified Memory Dependency Framework for Speculative High-Level Synthesis Main Conference Jean-Michel Gorius , Simon Rokicki Univ Rennes, Inria, CNRS, IRISA, Steven Derrien Univ Rennes, Inria, CNRS, IRISA | ||
| 15:40 - 16:00 | |||
| 15:4020m Coffee break | Coffee Break Main Conference | ||
| 16:00 - 17:40 | Static AnalysisMain Conference at Ochil Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France | ||
| 16:0020m Talk | If-Convert as Early as You Must Main Conference | ||
| 16:2020m Talk | Paguroidea:  Fused Parser Generator with Transparent Semantic Actions Main Conference Yifan Zhu University of Rochester, USA, Quartic Cat The Chinese University of Hong Kong, Shenzhen, Boluo Ge North Carolina State University, Shatong Sun University of Rochester | ||
| 16:4020m Talk | Region-Based Data Layout via Data Reuse Analysis Main Conference Caio Salvador Rohwedder University of Alberta, João P. L. De Carvalho Qualcomm Canada Inc, Jose Nelson Amaral University of Alberta | ||
| 17:0020m Talk | A Context-Sensitive Pointer Analysis Framework for Rust and its Application to Call Graph Construction Main Conference Wei Li UNSW, Dongjie He UNSW, Yujiang Gui UNSW, Wenguang Chen Tsinghua University; Pengcheng Laboratory, Jingling Xue UNSW | ||
| 17:2020m Talk | CoSense:  Compiler Optimizations using Sensor Technical Specifications Main Conference Pei Mu , Nikos Mavrogeorgis University of Edinburgh, Christos Vasiladiotis University of Edinburgh, Vasileios Tsoutsouras University of Cambridge, Orestis Kaparounakis University of Cambridge, Phillip Stanley-Marbell , Antonio Barbalace The University of Edinburgh | ||
Sun 3 MarDisplayed time zone: London change
Sun 3 Mar
Displayed time zone: London change
| 08:10 - 09:10 | |||
| 08:1060m Keynote | Compilers for Performance Engineers: Oxymoron or Revolution? KeyNotes Albert Cohen Google | ||
| 09:20 - 10:00 | |||
| 09:2020m Talk | UNIFICO:  Thread Migration in Heterogeneous-ISA CPUs without State Transformation Main Conference Nikos Mavrogeorgis University of Edinburgh, Christos Vasiladiotis University of Edinburgh, Pei Mu , Amir Khordadi University of Edinburgh, Björn Franke University of Edinburgh, Antonio Barbalace The University of Edinburgh | ||
| 09:4020m Talk | BLQ:  Light-Weight Locality-Aware Runtime for Blocking-Less Queuing Main Conference Qinzhe Wu University of Texas at Austin, Ruihao Li The University of Texas at Austin, Jonathan Beard Google, Lizy John University of Texas, Austin | ||
| 10:00 - 10:20 | |||
| 10:0020m Coffee break | Coffee Break Main Conference | ||
| 10:20 - 12:00 | Debugging, Profiling and ParallelismMain Conference at Harris Chair(s): Steven Derrien Univ Rennes, Inria, CNRS, IRISA | ||
| 10:2020m Talk | APPy:  Annotated Parallelism for Python on GPUs Main Conference Tong Zhou Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology | ||
| 10:4020m Talk | Accurate Coverage Metrics for Compiler-generated Debugging Information Main ConferenceDOI Pre-print | ||
| 11:0020m Talk | FlowProf:  Profiling Multi-threaded Programs using Information-Flow Main Conference | ||
| 11:2020m Talk | Reducing the Overhead of Exact Profiling by Reusing Affine Variables Main Conference | ||
| 11:4020m Talk | Stale Profile Matching Main Conference | ||
| 12:20 - 13:20 | |||
| 12:2060m Lunch | Lunch Main Conference | ||
| 13:20 - 14:30 | |||
| 13:2070m Panel | Compilers and Machine Learning Main Conference Saman Amarasinghe Massachusetts Institute of Technology, Tobias Grosser University of Edinburgh, Hyesoon Kim Georgia Institute of Technology, Fabrice Rastello University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, Xipeng Shen North Carolina State University | ||
| 14:40 - 15:20 | Safety and CorrectnessMain Conference at Harris Chair(s): Fernando Magno Quintão Pereira Federal University of Minas Gerais | ||
| 14:4020m Talk | From Low-level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme Main Conference Sébastien Michelland Université Grenoble-Alpes, Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Christophe Deleuze Grenoble-INP/ESISAR | ||
| 15:0020m Talk | Clog:  A Declarative Language for C Static Code Checkers Main Conference | ||
| 15:20 - 15:40 | |||
| 15:2020m Coffee break | Coffee Break Main Conference | ||
| 17:20 - 17:30 | |||
| 17:30 - 17:50 | |||