Rectification of multichannel images in mass storage using image transposition. - Donald Fraser; Robert A. Schowengerdt; Ian Briggs (Comput. Vis. Graph. Image Process., 1985)

FLiT: Cross-platform floating-point result-consistency tester and workload. - Geoffrey Sawaya; Michael Bentley; Ian Briggs; Ganesh Gopalakrishnan; Dong H. Ahn (IISWC, 2017)

Moving the Needle on Rigorous Floating-Point Precision Tuning. - Marek S. Baranowski; Ian Briggs; Wei-Fan Chiang; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Alexey Solovyev (AFM@NFM, 2017)

Rigorous floating-point mixed-precision tuning. - Wei-Fan Chiang; Mark Baranowski; Ian Briggs; Alexey Solovyev; Ganesh Gopalakrishnan; Zvonimir Rakamaric (POPL, 2017)

DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. - Saeed Taheri; Ian Briggs; Martin Burtscher; Ganesh Gopalakrishnan (CLUSTER, 2019)

Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs. - Michael Bentley; Ian Briggs; Ganesh Gopalakrishnan; Dong H. Ahn; Ignacio Laguna; Gregory L. Lee; Holger E. Jones (HPDC, 2019)

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. - Alexey Solovyev; Marek S. Baranowski; Ian Briggs; Charles Jacobsen; Zvonimir Rakamaric; Ganesh Gopalakrishnan (ACM Trans. Program. Lang. Syst., 2019)

ArcherGear: data race equivalencing for expeditious HPC debugging. - Samuel Thayer; Ganesh Gopalakrishnan; Ian Briggs; Michael Bentley; Dong H. Ahn; Ignacio Laguna; Gregory L. Lee (PPoPP, 2020)

Scalable yet rigorous floating-point error analysis. - Arnab Das; Ian Briggs; Ganesh Gopalakrishnan; Sriram Krishnamoorthy; Pavel Panchekha (SC, 2020)

An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis. - Arnab Das; Ian Briggs; Ganesh Gopalakrishnan; Sriram Krishnamoorthy (CoRR, 2020)

FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. - Ian Briggs; Arnab Das; Mark Baranowski; Vishal Chandra Sharma; Sriram Krishnamoorthy; Zvonimir Rakamaric; Ganesh Gopalakrishnan (ACM Trans. Archit. Code Optim., 2020)

FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. - Arnab Das; Sriram Krishnamoorthy; Ian Briggs; Ganesh Gopalakrishnan; Ramakrishna Tipireddy (ACM Trans. Archit. Code Optim., 2020)

Keeping science on keel when software moves. - Dong H. Ahn; Allison H. Baker; Michael Bentley; Ian Briggs; Ganesh Gopalakrishnan; Dorit M. Hammerling; Ignacio Laguna; Gregory L. Lee; Daniel J. Milroy; Mariana Vertenstein (Commun. ACM, 2021)

Faster Math Functions, Soundly. - Ian Briggs; Pavel Panchekha (CoRR, 2021)

Choosing mathematical function implementations for speed and accuracy. - Ian Briggs; Pavel Panchekha (PLDI, 2022)

Synthesizing Mathematical Identities with E-Graphs. - Ian Briggs; Pavel Panchekha (CoRR, 2022)

Implementation and Synthesis of Math Library Functions. - Ian Briggs; Yash Lad; Pavel Panchekha (Proc. ACM Program. Lang., 2024)