2025
- Towards Interactive Program Optimization with Guaranteed Numerical Accuracy
IRMIA++ Seminar, University of Strasbourg, France - Towards Safe Interactive Optimization Across Layers
Datalogi, Uppsala University, Sweden - A Case For Interactive Optimization Assistants
User-Schedulable Languages Workshop @ ASPLOS, Rotterdam, Netherlands - Guided Equality Saturation
Lunch Meeting @ AST Lab, ETH Zürich, Switzerland - OptiTrust: Producing Trustworthy High-Performance Code via Source-to-Source Transformations
Saarland University
2024
- Towards Safe Interactive Optimization Across Layers
Inria CORSE, Grenoble, FR - Towards Safe Interactive Optimization Across Layers
Inria CASH, Lyon, FR - Optimisation de Programmes Interactive et Holistique
Laboratoire Méthodes Formelles, Gif-sur-Yvette, FR - Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
SOAP Workshop, PLDI Conference, Copenhagen, DK - Guided Equality Saturation
Journées AFADL (Approches Formelles pour l'Assistance au Développement de Logiciels), GDR GPL 2024, Strasbourg, France - Guided Equality Saturation
MIT Programming Languages Review, Cambridge, US - Guided Equality Saturation
EGRAPHS Community Meeting, Virtual - Guided Equality Saturation
POPL Conference, London, UK
2023
- OptiTrust: An Interactive Optimization Framework
Seminar at the University of Edinburgh, UK - OptiTrust: An Interactive Optimization Framework
Systems/PLUG Seminar at the University of Glasgow, UK - OptiTrust: An Interactive Optimization Framework
ARRAY Workshop, PLDI Conference, Orlando, Florida, US - Demo: Optimizing Matrix Multiplication and Corner Detection with OptiTrust
INRIA CAMUS, Strasbourg, France - Interactive Source-to-source Code Optimization with OptiTrust
Rencontres de la communauté française de compilation, Grenoble, France - Demo: Optimizing Matrix Multiplication with OptiTrust
OptiTrust ANR Project Launch Day, Strasbourg, France - Introductory Demo: Optimizing Image Blurring with OptiTrust
Visite d'étudiants en L1, ICube, Strasbourg, France
2022
- A Domain-Extensible Compiler with Controllable Automation of Optimisations
PhD Viva, Virtual - A Term Rewriting Path to High-Performance
INRIA CAMUS, Strasbourg, France - Sketch-Guided Program Optimization
TUM, Munich, Germany - Sketch-Guided Equality Saturation
EGRAPHS Workshop, PLDI Conference, San Diego, CA, US - Sketch-Guided Program Optimisation
Saarland University - Sketch-Guided Equality Saturation
Glasgow PLUG Seminar, Virtual
2021
- Optimizing Processing Pipelines with a Rewrite-Based Domain-Extensible
Compiler
Huawei CSI Paris Seminar, Virtual - Optimizing Processing Pipelines with a Rewrite-Based Domain-Extensible
Compiler
Languages, Systems, and Data Seminar from the University of California, Santa Cruz, Virtual - Poster: A Domain-Extensible Compiler to Optimize for Evolving Algorithms and Hardware
Scottish Programming Languages and Verification Summer School - Optimizing Functional Programs with Equality Saturation
Scottish Programming Languages Seminar, Virtual - Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs
CGO International Symposium on Code Generation and Optimization, Virtual
2020
- Optimizing Image Processing Pipelines with a Domain-Extensible Compiler
Systems seminar at the University of Glasgow, UK
2019
- Poster: Optimizing Image Processing with an Extensible Compiler
Google Compiler and Programming Language Summit, Munich, Germany - Poster: An Extensible Compiler to Optimize Image Processing
SICSA PhD Conference at the University of Stirling, UK - Development of efficient image processing applications
Systems seminar at the University of Glasgow, UKIn 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.