| Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies B Hagedorn, J Lenfers, T Koehler, X Qin, S Gorlatch, M Steuwer Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 75* | 2020 |
| Energy and execution time comparison of optical flow algorithms on SIMD and GPU architectures A Petreto, A Hennequin, T Koehler, T Romera, Y Fargeix, B Gaillard, ... 2018 Conference on Design and Architectures for Signal and Image Processing …, 2018 | 27 | 2018 |
| Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings T Koehler, P Trinder, M Steuwer arXiv preprint arXiv:2111.13040, 2021 | 13* | 2021 |
| Towards a domain-extensible compiler: optimizing an image processing pipeline on mobile cpus T Koehler, M Steuwer 2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021 | 12 | 2021 |
| RISE & shine: Language-oriented compiler design M Steuwer, T Koehler, B Köpcke, F Pizzuti arXiv preprint arXiv:2201.03611, 2022 | 11 | 2022 |
| Meteorix: a cubesat mission dedicated to the detection of meteors N Rambaux, P Keckhut, A Hauchecorne, D Galayko, G Guignan, ... 42nd COSPAR Scientific Assembly 42, B0. 2-23-18, 2018 | 8 | 2018 |
| Guided Equality Saturation T Koehler, A Goens, S Bhat, T Grosser, P Trinder, M Steuwer Proceedings of the ACM on Programming Languages 8 (POPL), 1727-1758, 2024 | 4 | 2024 |
| Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies B Hagedorn, J Lenfers, T Koehler, X Qin, S Gorlatch, M Steuwer Communications of the ACM 66 (3), 89-97, 2023 | 4 | 2023 |
| 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 A Petreto, A Hennequin, T Koehler, T Romera, Y Fargeix, B Gaillard, ... Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2018), 2018 | 4 | 2018 |
| Rewriting History: Repurposing Domain-Specific CGRAs J Woodruff, T Koehler, A Brauckmann, C Cummins, S Ainsworth, ... arXiv preprint arXiv:2309.09112, 2023 | 3 | 2023 |
| A domain-extensible compiler with controllable automation of optimisations T Koehler arXiv preprint arXiv:2212.12035, 2022 | 3 | 2022 |
| Sketch-Guided Equality Saturation T Koehler, P Trinder, M Steuwer CoRR, 2022 | 2 | 2022 |
| SHINE & T Koehler, M Steuwer | 2 | 2012 |
| Interactive Source-to-Source Optimizations Validated using Static Resource Analysis G Bertholon, A Charguéraud, T Kœhler, B Bytyqi, D Rouhling Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of …, 2024 | | 2024 |
| Source-to-Source Optimizations Validated using Separation Logic G Bertholon, A Charguéraud, T Koehler 35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024 | | 2024 |
| OptiTrust: an Interactive Optimization Framework T Kœhler, A Charguéraud, B Bytyqi, D Rouhling, YA Barsamian ARRAY 2023-Workshop-PLDI 2023, 2023 | | 2023 |
| Slotted E-Graphs R Schneider, T Kœhler, M Steuwer | | |
| Towards Image Processing on Embedded Hardware with Lift T Kœhler | | |
Michel SteuwerProfessor | TU Berlin | Chair of Compilers and Programming LanguagesVerifisert e-postadresse på tu-berlin.de