Thomas Koehler -

Registered user since Mon 18 Jan 2021

Name:Thomas Koehler

Country:France

Affiliation:CNRS, ICube lab

Personal website: https://thok.eu

GitHub: https://github.com/Bastacyclop

Research interests:Programming Languages, Compilation, High Performance, Parallel Programming, Heterogeneous Programming

Contributions

2025

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2024

PLDI

Committee Member in Organizing Committee within the SRC-track

SOAP

Author of Interactive Source-to-Source Optimizations Validated using Static Resource Analysis within the SOAP 2024-track

EGRAPHS

POPL

Author of Guided Equality Saturation within the POPL-track

2023

ARRAY

Author of OptiTrust: an Interactive Optimization Framework within the ARRAY 2023-track

EGRAPHS

Committee Member in Program Committee within the EGRAPHS 2023-track

2022

EGRAPHS

Author of Sketch-Guided Equality Saturation within the EGRAPHS 2022-track

PLDI

Author of (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies within the SIGPLAN Track-track

ARRAY

Committee Member in Program Committee within the ARRAY 2022-track

2021

CGO

Author of Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs within the Main Conference-track

2020

ICFP

Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track