| 2026 | ASPDAC | Automatic Recursion Elimination using Recurrence Relations for Synthesis of Stack-free Hardware. | Adam Musa, Christophe Dubach |
| 2026 | CC | Parallel and Customizable Equality Saturation. | Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach |
| 2026 | CGO | SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing. | Jonathan Van der Cruysse, Tzung-Han Juang, Shakiba Bolbolian Khah, Christophe Dubach |
| 2026 | CGO | Synthesizing Specialized Sparse Tensor Accelerators for FPGAs via High-Level Functional Abstractions. | Hamza Javed, Christophe Dubach |
| 2025 | ASPDAC | Hardware Synthesizable Exceptions using Continuations. | Paul Teng, Christophe Dubach |
| 2025 | CGO | DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog. | Abd-El-Aziz Zayed, Christophe Dubach |
| 2024 | CGO | Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation. | Jonathan Van der Cruysse, Christophe Dubach |
| 2023 | CC | LAGrad: Statically Optimized Differentiable Programming in MLIR. | Mai Jacob Peng, Christophe Dubach |
| 2022 | CC | Mapping parallelism in a functional IR through constraint satisfaction: a case study on convolution for mobile GPUs. | Naums Mogers, Lu Li, Valentin Radu, Christophe Dubach |
| 2022 | EuroPar | Generating Work Efficient Scan Implementations for GPUs the Functional Way. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2022 | PLDI | From functional to imperative: combining destination-passing style and views. | Zhitao Lin, Christophe Dubach |
| 2021 | EuroSys | Fast Optimisation of Convolutional Neural Network Inference using System Performance Models. | Rik Mulder, Valentin Radu, Christophe Dubach |
| 2021 | ICFP | Generating high performance code for irregular data structures using dependent types. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2021 | MICRO | SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. | Subhankar Pal, Aporva Amarnath, Siying Feng, Michael F. P. O'Boyle, Ronald G. Dreslinski, Christophe Dubach |
| 2020 | CC | Generating fast sparse matrix vector multiplication from a high level generic functional IR. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2020 | DLS | DelayRepay: delayed execution for kernel fusion in Python. | John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle |
| 2020 | PPoPP | Automatic generation of specialized direct convolutions for mobile GPUs. | Naums Mogers, Valentin Radu, Lu Li, Jack Turner, Michael F. P. O'Boyle, Christophe Dubach |
| 2020 | PPoPP | High-level hardware feature extraction for GPU performance prediction of stencils. | Toomas Remmelg, Bastian Hagedorn, Lu Li, Michel Steuwer, Sergei Gorlatch, Christophe Dubach |
| 2019 | ICFP | Position-dependent arrays and their application for high performance code generation. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2019 | PLDI | High-level synthesis of functional patterns with Lift. | Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach |
| 2018 | APSEC | Accelerated Finite State Machine Test Execution Using GPUs. | Vanya Yaneva, Arnav Kapoor, Ajitha Rajan, Christophe Dubach |
| 2018 | ASPLOS | Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. | Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle |
| 2018 | CGO | High performance stencil code generation with lift. | Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, Christophe Dubach |
| 2018 | PPoPP | Generating High Performance GPU Code using Rewrite Rules with Lift. | Christophe Dubach |
| 2017 | CGO | Lift: a functional data-parallel IR for high-performance GPU code generation. | Michel Steuwer, Toomas Remmelg, Christophe Dubach |
| 2017 | ISSTA | Compiler-assisted test acceleration on GPUs for embedded software. | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
| 2017 | ISSTA | ParTeCL: parallel testing using OpenCL. | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
| 2017 | VEE | Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation. | Juan Jos Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach |
| 2016 | CASES | Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. | Michel Steuwer, Toomas Remmelg, Christophe Dubach |
| 2016 | PPoPP | Performance portable GPU code generation for matrix multiplication. | Toomas Remmelg, Thibaut Lutz, Michel Steuwer, Christophe Dubach |
| 2015 | ICFP | Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. | Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach |
| 2015 | MIG | Carpet unrolling for character control on uneven terrain. | Mark Miller, Daniel Holden, Rami Ali Al-Ashqar, Christophe Dubach, Kenny Mitchell, Taku Komura |
| 2014 | ASPLOS | Exploiting GPU Hardware Saturation for Fast Compiler Optimization. | Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle |
| 2014 | PLDI | A Composable Array Function Interface for Heterogeneous Computing in Java. | Juan Jos Fumero, Michel Steuwer, Christophe Dubach |
| 2014 | PLDI | Community-driven reviewing and validation of publications. | Grigori Fursin, Christophe Dubach |
| 2013 | SC | A large-scale cross-architecture evaluation of thread-coarsening. | Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle |
| 2012 | PLDI | Compiling a high-level language for GPUs: (via language support for architectures and compilers). | Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink |
| 2010 | MICRO | A Predictive Model for Dynamic Microarchitectural Adaptivity Control. | Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Michael F. P. O'Boyle |
| 2009 | ICCD | Rapid early-stage microarchitecture design using predictive models. | Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle |
| 2009 | MICRO | Portable compiler optimisation across embedded programs and microarchitectures using machine learning. | Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle |
| 2008 | CASES | Exploring and predicting the architecture/optimising compiler co-design space. | Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle |
| 2007 | MICRO | Microarchitectural Design Space Exploration Using an Architecture-Centric Approach. | Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle |
| 2006 | CASES | Automatic performance model construction for the fast software exploration of new hardware designs. | John Cavazos, Christophe Dubach, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Grigori Fursin, Olivier Temam |