Ian Briggs - RankMe

20 papers A* 2A 2B 1C 1Journal 12Unranked 2

Year	Rank	Type	Title / 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