Disha Puri

According to our database, Disha Puri authored at least 2 papers in 2014.

Collaborative distances:

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

2014

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Mechanical Certification of Loop Pipelining Transformations: A Preview.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014