ComPort Publications

Reliable HPC and ML through Advances in Floating-Point Exception Elimination

Xinyi Li and Ganesh Gopalakrishnan

2023 GTC Poster

Link

FlowFPX: Nimble tools for debugging floating-point exceptions

Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Green and Ganesh Gopalakrishnan

2023 JuliaCon Conference 

Link
YouTube

LLFPTrax: Tracking ill-conditioned floating-point inputs using relative error amplification in LLVM (Poster)

Tanmay Tirpankar

2022 LLVM Developers' Meeting

Link

Toward Precision-Aware Fault Tolerance Approaches for Mixed-Precision Applications

Bo Fang, Siva Hari, Timothy Tsai, Xinyi Li, Ganesh Gopalakrishnan, Ignacio Laguna, Kevin Barker, Ang Li

12th Workshop on Fault-Tolerance for HPC at Extreme Scale (FTXS 2022) 

Link

FLOAT: Framework for Workflow Analysis, Visualization and Transformation

John Jacobson, Michael Bentley, Cayden Lund and Ganesh Gopalakrishnan

TestVis workshop  (VIS 2022)

Bit-GraphBLAS: Bit-Level Optimizations of Matrix-Centric Graph Processing on GPU

Jou-An Chen, Hsin-Hsuan Sung , Nathan Tallent, Kevin Barker, Xipeng Shen and Ang Li

36th IEEE International Parallel & Distributed Processing Symposium, 2022 

Dissecting Tensor Cores via Microbenchmarks: Latency, Throughput and Numerical Behaviors

Wei Sun, Ang Li, Tong Geng, Sander Stuijk, Henk Corporaal

IEEE Transactions on Parallel and Distributed Systems, 2022 

Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization

Ignacio Laguna and Ganesh Gopalakrishnan

Supercomputing (SC) 2022

FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC

Ignacio Laguna, Tanmay Tirpankar, Xinyi Li, Ganesh Gopalakrishnan

IEEE International Symposium on Workload Characterization (IISWC) 2022

Link
GitHub

BinFPE: Accurate Floating-Point Exception Detection for GPU Applications

Ignacio Laguna,  Xinyi Li, Ganesh Gopalakrishnan

11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)

Link
GitHub

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony Fox

ECOOP 2022

Choosing Mathematical Function Implementations for Speed and Accuracy 

Ian Briggs, Pavel Panchekha

Programming Language Design and Implementation (PLDI) 2022

Synthesizing Mathematical Identities with E-graphs 

Ian Briggs, Pavel Panchekha

E-Graph Research, Applications, Practices, and Human-factors Symposium (EGRAPHS) 2022

Towards Precision-Aware Fault Tolerance Approaches for Mixed-Precision Applications

Bo Fang, Xinyi Li, Ignacio Laguna, Ang Li,  (others), Ganesh Gopalakrishnan

FTXS 2022: Workshop on Fault Tolerance for HPC at eXtreme Scale

Toward Increasing Trust in Exascale Simulations

Dorra Ben Khalifa, Xinyi Li, Matthieu Martel, and Ganesh Gopalakrishnan

SC22 Workshop: XLOOP (Extreme-scale Experiment-in-the-Loop)

Link

Automatic Synthesis of Area-Efficient and Precision-Aware CGRA

C. Tan, T. Tambe, J. Zhang, B. Fang, T. Geng, G. Wei, D. Brooks, A. Tumeo, G. Gopalakrishnan, A. Li

36th ACM International Conference on Supercomputing, 2022

Guarding Numerics Amidst Rising Heterogeneity

Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock

Software Correctness for HPC Applications (CORRECTNESS) 2021