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