Jyotirmoy Deshmukh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications. | Samuel Williams, Jyotirmoy Deshmukh |
| 2025 | SAC | 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 |
| 2023 | MEMOCODE | Robust Testing for Cyber-Physical Systems using Reinforcement Learning. | Xin Qin, Nikos Archiga, Jyotirmoy Deshmukh, Andrew Best |
| 2023 | RV | Safety Monitoring for Pedestrian Detection in Adverse Conditions. | Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh |
| 2022 | ICLR | Pareto Policy Adaptation. | Panagiotis Kyriakis, Jyotirmoy Deshmukh, Paul Bogdan |
| 2021 | RV | PerceMon: Online Monitoring for Perception Systems. | Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos |
| 2021 | SEFM | Mining Shape Expressions with ShapeIt. | Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
| 2020 | CoRL | Learning from Demonstrations using Signal Temporal Logic. | Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis |
| 2019 | FMCAD | Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. | Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang |