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

Vectorised Computation of Diverging Ensembles., , , and . ICPP, page 51:1-51:10. ACM, (2018)Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems., , , , and . Euro-Par, volume 11725 of Lecture Notes in Computer Science, page 87-100. Springer, (2019)Towards Self-Verification in Finite Difference Code Generation., , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code., , , and . CORRECTNESS@SC, page 34-41. ACM, (2017)Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates., , , , , , , , and . PASC, page 6:1-6:10. ACM, (2024)TROPHY: Trust Region Optimization Using a Precision Hierarchy., , , , , and . ICCS (1), volume 13350 of Lecture Notes in Computer Science, page 445-459. Springer, (2022)Reducing Memory Requirements of Quantum Optimal Control., , , , and . ICCS (4), volume 13353 of Lecture Notes in Computer Science, page 129-142. Springer, (2022)Reverse-mode automatic differentiation and optimization of GPU kernels via enzyme., , , , , , and . SC, page 61. ACM, (2021)Error Estimation and Correction Using the Forward CENA Method., and . ICCS (1), volume 12742 of Lecture Notes in Computer Science, page 765-778. Springer, (2021)Verifying Fortran Programs with CIVL., , , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 106-124. Springer, (2022)