Harsha Valsaraju

According to our database, Harsha Valsaraju authored at least 3 papers between 2022 and 2026.

Collaborative distances:

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

2026

Fused FP8 Many-Terms Dot Product With Scaling and FP32 Accumulation.

David Raymond Lutz, Anisha Saini, Mairin Kroes, Thomas Elmer, Harsha Valsaraju, Javier D. Bruguera

IEEE Trans. Computers, March, 2026

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