Priyanka Darke

18 papers A* 1A 4B 4C 1Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Does More Training Data Enhance Verification Strategy Prediction?
ISSREW
Priyanka Darke, Bharti Chimdyalwar, Hitesh Gupta Kattamuri
2025 B conf
Random Resampling of Training Data for Effective Verification Strategy Prediction.
ICECCS
Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty
2024 A conf
Learning Strategies Using Boolean Program Metrics to Verify Industrial Code.
ICSME
Priyanka Darke, Bharti Chimdyalwar, Manoj Alladawar, Sahil Sulakhe, R. Venkatesh, Supratik Chakraborty
2024 B conf
The VeriAbs Tool Suite for Code Verification.
ATVA
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty
2023 A conf
OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems.
ICSME
Priyanka Darke, Bharti Chimdyalwar
2023 — conf
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).
TACAS (2)
Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
2022 J jnl
Impactful research and tooling for program correctness.
Commun. ACM
Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
2021 — conf
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).
TACAS (2)
Priyanka Darke, Sakshi Agrawal, R. Venkatesh
2020 — conf
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
TACAS (2)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
2019 A* conf
VeriAbs : Verification by Abstraction and Test Generation.
ASE
Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
2018 B conf
Statically relating program properties for efficient verification (short WIP paper).
LCTES
Bharti Chimdyalwar, Priyanka Darke
2018 — conf
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).
TACAS (2)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
2017 A conf
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking.
ICST
Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh
2017 — conf
VeriAbs: Verification by Abstraction (Competition Contribution).
TACAS (2)
Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
2015 B conf
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking.
FM
Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan
2015 A conf
Over-approximating loops to prove properties using bounded model checking.
DATE
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
2012 C conf
Precise Analysis of Large Industry Code.
APSEC
Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh
2009 — conf
Automatic Test Data Generation for C Programs.
SSIRI
Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh