Aabha Shailesh Pingle

According to our database, Aabha Shailesh Pingle authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning.

Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.

Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025