Pursuing PhD in CS at UC Davis, developing tools for numerical software testing with @ucd-plse research group. MS in CS, BA in mathematics.
-
University of California, Davis
- Sacramento
- https://orcid.org/0000-0003-0574-7587
Highlights
- Pro
Pinned Loading
-
ucd-plse/FPDiff
ucd-plse/FPDiff PublicFPDiff is a tool for automated, end-to-end differential testing that, given only library source code as input, extracts numerical function signatures, synthesizes drivers, creates equivalence class…
-
ucd-plse/PROSE
ucd-plse/PROSE PublicPROSE is a tool for automated floating-point precision tuning of Fortran code designed to target large weather and climate models.
Fortran 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.