Ian Briggs

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 19

Top Topics

Sparse Matrices

Subgraph Isomorphism

Top Venues

ACM Trans. Archit. Code Optim.

Proc. ACM Program. Lang.

Publications

Ian Briggs, Yash Lad, Pavel Panchekha
Implementation and Synthesis of Math Library Functions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ian Briggs, Yash Lad, Pavel Panchekha
Implementation and Synthesis of Math Library Functions. CoRR (2023)
Ian Briggs, Pavel Panchekha
Choosing mathematical function implementations for speed and accuracy. PLDI (2022)
Ian Briggs, Pavel Panchekha
Synthesizing Mathematical Identities with E-Graphs. CoRR (2022)
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
Keeping science on keel when software moves. Commun. ACM 64 (2) (2021)
Ian Briggs, Pavel Panchekha
Faster Math Functions, Soundly. CoRR (2021)
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha
Scalable yet rigorous floating-point error analysis. SC (2020)
Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan
FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. ACM Trans. Archit. Code Optim. 16 (4) (2020)
Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. CoRR (2020)
Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee
ArcherGear: data race equivalencing for expeditious HPC debugging. PPoPP (2020)
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis. CoRR (2020)
Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. ACM Trans. Archit. Code Optim. 17 (3) (2020)
Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan
DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. CLUSTER (2019)
Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones
Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs. HPDC (2019)
Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones
Multi-level analysis of compiler induced variability and performance tradeoffs. CoRR (2018)
Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn
FLiT: Cross-platform floating-point result-consistency tester and workload. IISWC (2017)
Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Rigorous floating-point mixed-precision tuning. POPL (2017)
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM (2017)
Donald Fraser, Robert A. Schowengerdt, Ian Briggs
Rectification of multichannel images in mass storage using image transposition. Comput. Vis. Graph. Image Process. 29 (1) (1985)