Harsha Valsaraju

According to our database, Harsha Valsaraju authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Fused FP8 4-Way Dot Product With Scaling and FP32 Accumulation.

David Raymond Lutz, Anisha Saini, Mairin Kroes, Thomas Elmer, Harsha Valsaraju

Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024

2022

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking.

David M. Russinoff, Javier D. Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022