Discovering discrepancies in numerical libraries. - Jackson Vanover; Xuan Deng; Cindy Rubio-González (ISSTA, 2020)

Approximate Computing Through the Lens of Uncertainty Quantification. - Konstantinos Parasyris; James Diffenderfer; Harshitha Menon; Ignacio Laguna; Jackson Vanover; Ryan Vogt; Daniel Osei-Kuffuor (SC, 2022)

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 Prof., 2023)

Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. - Jackson Vanover; Alper Altuntas; Cindy Rubio-González (SC Workshops, 2024)

Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries. - Jackson Vanover; James Demmel; Xiaoye Sherry Li; Cindy Rubio-González (ARITH, 2025)