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

Path-Based Function Embedding and its Application to Specification Mining., , and . CoRR, (2018)Discovering discrepancies in numerical libraries., , and . ISSTA, page 488-501. ACM, (2020)Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code., , and . ISC, volume 13948 of Lecture Notes in Computer Science, page 381-401. Springer, (2023)Error propagation analysis for file systems., , , , and . PLDI, page 270-280. ACM, (2009)Precimonious: tuning assistant for floating-point precision., , , , , , , , and . SC, page 27:1-27:12. ACM, (2013)Precimonious: Tuning Assistant for Floating-Point Precision, , , , , , , , and . Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, (November 2013)Timezone and time-of-day variance in GitHub teams: an empirical method and study., , , and . SWAN@ESEC/SIGSOFT FSE, page 19-22. ACM, (2017)Giving Research Software Engineers a Larger Stage Through the Better Scientific Software Fellowship., , , , , , , , , and 4 other author(s). Comput. Sci. Eng., 24 (5): 6-13 (September 2022)Giving RSEs a Larger Stage through the Better Scientific Software Fellowship., , , , , , , , , and 4 other author(s). CoRR, (2022)Proposed Consistent Exception Handling for the BLAS and LAPACK., , , , , , , , , and . Correctness@SC, page 1-9. IEEE, (2022)