- A Domain-Extensible Compiler with Controllable Automation of Optimisations
PhD Viva, Virtual
2022-12-06 - A Term Rewriting Path to High-Performance
INRIA CAMUS, Strasbourg, France
2022-08-25 - Sketch-Guided Program Optimization
TUM, Munich, Germany
2022-07-22 - Sketch-Guided Equality Saturation
EGRAPHS Workshop, PLDI Conference, San Diego, CA, US
2022-06-14 - Sketch-Guided Program Optimisation
Saarland University
2022-04-13 - Sketch-Guided Equality Saturation
Glasgow PLUG Seminar, Virtual
2022-02-22 - Optimizing Processing Pipelines with a Rewrite-Based Domain-Extensible
Compiler
Huawei CSI Paris Seminar, Virtual
2021-12-08 - Optimizing Processing Pipelines with a Rewrite-Based Domain-Extensible
Compiler
Languages, Systems, and Data Seminar from the University of California, Santa Cruz, Virtual
2021-11-05 - Optimizing Functional Programs with Equality Saturation
Scottish Programming Languages Seminar, Virtual
2021-06-30 - Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs
International Symposium on Code Generation and Optimization, Virtual
2021-03-01 - Optimizing Image Processing Pipelines with a Domain-Extensible Compiler
Systems seminar at the University of Glasgow, UK
2020-10-06 - Development of efficient image processing applications
Systems seminar at the University of Glasgow, UK
2019-01-15In this talk I introduce my background and my PhD around the development of efficient image processing applications. I share internship experiences justifying the benefit to simplify such development and leading to my PhD research in the Lift project.