Program

12 November 2024

Session 1: Chair: Christophe Dubach (McGill University)
10:00-10:05 Welcome
10:05-10:29 Democratizing High-Performance DSL Development with BuildIt Ajay Brahmakshatriya and Saman Amarasinghe (MIT)
10:29-10:53 Query Compilation based Distributed Morsel-driven Parallel Spatial Query Processing Rahul Sahni, Xiaozheng Zhang, Sudip Chatterjee and Suprio Ray (University of New Brunswick)
10:53-11:17 Toward Automatic Hardware and Data Partitioning in HLS Tzung-Han Juang, Jonathan Van der Cruysse and Christophe Dubach (McGill University)
11:17-11:27 Small break
11:27-11:51 ACPO: An AI-Enabled Compiler Framework Amir H. Ashouri, Tom Czajkowski, Bryan Chan, Minh Vu and Yaoqing Gao (Huawei)
11:51-12:15 Catalyst: a Python JIT Compiler for Hybrid (Quantum-Classical) Programs Romain Moyard, Erick Ochoa Lopez and David Ittah (Xanadu)
Lunch
12:30-13:30 Lunch
Session 2: Chair: Clark Verbrugge (McGill University)
13:30-13:54 On-The-Fly Data Layout Conversion for GEMM on AI Accelerators Fang Gao, Xingyu Yue, Chenchen Tang, Hongyi Chen, Kai-Ting Amy Wang and Tarek S. Abdelrahman (Huawei & University of Toronto)
13:54-14:18 Improving Locality in Consecutive Sparse and Dense Matrix Multiplications Mohamad Mahdi Salehi Dezfuli and Kazem Cheshmi (McMaster University)
14:18-14:42 Recent Advances in Algorithms Supporting the Polyhedral Model Marc Moreno Maza (The University of Western Ontario)
Coffee Break
15:00-15:20 Coffee Break
Session 3: Chair: Amy Wang (Huawei)
15:20-15:44 Bringing Profile Guided Binary Layout Optimization to the IBM AIX Platform Dhanrajbir Singh Hira and J. Nelson Amaral (University of Alberta)
15:44-16:08 RISC-V Analyzer: Verify Assembly Code Compliance to Register and Procedure Calling Conventions. Rajan Maghera, Nathan Ulmer and J. Nelson Amaral (University of Alberta)
16:08-16:32 Sequential Reasoning for Designing Safe Optimizations under Total Store Order Akshay Gopalakrishnan and Clark Verbrugge (McGill University)
16:32-16:56 OOPredictor: Predicting Object-Oriented Accesses using Static Analysis Hassan Arafat, David Bremner, Kenneth Kent and Julian Wang (University of New Brunswick & IBM Canada)
16:56-17:00 Closing