Priyanka Darke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2012–2025
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICECCS | Random Resampling of Training Data for Effective Verification Strategy Prediction. | Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty |
| 2025 | ISSRE | Does More Training Data Enhance Verification Strategy Prediction? | Priyanka Darke, Bharti Chimdyalwar, Hitesh Gupta Kattamuri |
| 2024 | ATVA | The VeriAbs Tool Suite for Code Verification. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty |
| 2023 | TACAS | VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). | Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty |
| 2021 | TACAS | VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). | Priyanka Darke, Sakshi Agrawal, R. Venkatesh |
| 2020 | TACAS | VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). | Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh |
| 2018 | TACAS | VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). | Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla |
| 2017 | ICST | Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. | Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh |
| 2017 | TACAS | VeriAbs: Verification by Abstraction (Competition Contribution). | Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh |
| 2015 | DATE | Over-approximating loops to prove properties using bounded model checking. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta |
| 2015 | FM | Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. | Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan |
| 2012 | APSEC | Precise Analysis of Large Industry Code. | Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh |