jacksonvanover
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, DavisSacramento
Pinned Repositories
adapt
deep-q-learning
ECS32Bgrading
Automated graders written for homework assignments in ECS 32B, Winter 2019
latex-template
mpmath
Python library for arbitrary-precision floating-point arithmetic
origami
"The Shortcomings of the Field of Constructible Numbers: Generating Field Extensions with Origami". Senior thesis, researched and written in the winter of 2016, to complete a BA in computational mathematics at the University of California, Santa Cruz.
recommendation-system
Machine Learning Approaches to Netflix Recommendation: unsupervised learners implemented using spectral clustering and matrix completion to provide film recommendations.
scikit-learn
scikit-learn: machine learning in Python
FPDiff
FPDiff 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 classes of functions that are synonymous, and executes differential tests over these classes to detect meaningful numerical discrepancies between implementations. FPDiff's current scope covers special functions across numerical libraries written in different programming languages. This artifact in particular includes the following libraries: the C library GSL (The GNU Scientific Library, version 2.6), the Python libraries SciPy (version 1.3.1) and mpmath (version 1.1.0), and the JavaScript library jmat (commit 21d15fc3eb5a924beca612e337f5cb00605c03f3).
PROSE
PROSE is a tool for automated floating-point precision tuning of Fortran code designed to target large weather and climate models.
jacksonvanover's Repositories
jacksonvanover/ECS32Bgrading
Automated graders written for homework assignments in ECS 32B, Winter 2019
jacksonvanover/adapt
jacksonvanover/deep-q-learning
jacksonvanover/latex-template
jacksonvanover/mpmath
Python library for arbitrary-precision floating-point arithmetic
jacksonvanover/origami
"The Shortcomings of the Field of Constructible Numbers: Generating Field Extensions with Origami". Senior thesis, researched and written in the winter of 2016, to complete a BA in computational mathematics at the University of California, Santa Cruz.
jacksonvanover/recommendation-system
Machine Learning Approaches to Netflix Recommendation: unsupervised learners implemented using spectral clustering and matrix completion to provide film recommendations.
jacksonvanover/scikit-learn
scikit-learn: machine learning in Python
jacksonvanover/visualization-systems
ECS 272 Information Visualization