Adwait Godbole

27 papers A* 4A 2B 3Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
$\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis.
CAV (3)
Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia
2025 J jnl
Learning Affordances at Inference-Time for Vision-Language-Action Models.
CoRR
Ameesh Shah, William Chen, Adwait Godbole, Federico Mora, Sanjit A. Seshia, Sergey Levine
2025 B conf
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.
FMCAD
Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025 J jnl
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.
CoRR
Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2024 — conf
Fairness and Liveness Under Weak Consistency.
Taming the Infinities of Concurrency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
2024 — conf
Lifting Micro-Update Models from RTL for Formal Security Analysis.
ASPLOS (2)
Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia
2024 A* conf
SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security.
CCS
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
2024 J jnl
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns.
CoRR
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
2024 J jnl
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis.
CoRR
Manish Shetty, Naman Jain, Adwait Godbole, Sanjit A. Seshia, Koushik Sen
2023 B conf
Modelling and Verification of Security-Oriented Resource Partitioning Schemes.
FMCAD
Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia
2023 — conf
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Overcoming Memory Weakness with Unified Fairness.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Parameterized Verification under TSO with Data Types.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler
2023 — conf
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.
ASPLOS (3)
Chase Norman, Adwait Godbole, Yatin A. Manerkar
2023 A* conf
Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.
DAC
Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole
2022 B conf
Automated Conversion of Axiomatic to Operational Models: Theory and Practice.
FMCAD
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
2022 J jnl
Automated Conversion of Axiomatic to Operational Models: Theory and Practice.
CoRR
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
2022 A* conf
Parameterized Verification under Release Acquire is PSPACE-complete.
PODC
Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
2022 A conf
Probabilistic Total Store Ordering.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 J jnl
Probabilistic Total Store Ordering.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 J jnl
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis.
CoRR
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 — conf
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.
CAV (1)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2021 J jnl
Safety Verification of Parameterized Systems under Release-Acquire.
CoRR
Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
2021 A conf
The Decidability of Verification under PS 2.0.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
2020 A* conf
Containment of Simple Conjunctive Regular Path Queries.
KR
Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
2020 J jnl
Containment of Simple Regular Path Queries.
CoRR
Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
2020 J jnl
The Decidability of Verification under Promising 2.0.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis