Implementation and Synthesis of Math Library Functions.
Proc. ACM Program. Lang., January, 2024
Synthesizing Mathematical Identities with E-Graphs.
CoRR, 2022
Choosing mathematical function implementations for speed and accuracy.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Faster Math Functions, Soundly.
CoRR, 2021
Keeping science on keel when software moves.
Commun. ACM, 2021
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation.
ACM Trans. Archit. Code Optim., 2020
FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation.
ACM Trans. Archit. Code Optim., 2020
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis.
CoRR, 2020
Scalable yet rigorous floating-point error analysis.
Proceedings of the International Conference for High Performance Computing, 2020
ArcherGear: data race equivalencing for expeditious HPC debugging.
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.
ACM Trans. Program. Lang. Syst., 2019
Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs.
Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing, 2019
DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging.
Proceedings of the 2019 IEEE International Conference on Cluster Computing, 2019
Rigorous floating-point mixed-precision tuning.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Moving the Needle on Rigorous Floating-Point Precision Tuning.
Proceedings of the Automated Formal Methods, 2017
FLiT: Cross-platform floating-point result-consistency tester and workload.
Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017
Rectification of multichannel images in mass storage using image transposition.
Comput. Vis. Graph. Image Process., 1985