Disha Puri

Real Time Automatic Blackboard Eraser Using Embedded System

Sanket Nirmal, Khushboo Kartari, Disha Puri, 2016 .

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Fei Xie, Sandip Ray, Disha Puri, 2014, ACL2.

Mechanical Certification of Loop Pipelining Transformations: A Preview

Fei Xie, Sandip Ray, Disha Puri, 2014, ITP.

Certifying Loop Pipelining Transformations in Behavioral Synthesis

Disha Puri, Disha Puri, 2017 .