Ian Briggs

According to our database, Ian Briggs authored at least 17 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Implementation and Synthesis of Math Library Functions.

Ian Briggs, Yash Lad, Pavel Panchekha

Proc. ACM Program. Lang., January, 2024

2022

Synthesizing Mathematical Identities with E-Graphs.

Ian Briggs, Pavel Panchekha

CoRR, 2022

Choosing mathematical function implementations for speed and accuracy.

Ian Briggs, Pavel Panchekha

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Faster Math Functions, Soundly.

Ian Briggs, Pavel Panchekha

CoRR, 2021

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

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

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

An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis.

Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy

CoRR, 2020

Scalable yet rigorous floating-point error analysis.

Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha

Proceedings of the International Conference for High Performance Computing, 2020

ArcherGear: data race equivalencing for expeditious HPC debugging.

Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

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

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

Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing, 2019

DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging.

Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan

Proceedings of the 2019 IEEE International Conference on Cluster Computing, 2019

2017

Rigorous floating-point mixed-precision tuning.

Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Moving the Needle on Rigorous Floating-Point Precision Tuning.

Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the Automated Formal Methods, 2017

FLiT: Cross-platform floating-point result-consistency tester and workload.

Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn

Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017

1985

Rectification of multichannel images in mass storage using image transposition.

Donald Fraser, Robert A. Schowengerdt, Ian Briggs

Comput. Vis. Graph. Image Process., 1985