Thomas Koehler

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 10

Top Topics

Language Teaching

Top Venues

Proc. ACM Program. Lang.

Educ. Inf. Technol.

Interact. Technol. Smart Educ.

Publications

Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, Michael F. P. O'Boyle
Rewriting History: Repurposing Domain-Specific CGRAs. CoRR (2023)
Thomas Koehler
A Domain-Extensible Compiler with Controllable Automation of Optimisations. CoRR (2022)
Michel Steuwer, Thomas Koehler, Bastian Köpcke, Federico Pizzuti
RISE & Shine: Language-Oriented Compiler Design. CoRR (2022)
Thomas Koehler, Phil Trinder, Michel Steuwer
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR (2021)
Jevgenija Rudzusika, Thomas Koehler, Ozan Öktem
Deep learning based dictionary learning and tomographic image reconstruction. CoRR (2021)
Thomas Koehler, Michel Steuwer
Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs. CGO (2021)
Saeedeh Kavoshian, Saeed Ketabi, Mansoor Tavakoli, Thomas Koehler
Construction and validation of Mobile Social Network Sites Utility Perceptions Inventory (MUPI) and exploration of English as foreign language teachers' perceptions of MSNSs for language teaching and learning. Educ. Inf. Technol. 25 (4) (2020)
Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, Michel Steuwer
A Language for Describing Optimization Strategies. CoRR (2020)
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. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Andrea Petreto, Arthur Hennequin, Thomas Koehler, Thomas Romera, Yohan Fargeix, Boris Gaillard, Manuel Bouyer, Quentin L. Meunier, Lionel Lacassagne
Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures. DASIP (2018)
Helge Fischer, Linda Heise, Matthias Heinz, Kathrin Möbius, Thomas Koehler
How to identify e-learning trends in academic teaching: Methodological approaches and the analysis of scientific discourses. Interact. Technol. Smart Educ. 12 (1) (2015)
Franz M. Epple, Sebastian Ehn, Pierre Thibault, Thomas Koehler, Guillaume Potdevin, Julia Herzen, David Pennicard, Heinz Graafsma, Peter B. Noël, Franz Pfeiffer
Phase Unwrapping in Spectral X-Ray Differential Phase-Contrast Imaging With an Energy-Resolving Photon-Counting Pixel Detector. IEEE Trans. Medical Imaging 34 (3) (2015)
Eric M. Schwarz, Mark A. Check, Chung-Lung Kevin Shum, Thomas Koehler, Scott B. Swaney, John D. MacDougall, Christopher A. Krygowski
The microarchitecture of the IBM eServer z900 processor. IBM J. Res. Dev. 46 (4-5) (2002)