Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
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 2020Author of Discovering Discrepancies in Numerical Libraries within the Technical Papers-track
Show activities from other conferences

ISSTA 2020-profile
View general profile