Bharti Chimdyalwar

23 papers A* 1A 6B 5Unranked 11
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 — conf
Fast and Precise Interval Analysis on Industry code.
ISSRE (Workshops)
Bharti Chimdyalwar
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 — conf
Fast Analysis of Evolving Software Systems.
ISSRE Workshops
Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
2022 — conf
IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis.
ISEC
Vaidehi Ghime, Ankita Khadsare, Anushri Jana, Bharti Chimdyalwar
2022 A conf
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.
SANER
Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime
2021 A conf
Fast Change-Based Alarm Reporting for Evolving Software Systems.
ISSRE
Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
2021 B conf
Selective path-sensitive interval analysis (WIP paper).
LCTES
Bharti Chimdyalwar, Shrawan Kumar
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
2013 — conf
Precise range analysis on large industry code.
ESEC/SIGSOFT FSE
Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri
2012 — conf
Survey of array out of bound access checkers for C code.
ISEC
Bharti Chimdyalwar
2011 — conf
Effective false positive filtering for evolving software.
ISEC
Bharti Chimdyalwar, Shrawan Kumar