Bharti Chimdyalwar

According to our database, Bharti Chimdyalwar authored at least 18 papers between 2011 and 2023.

Collaborative distances:

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

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

Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.

Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime

Proceedings of the IEEE International Conference on Software Analysis, 2022

Fast Analysis of Evolving Software Systems.

Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis.

Vaidehi Ghime, Ankita Khadsare, Anushri Jana, Bharti Chimdyalwar

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

2021

Selective path-sensitive interval analysis (WIP paper).

Bharti Chimdyalwar, Shrawan Kumar

Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021

Fast Change-Based Alarm Reporting for Evolving Software Systems.

Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 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

2013

Precise range analysis on large industry code.

Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Survey of array out of bound access checkers for C code.

Bharti Chimdyalwar

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

2011

Effective false positive filtering for evolving software.

Bharti Chimdyalwar, Shrawan Kumar

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011