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

Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code., and . AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 217-232. Springer, (2007)Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs., , , and . TFP, volume 13868 of Lecture Notes in Computer Science, page 92-105. Springer, (2023)Optimizing Teardrop, an MRI sampling trajectory., , and . Optim. Methods Softw., 23 (4): 575-592 (2008)An Optimized Cell BE Special Function Library Generated by Coconut., and . IEEE Trans. Computers, 58 (8): 1126-1138 (2009)Using Elm to Introduce Algebraic Thinking to K-8 Students., , , , , , , and . TFPIE@TFP, volume 270 of EPTCS, page 18-36. (2017)Graphics programming in elm develops math knowledge & social cohesion., , , , , , , and . CASCON, page 157-167. ACM, (2018)Hardware/software codesign for mathematical function acceleration., , , , and . CASCON, page 168-177. ACM, (2018)MultiLoop: efficient software pipelining for modern hardware., and . CASCON, page 260-263. IBM, (2007)High-performance computing with sparsity and structure: challenges and directions for single-core and multicore hardware., , and . CASCON, page 423-425. ACM, (2010)A Framework for Preadolescent Programmers to Create Cooperative Multiplayer Reading Games., , , , , , , , , and . IMCL, volume 909 of Advances in Intelligent Systems and Computing, page 163-174. Springer, (2018)