Adwait Godbole
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis. | Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia |
| 2025 | FMCAD | 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 |
| 2024 | ASPLOS | Lifting Micro-Update Models from RTL for Formal Security Analysis. | Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia |
| 2024 | CCS | SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security. | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
| 2023 | ASPLOS | PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency. | Chase Norman, Adwait Godbole, Yatin A. Manerkar |
| 2023 | CAV | Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala |
| 2023 | DAC | Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. | Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole |
| 2023 | FMCAD | Modelling and Verification of Security-Oriented Resource Partitioning Schemes. | Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |
| 2022 | CAV | UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. | Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia |
| 2022 | ESOP | Probabilistic Total Store Ordering. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna |
| 2022 | FMCAD | Automated Conversion of Axiomatic to Operational Models: Theory and Practice. | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
| 2022 | PODC | Parameterized Verification under Release Acquire is PSPACE-complete. | Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty |
| 2021 | ESOP | The Decidability of Verification under PS 2.0. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis |
| 2020 | KR | Containment of Simple Conjunctive Regular Path Queries. | Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner |