V. M. Achutha KiranKumar

According to our database, V. M. Achutha KiranKumar authored at least 2 papers between 2012 and 2014.

Collaborative distances:

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

2014

Formally Verifying Graphics FPU - An Intel® Experience.

Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal

Proceedings of the FM 2014: Formal Methods, 2014

2012

Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU.

V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal

Proceedings of the Formal Methods in Computer-Aided Design, 2012