Publications

Suguman Bansal, Ramneet Singh (2025). INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition. CAV 2025.

PDF Cite Code Dataset DOI

Ramneet Singh, Sathvik Joel, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna B Bairi, Aditya Kanade, Nagarajan Natarajan (2025). Code Researcher: Deep Research Agent for Large Systems Code and Commit History. arXiv.

PDF Cite

Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia (2025). PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. arXiv.

PDF Cite