Ian Briggs

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