Ramneet Singh

According to our database, Ramneet Singh authored at least 3 papers in 2025.

Collaborative distances:

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

2025

Code Researcher: Deep Research Agent for Large Systems Code and Commit History.

Ramneet Singh, Sathvik Joel, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna B. Bairi, Aditya Kanade, Nagarajan Natarajan

CoRR, June, 2025

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.

Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia

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

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition.

Suguman Bansal, Ramneet Singh

Proceedings of the Computer Aided Verification - 37th International Conference, 2025