ISSTA 2020 (series) / Jackson Vanover

Registered user since Fri 22 May 2020
Name: Jackson Vanover
Bio: 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.
Country: United States
Affiliation: University of California, Davis
Personal website: https://github.com/jacksonvanover
Research interests: Software Testing, Numerical Programs, Floating Point Computations
Contributions
ISSTA 2020 | Discovering Discrepancies in Numerical Libraries | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2020-profile
View general profile
View general profile