Dinesh Reddy Ankireddy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2025
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICCD | FV-PAL: Scalable Formal Verification through Partitioning and LLM-Guided Property Generation. | Sudipta Paria, Aritra Dasgupta, Dinesh Reddy Ankireddy, Prabuddha Chakraborty, Swarup Bhunia |
| 2025 | VTS | CLIP: A Structural Approach to Cut Points Matching for Logic Equivalence Checking. | Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia |