About

I am Jackson Vanover. I received my Ph.D. in Computer Science from UC Davis where I studied numerical computing and systems research with an emphasis on practical tools for testing and tuning floating-point code.

For some working notes on what I’m currently learning about, check out recent posts to my blog. For a high-level explainer of some of the work I did during my dissertation, you can check out this blog post in which I demonstrate how a tool I designed can find latent exception-handling failures in floating-point code.

Recent News

[11/05/25] A recording of the talk I gave at this year’s BLIS retreat is now available to stream: [YouTube]

[10/04/25] I gave a talk at DMML70, a workshop held in celebration of Jim Demmel’s 70th birthday. [Workshop Website]

[09/26/25] I gave a talk at this year’s BLIS retreat. [Retreat Website]

[09/12/25] I received my Ph.D. in Computer Science from UC Davis!

[05/07/25] Our paper, EXCVATE: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries, received a Best Paper Award at ARITH’25. [Photo][Press Release]

[02/13/25] Paper accepted at ARITH’25. [Conference Website]