Ridhi Jain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SANER | Assessing Large Language Models in Verifying Concurrent Programs. | Ridhi Jain, Rahul Purandare |
| 2025 | AST | A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. | Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro |
| 2023 | ICSE | Handling Communication via APIs for Microservices. | Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam |
| 2018 | MSR | A search system for mathematical expressions on software binaries. | Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare |