- A Case For Interactive Optimization Assistants
User-Schedulable Languages Workshop @ ASPLOS, Rotterdam, Netherlands
2025-03-31 - Guided Equality Saturation
Lunch Meeting @ AST Lab, ETH Zürich, Switzerland
2025-02-28 - OptiTrust: Producing Trustworthy High-Performance Code via Source-to-Source Transformations
Saarland University
2025-02-07 - Towards Safe Interactive Optimization Across Layers
Inria CORSE, Grenoble, FR
2024-11-28 - Towards Safe Interactive Optimization Across Layers
Inria CASH, Lyon, FR
2024-07-08 - Optimisation de Programmes Interactive et Holistique
Laboratoire Méthodes Formelles, Gif-sur-Yvette, FR
2024-07-03 - Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
SOAP Workshop, PLDI Conference, Copenhagen, DK
2024-06-25 - Guided Equality Saturation
Journées AFADL (Approches Formelles pour l'Assistance au Développement de Logiciels), GDR GPL 2024, Strasbourg, France
2024-06-05 - Guided Equality Saturation
MIT Programming Languages Review, Cambridge, US
2024-05-04 - Guided Equality Saturation
EGRAPHS Community Meeting, Virtual
2024-03-21 - Guided Equality Saturation
POPL Conference, London, UK
2024-01-19 - OptiTrust: An Interactive Optimization Framework
Seminar at the University of Edinburgh, UK
2023-06-28 - OptiTrust: An Interactive Optimization Framework
Systems/PLUG Seminar at the University of Glasgow, UK
2023-06-27 - OptiTrust: An Interactive Optimization Framework
ARRAY Workshop, PLDI Conference, Orlando, Florida, US
2023-06-18 - Demo: Optimizing Matrix Multiplication and Corner Detection with OptiTrust
INRIA CAMUS, Strasbourg, France
2023-06-07 - Interactive Source-to-source Code Optimization with OptiTrust
Rencontres de la communauté française de compilation, Grenoble, France
2023-03-22 - Demo: Optimizing Matrix Multiplication with OptiTrust
OptiTrust ANR Project Launch Day, Strasbourg, France
2023-02-28 - Introductory Demo: Optimizing Image Blurring with OptiTrust
Visite d'étudiants en L1, ICube, Strasbourg, France
2023-01-30 - 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 - Poster: A Domain-Extensible Compiler to Optimize for Evolving Algorithms and Hardware
Scottish Programming Languages and Verification Summer School
2021-08-17 - 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
CGO 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 - Poster: Optimizing Image Processing with an Extensible Compiler
Google Compiler and Programming Language Summit, Munich, Germany
2019-12-09 - Poster: An Extensible Compiler to Optimize Image Processing
SICSA PhD Conference at the University of Stirling, UK
2019-06-18 - 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.