Thomas Kœhler

Publications

Posters Talks Publications CV
  • Thomas Koehler:
    A Domain-Extensible Compiler with Controllable Automation of Optimisations
    PhD Thesis
    2022-12

    University of Glasgow library arXiv library

  • Thomas Koehler, Phil Trinder, Michel Steuwer:
    Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings
    arXiv
    2021-11

    arXiv library

  • Thomas Koehler, Michel Steuwer:
    Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs
    International Symposium on Code Generation and Optimization
    2021-02

    20mn video IEEE library

  • Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer:
    Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
    International Conference on Functional Programming
    2020-08

    ACM library

  • Andrea Petreto, Arthur Hennequin, Thomas Koehler, Thomas Romera, Yohan Fargeix, Boris Gaillard, Manuel Bouyer, Quentin Meunier, Lionel Lacassagne:
    Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures
    Conference on Design and Architectures for Signal and Image Processing @ Porto, Portugal
    2018-08

    HAL archives

  • Andrea Petreto, Arthur Hennequin, Thomas Koehler, Thomas Romera, Yohan Fargeix, Boris Gaillard, Manuel Bouyer, Quentin Meunier, Lionel Lacassagne:
    Comparaison de la consommation énergétique et du temps d'exécution d'un algorithme de traitement d'images optimisé sur des architectures SIMD et GPU
    Conférence d'informatique en Parallélisme, Architecture et Système @ Toulouse, France
    2018-07

    HAL archives

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.