Login / Signup
Disha Puri
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Database Management
Cooperative
Genetic Algorithm
Behavioral Patterns
Top Venues
ITP
ACL2
</>
Publications
</>
Disha Puri
,
Sandip Ray
,
Kecheng Hao
,
Fei Xie
Mechanical Certification of Loop Pipelining Transformations: A Preview.
ITP
(2014)
Disha Puri
,
Sandip Ray
,
Kecheng Hao
,
Fei Xie
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.
ACL2
(2014)