Thomas Kœhler

Talks

Posters Talks Publications CV
  • 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

    PLDI website

  • 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

    20mn video

  • Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs
    International Symposium on Code Generation and Optimization, Virtual
    2021-03-01

    20mn video

  • 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-15

    In 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.

2022 Thomas Kœhler. Generator written in Scala while reading the MDN web docs. Powered by google fonts, fontawesome icons, and the Prism syntax highlighter.