Compilation and Architecture Synthesis Lab (CASL)
Christophe Dubach
Associate Professor, McGill University
I’m an Associate Professor jointly appointed in the department of Electrical and Computer Engineering (ECE) and the school of Computer Science (CS) at McGill University. Previously, I was a Reader (Associate Professor) at the University of Edinburgh until 2019.
My research interests include:
christophe.dubach@mcgill.ca
514-398-8720
3480 University Street
McConnell Eng. Building - Room 758
Montreal, QC
H3A 0E9
Canada
Office hours: Fri 9:00-11:00
Several reseach positions (PhD, MSc or UG interns) are available in my group at McGill, please make sure to check the openings page.
[CGO 2026] Jonathan Van der Cruysse, Tzung-Han Juang, Shakiba Bolbolian Khah, and Christophe Dubach. SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing. Proceedings of the 24th ACM/IEEE International Symposium on Code Generation and Optimization, CGO, 2026.
[CGO 2026] Hamza Javed and Christophe Dubach. Synthesizing Specialized Sparse Tensor Accelerators for FPGAs via High-Level Functional Abstractions. Proceedings of the 24th ACM/IEEE International Symposium on Code Generation and Optimization, CGO, 2026.
[CC 2026] Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach. Parallel and Customizable Equality Saturation. Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, CC, 2026.
[ASP-DAC 2026] Adam Musa, Christophe Dubach. Automatic Recursion Elimination using Recurrence Relations for Synthesis of Stack-free Hardware. Proceedings of the 31st Asia and South Pacific Design Automation Conference, ASP-DAC, 2026.
[OOPSLA 2025] Mai Jacob Peng, William S Moses, Oleksandr Zinenko, Christophe Dubach. Sound and Modular Activity Analysis for Automatic Differentiation in MLIR. Proceedings of the ACM on Programming Languages, OOPSLA, 2025.
[TACO 2025] Tzung-Han Juang, Christophe Dubach. Maximizing Data and Hardware Reuse for HLS with Early-Stage Symbolic Partitioning. ACM Transactions on Architecture and Code Optimization, TACO, 2025.
[CGO 2025] Abd-El-Aziz Zayed, Christophe Dubach. DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog. Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO, 2025.
[ASP-DAC 2025] Paul Teng, Christophe Dubach. Hardware Synthesizable Exceptions using Continuations. Proceedings of the 30th Asia and South Pacific Design Automation Conference, ASP-DAC, 2025.
Please check the following links for a full list of publications:
Aziz Zayed
Jan’26–
Domain-speficic Optimizations with Equality Saturation
Paul Teng
Jan’25–
High-Level Hardware Synthesis from PyTorch
Jacob Peng
Sep’23–
Compiler Optimizations for Differentiable Programming
Shakiba Bolbolian
Kha Sep’21–
High-Level Hardware Synthesis of RNN accelerators
Tzung-Han Juang
Sep’20–
High-level Hardware Synthesis of Convolutional Neural Networks
Jonathan Van der
Cruysse Jan’20–
Equality Saturation for High Performance Code and Hardware
Generation
Adam Musa
Sep’24–
Machine Learning Guided Equality Saturation
Louis
Hildebrand Jan’24–
A Minimal Intermediate Language for Generating Streaming
Accelerators
Lu Li
2018–2020
Michel Steuwer
2015–2017
Thibaut Lutz
2015–2015
Christof
Schlaak PhD’23
A Multi-Level Functional IR With Rewrites for Higher-Level Synthesis of
Accelerators
Naums Moger
PhD’23
Guided Rewriting and Constraint Satisfaction for Parallel GPU Code
Generation
Federico
Pizzuti PhD’23
Zero-Cost Abstractions for Irregular Data Shapes in a High-Performance
Parallel Language
Larisa
Stoltzfus PhD’21
Code Generation for 3D Partial Differential Equation Models from a
High-Level Functional Intermediate Language
Toomas
Remmelg PhD’19
Automatic Performance Optimisation of Parallel Programs for GPUs via
Rewrite Rules
Paul Micolet
PhD’19
From Software to Hardware: Making Dynamic Multicore Processors
Practical
Juan Jose
Fumero PhD’17
Accelerating Interpreted Programming Languages on GPUs with Just-In-Time
Compilation and Runtime Optimisations
Hamza Javed
MSc’24
Synthesizing specialized sparse tensor accelerators for reconfigurable
hardware using high-level functional abstractions
Jacob Peng
MSc’23
High Performance Code Generation for Differentiable Programming
Zhitao Lin
MSc’22
Code Generation from Functional to Imperative: Combining
Destination-Passing Style and Views
Jeff Zhang (BSc), McGill University, Fall’25, COMP 400 research project
Taran Dwivedula (BSc), McGill University, Fall’25, COMP 400 research project
Aziz Zayed (BEng), McGill University, Summer’24, internship
Sara Lahlou (BEng), McGill University, Summer’24, internship
Qasim Li (BEng), McGill University, Summer’24, internship
Katie Lin (BSc), McGill University, Winter’24, COMP 400 research project
Yi Sun (BSc), University of Electronic Science and Technology of China, Summer’23, Mitacs Globalink
Christian Zhao (BSc), McGill University, Fall’22, COMP 400 research project (Generic abstract representation for programming languages)
Ningchen Ma (BSc), McGill University, Summer’22, summer inter (Compiler backend for Swift to utilize Apple’s MLCompute Library)
Archisman Dey (BSc), IIT Guwahati, India, Summer’22, Mitacs Globalink
Ayan Chakraborty (BSc), IIT Kahragpur, India, Summer’21, Mitacs Globalink
Jiaxuan Cai (BSc), Chongqing University, China, Summer’21, Mitacs Globalink
Bastian Hagedorn (PhD), HPC-Europa grant, University of Muenster, Germany, HiPEAC collaboration grant
Joseph Marotte (MSc), Ecole Normale Superieure, France, Mar’18–Aug’18,
Eduardo Gutiez (PhD), University of Valladolid, Spain, Dec’17–Mar’17, HPC-Europa grant
Martin Pepin (MSc), Ecole Normale Superieure, France, Mar’17–Aug’17,
Dayou Du (BSc), Peking University, China, Jul’16–Aug’16, Peking University - Summer Research Visitor Programme
Michael Vollmer (PhD), University of Indiana, USA, Jun’15–Sep’15, HiPEAC collaboration grant
Jia Liang (BSc), University of Tennessee-Knoxville, USA, May’15–Jul’15,
Michel Steuwer (PhD), University of Muenster, Germany, 2013,2014, HiPEAC collaboration grant
Benjamin Brock (BSc), University of Tennessee-Knoxville, USA, May’14–Jul’14,
| Code | Course | Term |
|---|---|---|
| COMP764/ECSE689 | High-level Synthesis of Digital Systems | W2026 |
| COMP520 | Compiler Design | W2026 |
| COMP520 | Compiler Design | W2025 |
| ECSE324 | Computer Organization | W2025 |
| COMP764/ECSE689 | High-level Synthesis of Digital Systems | F2024 |
| ECSE324 | Computer Organization | F2024 |
| COMP764/ECSE689 | High-level Synthesis of Digital Systems | W2024 |
| COMP520 | Compiler Design | W2024 |
| ECSE324 | Computer Organization | F2023 |
| COMP764/ECSE688 | High-level Synthesis of Digital Systems | W2023 |
| COMP520 | Compiler Design | W2023 |
| ECSE324 | Computer Organization | F2022 |
| COMP764/ECSE688 | High-level Synthesis of Digital Systems | W2022 |
| COMP520 | Compiler Design | W2022 |
| ECSE324 | Computer Organization | F2021 |
| COMP520 | Compiler Design | W2021 |
| ECSE324 | Computer Organization | F2020 |
| ECSE324 | Computer Organization | W2020 |
| Code | Course | Year | Semester |
|---|---|---|---|
| INFR10065 | Compiling Techniques | 2019/20 | 1 |
| INFR10065 | Compiling Techniques | 2018/19 | 1 |
| INFR10065 | Compiling Techniques | 2017/18 | 1 |
| INFR10053 | Compiling Techniques | 2016/17 | 1 |
| INFR10053 | Compiling Techniques | 2015/16 | 1 |
| INFR10053 | Compiling Techniques | 2014/15 | 2 |