Deepayan Sur

According to our database, Deepayan Sur authored at least 3 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

Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.

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

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025