Christophe Dubach

Selected publications

• 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.