Christophe Dubach

78 papers A* 6A 13B 11C 4Misc 4Journal 20Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Automatic Recursion Elimination using Recurrence Relations for Synthesis of Stack-free Hardware. ASP-DAC Adam Musa, Christophe Dubach
2026	B	`conf`	Parallel and Customizable Equality Saturation. CC Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach
2026	A	`conf`	SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing. CGO Jonathan Van der Cruysse, Tzung-Han Juang, Shakiba Bolbolian Khah, Christophe Dubach
2026	A	`conf`	Synthesizing Specialized Sparse Tensor Accelerators for FPGAs via High-Level Functional Abstractions. CGO Hamza Javed, Christophe Dubach
2025	A	`conf`	DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog. CGO Abd-El-Aziz Zayed, Christophe Dubach
2025	—	`conf`	Hardware Synthesizable Exceptions using Continuations. ASP-DAC Paul Teng, Christophe Dubach
2025	J	`jnl`	Maximizing Data and Hardware Reuse for HLS with Early-Stage Symbolic Partitioning. ACM Trans. Archit. Code Optim. Tzung-Han Juang, Christophe Dubach
2025	J	`jnl`	Sound and Modular Activity Analysis for Automatic Differentiation in MLIR. Proc. ACM Program. Lang. Mai Jacob Peng, William S. Moses, Oleksandr Zinenko, Christophe Dubach
2024	—	`conf`	Efficient Assignment with Time Constraints for Heterogeneous DSP Systems. SiPS Jiajie Li, Christophe Dubach, Warren J. Gross
2024	A	`ed.`	IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024 CGO Tobias Grosser, Christophe Dubach, Michel Steuwer, Jingling Xue, Guilherme Ottoni, ernando Magno Quintão Pereira
2024	A	`conf`	Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation. CGO Jonathan Van der Cruysse, Christophe Dubach
2023	B	`conf`	LAGrad: Statically Optimized Differentiable Programming in MLIR. CC Mai Jacob Peng, Christophe Dubach
2023	J	`jnl`	Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation. CoRR Jonathan Van der Cruysse, Christophe Dubach
2023	J	`jnl`	Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs. ACM Trans. Embed. Comput. Syst. Tzung-Han Juang, Christof Schlaak, Christophe Dubach
2023	A	`ed.`	Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2023, Montréal, QC, Canada, 25 February 2023- 1 March 2023 CGO Christophe Dubach, Derek Bruening, Ben Hardekopf
2022	—	`conf`	From functional to imperative: combining destination-passing style and views. ARRAY@PLDI Zhitao Lin, Christophe Dubach
2022	J	`jnl`	GPU acceleration of finite state machine input execution: Improving scale and performance. Softw. Test. Verification Reliab. Vanya Yaneva, Ajitha Rajan, Christophe Dubach
2022	—	`conf`	Generating Work Efficient Scan Implementations for GPUs the Functional Way. Euro-Par Federico Pizzuti, Michel Steuwer, Christophe Dubach
2022	B	`conf`	Mapping parallelism in a functional IR through constraint satisfaction: a case study on convolution for mobile GPUs. CC Naums Mogers, Lu Li, Valentin Radu, Christophe Dubach
2022	J	`jnl`	Memory-Aware Functional IR for Higher-Level Synthesis of Accelerators. ACM Trans. Archit. Code Optim. Christof Schlaak, Tzung-Han Juang, Christophe Dubach
2022	B	`conf`	Optimizing data reshaping operations in functional IRs for high-level synthesis. LCTES Christof Schlaak, Tzung-Han Juang, Christophe Dubach
2021	A	`conf`	Code Generation for Room Acoustics Simulations with Complex Boundary Conditions. IPDPS Larisa Stoltzfus, Brian Hamilton, Michel Steuwer, Lu Li, Christophe Dubach
2021	—	`conf`	Fast Optimisation of Convolutional Neural Network Inference using System Performance Models. EuroMLSys@EuroSys Rik Mulder, Valentin Radu, Christophe Dubach
2021	—	`conf`	Generating high performance code for irregular data structures using dependent types. FHPNC@ICFP Federico Pizzuti, Michel Steuwer, Christophe Dubach
2021	A*	`conf`	SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. MICRO Subhankar Pal, Aporva Amarnath, Siying Feng, Michael F. P. O'Boyle, Ronald G. Dreslinski, Christophe Dubach
2020	—	`conf`	Automatic generation of specialized direct convolutions for mobile GPUs. GPGPU@PPoPP Naums Mogers, Valentin Radu, Lu Li, Jack Turner, Michael F. P. O'Boyle, Christophe Dubach
2020	J	`jnl`	Binary Ostensibly-Implicit Trees for Fast Collision Detection. Comput. Graph. Forum Floyd M. Chitalu, Christophe Dubach, Taku Komura
2020	C	`conf`	DelayRepay: delayed execution for kernel fusion in Python. DLS John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle
2020	B	`conf`	Generating fast sparse matrix vector multiplication from a high level generic functional IR. CC Federico Pizzuti, Michel Steuwer, Christophe Dubach
2020	—	`conf`	High-level hardware feature extraction for GPU performance prediction of stencils. GPGPU@PPoPP Toomas Remmelg, Bastian Hagedorn, Lu Li, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
2020	J	`jnl`	Optimising the Performance of Convolutional Neural Networks across Computing Systems using Transfer Learning. CoRR Rik Mulder, Valentin Radu, Christophe Dubach
2020	J	`jnl`	Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift. ACM Trans. Archit. Code Optim. Larisa Stoltzfus, Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
2019	—	`conf`	High-level synthesis of functional patterns with Lift. ARRAY@PLDI Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach
2019	—	`conf`	Position-dependent arrays and their application for high performance code generation. FHPNC@ICFP Federico Pizzuti, Michel Steuwer, Christophe Dubach
2018	C	`conf`	Accelerated Finite State Machine Test Execution Using GPUs. APSEC Vanya Yaneva, Arnav Kapoor, Ajitha Rajan, Christophe Dubach
2018	A*	`conf`	Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle
2018	—	`conf`	Bulk-synchronous parallel simultaneous BVH traversal for collision detection on GPUs. I3D Floyd M. Chitalu, Christophe Dubach, Taku Komura
2018	—	`conf`	Generating High Performance GPU Code using Rewrite Rules with Lift. GPGPU@PPoPP Christophe Dubach
2018	A	`conf`	High performance stencil code generation with lift. CGO Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
2018	B	`ed.`	Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2018, Philadelphia, PA, USA, June 19-20, 2018 LCTES Zheng Zhang, Christophe Dubach
2018	B	`ed.`	Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria CC Christophe Dubach, Jingling Xue
2017	J	`jnl`	A Study of Dynamic Phase Adaptation Using a Dynamic Multicore Processor. ACM Trans. Embed. Comput. Syst. Paul-Jules Micolet, Aaron Smith, Christophe Dubach
2017	A	`conf`	Compiler-assisted test acceleration on GPUs for embedded software. ISSTA Vanya Yaneva, Ajitha Rajan, Christophe Dubach
2017	B	`conf`	Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation. VEE Juan José Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach
2017	A	`conf`	Lift: a functional data-parallel IR for high-performance GPU code generation. CGO Michel Steuwer, Toomas Remmelg, Christophe Dubach
2017	A	`conf`	ParTeCL: parallel testing using OpenCL. ISSTA Vanya Yaneva, Ajitha Rajan, Christophe Dubach
2017	J	`jnl`	Strategy Preserving Compilation for Parallel Functional Code. CoRR Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach
2016	B	`conf`	A machine learning approach to mapping streaming workloads to dynamic multicore processors. LCTES Paul-Jules Micolet, Aaron Smith, Christophe Dubach
2016	J	`jnl`	Diversity: A Design Goal for Heterogeneous Processors. IEEE Comput. Archit. Lett. Erik Tomusk, Christophe Dubach
2016	J	`jnl`	Four Metrics to Evaluate Heterogeneous Multicores. ACM Trans. Archit. Code Optim. Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
2016	Misc	`conf`	Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. CASES Michel Steuwer, Toomas Remmelg, Christophe Dubach
2016	—	`conf`	Performance portable GPU code generation for matrix multiplication. GPGPU@PPoPP Toomas Remmelg, Thibaut Lutz, Michel Steuwer, Christophe Dubach
2016	J	`jnl`	Selecting Heterogeneous Cores for Diversity. ACM Trans. Archit. Code Optim. Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
2015	C	`conf`	Carpet unrolling for character control on uneven terrain. MIG Mark Miller, Daniel Holden, Rami Ali Al-Ashqar, Christophe Dubach, Kenny Mitchell, Taku Komura
2015	A	`conf`	Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. ICFP Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach
2015	J	`jnl`	Patterns and Rewrite Rules for Systematic Code Generation (From High-Level Functional Patterns to High-Performance OpenCL Code). CoRR Michel Steuwer, Christian Fensch, Christophe Dubach
2015	—	`conf`	Runtime Code Generation and Data Management for Heterogeneous Computing in Java. PPPJ Juan José Fumero, Toomas Remmelg, Michel Steuwer, Christophe Dubach
2014	—	`conf`	A Composable Array Function Interface for Heterogeneous Computing in Java. ARRAY@PLDI Juan José Fumero, Michel Steuwer, Christophe Dubach
2014	B	`conf`	Automatic optimization of thread-coarsening for graphics processors. PACT Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
2014	—	`conf`	Community-driven reviewing and validation of publications. TRUST@PLDI Grigori Fursin, Christophe Dubach
2014	J	`jnl`	Community-driven reviewing and validation of publications. CoRR Grigori Fursin, Christophe Dubach
2014	—	`conf`	Exploiting GPU Hardware Saturation for Fast Compiler Optimization. GPGPU@ASPLOS Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
2014	B	`conf`	Measuring flexibility in single-ISA heterogeneous processors. PACT Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
2014	J	`jnl`	Proceedings of the 5th International Workshop on Adaptive Self-tuning Computing Systems 2015 (ADAPT'15). CoRR Christophe Dubach, Grigori Fursin
2013	A	`conf`	A large-scale cross-architecture evaluation of thread-coarsening. SC Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
2013	J	`jnl`	Dynamic microarchitectural adaptation using machine learning. ACM Trans. Archit. Code Optim. Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla
2012	A*	`conf`	Compiling a high-level language for GPUs: (via language support for architectures and compilers). PLDI Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink
2012	J	`jnl`	Exploring and Predicting the Effects of Microarchitectural Parameters and Compiler Optimizations on Performance and Energy. ACM Trans. Embed. Comput. Syst. Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2011	J	`jnl`	An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration. IEEE Trans. Computers Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2010	A*	`conf`	A Predictive Model for Dynamic Microarchitectural Adaptivity Control. MICRO Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Michael F. P. O'Boyle
2009	A*	`conf`	Portable compiler optimisation across embedded programs and microarchitectures using machine learning. MICRO Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle
2009	C	`conf`	Rapid early-stage microarchitecture design using predictive models. ICCD Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2009	—	`—`	Using machine-learning to efficiently explore the architecture/compiler co-design space. Christophe Dubach
2008	Misc	`conf`	Exploring and predicting the architecture/optimising compiler co-design space. CASES Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2007	—	`conf`	Fast compiler optimisation evaluation using code-feature based performance prediction. Conf. Computing Frontiers Christophe Dubach, John Cavazos, Björn Franke, Grigori Fursin, Michael F. P. O'Boyle, Olivier Temam
2007	A*	`conf`	Microarchitectural Design Space Exploration Using an Architecture-Centric Approach. MICRO Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2006	Misc	`conf`	Automatic performance model construction for the fast software exploration of new hardware designs. CASES John Cavazos, Christophe Dubach, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Grigori Fursin, Olivier Temam
2005	Misc	`conf`	Enabling unrestricted automated synthesis of portable hardware accelerators for virtual machines. CODES+ISSS Miljan Vuletic, Christophe Dubach, Laura Pozzi, Paolo Ienne