Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies., , , , , and . Proc. ACM Program. Lang., 4 (ICFP): 92:1-92:29 (2020)A Language for Describing Optimization Strategies., , , , and . CoRR, (2020)Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs., and . CGO, page 27-38. IEEE, (2021)Interactive Source-to-Source Optimizations Validated using Static Resource Analysis., , , , and . SOAP@PLDI, page 26-34. ACM, (2024)Guided Equality Saturation., , , , , and . Proc. ACM Program. Lang., 8 (POPL): 1727-1758 (January 2024)Technical Design Considerations of a Human-Scale Talbot-Lau Interferometer for Dark-Field CT., , , , , , , , and . IEEE Trans. Medical Imaging, 42 (1): 220-232 (2023)A domain-extensible compiler with controllable automation of optimisations.. University of Glasgow, UK, (2022)British Library, EThOS.Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures., , , , , , , , and . DASIP, page 25-30. IEEE, (2018)Rewriting History: Repurposing Domain-Specific CGRAs., , , , , and . CoRR, (2023)TECGRAPH- Technical Computer Graphics: A program package for computer aided design., and . ACM Annual Conference, page 439-452. ACM, (1980)