Author of the publication

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code.

, , , and . CORRECTNESS@SC, page 34-41. ACM, (2017)

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

Transforming the multifluid PPM algorithm to run on GPUs., and . J. Parallel Distributed Comput., (2016)Early Experience with Transformer-Based Similarity Analysis for DataRaceBench., , , , and . Correctness@SC, page 45-53. IEEE, (2022)Supporting multiple accelerators in high-level programming models., , , , and . PMAM@PPoPP, page 170-180. ACM, (2015)CFD Builder: A Library Builder for Computational Fluid Dynamics., , , and . IPDPS Workshops, page 1029-1038. IEEE Computer Society, (2014)Enhancing domain specific language implementations through ontology., , , , and . WOLFHPC@SC, page 3:1-3:9. ACM, (2015)Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code., , , and . CORRECTNESS@SC, page 34-41. ACM, (2017)Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free., , , , , and . CORRECTNESS@SC, page 42-50. IEEE, (2018)High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench., and . Correctness@SC, page 1-8. IEEE, (2021)First experience of compressible gas dynamics simulation on the Los Alamos roadrunner machine., , , and . Concurr. Comput. Pract. Exp., 21 (17): 2160-2175 (2009)Interactive NLU-Powered Ontology-Based Workflow Synthesis for FAIR Support of HPC., , , , , , and . HUST@SC, page 29-40. IEEE, (2022)