Registered user since Fri 22 May 2020
MS in CS at University of California, Davis, with a focus on developing tools for numerical software testing with the Programming Languages and Software Engineering research group. BA in mathematics from University of California, Santa Cruz.
|ISSTA 2020||Discovering Discrepancies in Numerical Libraries|
|Show activities from other conferences|
View general profile