Priyanka Darke

According to our database, Priyanka Darke authored at least 15 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Learning Strategies Using Boolean Program Metrics to Verify Industrial Code.

Priyanka Darke, Bharti Chimdyalwar, Manoj Alladawar, Sahil Sulakhe, R. Venkatesh, Supratik Chakraborty

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024

2023

VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems.

Priyanka Darke, Bharti Chimdyalwar

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2022

Impactful research and tooling for program correctness.

Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh

Commun. ACM, 2022

2021

VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).

Priyanka Darke, Sakshi Agrawal, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

VeriAbs : Verification by Abstraction and Test Generation.

Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Statically relating program properties for efficient verification (short WIP paper).

Bharti Chimdyalwar, Priyanka Darke

Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, 2018

2017

VeriAbs: Verification by Abstraction (Competition Contribution).

Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking.

Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking.

Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan

Proceedings of the FM 2015: Formal Methods, 2015

Over-approximating loops to prove properties using bounded model checking.

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2012

Precise Analysis of Large Industry Code.

Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2009

Automatic Test Data Generation for C Programs.

Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009