ComPort Publications
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
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
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