Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Guided Equality Saturation., , , , , and . Proc. ACM Program. Lang., 8 (POPL): 1727-1758 (January 2024)QSSA: an SSA-based IR for Quantum computing., , and . CC, page 2-14. ACM, (2022)Mixed-data-model heterogeneous compilation and OpenMP offloading., , , , , , and . CC, page 119-131. ACM, (2020)A fast analytical model of fully associative caches., , , and . PLDI, page 816-829. ACM, (2019)Lambda the Ultimate SSA: Optimizing Functional Programs in SSA., and . CGO, page 1-11. IEEE, (2022)Extracting clean performance models from tainted programs., , , , , and . PPoPP, page 403-417. ACM, (2021)A decoupled approach to high-level loop optimization: tile shapes, polyhedral building blocks and low-level compilers. Paris 6, (2014)mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis., , , and . PACT, page 39-50. IEEE, (2023)Automatic Generation of Multi-Objective Polyhedral Compiler Transformations., , , , and . PACT, page 83-96. ACM, (2020)LLHD: a multi-level intermediate representation for hardware description languages., , , and . PLDI, page 258-271. ACM, (2020)