Jackson’s Publications

EXCVATE: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries
Jackson Vanover, James Demmel, Xiaoye Sherry Li, Cindy Rubio González
Proceedings of the IEEE International Symposium on Computer Arithmetic (ARITH'25)
El Paso, TX, USA, May 4-7, 2025.
*Best Paper Award*
[Electronic Edition via DOI] >>
[Preprint] >>
[Code] >>

Toward Automated Precision Tuning of Weather and Climate Models: A Case Study
Jackson Vanover, Alper Altuntas, Cindy Rubio González
Proceedings of the International Workshop on Software Correctness for HPC Applications (CORRECTNESS'24)
Atlanta, GA, USA, November 17-22, 2024.
[Electronic Edition via DOI] >>
[Preprint] >>
[Code] >>

Approximate High-Performance Computing: A Fast and Energy-Efficient Computing Paradigm in the Post-Moore Era
Harshitha Menon, James Diffenderfer, Giorgis Georgakoudis, Ignacio Laguna, Michael O. Lam, Daniel Osei-Kuffuor, Konstantinos Parasyris, Jackson Vanover
IT Professional
Volume 25, Number 2, March-April 2023.
[Electronic Edition via DOI] >>

Approximate Computing Through the Lens of Uncertainty Quantification
Konstantinos Parasyris, James Diffenderfer, Harshitha Menon, Ignacio Laguna, Jackson Vanover, Ryan Vogt, Daniel Osei-Kuffuor
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC'22)
Dallas, TX, USA, November 13-18, 2022.
[Electronic Edition via DOI] >>

Discovering Discrepancies in Numerical Libraries
Jackson Vanover, Xuan Deng, Cindy Rubio González
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'20)
Los Angeles, CA, USA, July 18-22, 2020.
*Distinguished Artifact Award*
[Electronic Edition via DOI] >>
[Preprint] >>
[Code] >>