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.
LCTES’26 Tzung-Han Juang,
Paul Teng, and Christophe Dubach.
A Functional Approach to Synthesizing
Routable Programmable Accelerators for Neural Networks.
Proceedings of the 27th ACM SIGPLAN/SIGBED International Conference on
Languages, Compilers, and Tools for Embedded Systems, LCTES, 2026.
LCTES’26 Louis Hildebrand,
and Christophe Dubach.
Sirop: A Small IR for HLS with
Parallel Patterns.
Proceedings of the 27th ACM SIGPLAN/SIGBED International Conference on
Languages, Compilers, and Tools for Embedded Systems, LCTES, 2026.
CGO’26 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’26 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’26 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’26 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’25 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.
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
Adam Musa
Sep’24–
Machine Learning Guided Equality Saturation
Louis
Hildebrand May’26–
Contributing to the CERN ATLAS Liquid Argon Calorimeter trigger and
readout systems through the design and implementation of custom FPGA
firmware using HLS.
Lu Li
2018–2020
Michel Steuwer
2015–2017
Thibaut Lutz
2015–2015
Jonathan Van der
Cruysse PhD’26
Equality Saturation for High Performance Code and Hardware
Generation
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
Louis
Hildebrand MSc’26
A Minimal Intermediate Language for Generating Streaming
Accelerators
Hamza Javed
MSc’25
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 |