Adwait Godbole

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 21

Top Topics

Regular Path Queries

Semantic Analysis

Maintaining Consistency

Security Analysis

Top Venues

Publications

Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia
Lifting Micro-Update Models from RTL for Formal Security Analysis. ASPLOS (2) (2024)
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns. CoRR (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency (2024)
Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. FMCAD (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness. CoRR (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. CoRR (2023)
Chase Norman, Adwait Godbole, Yatin A. Manerkar
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency. ASPLOS (3) (2023)
Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole
Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. DAC (2023)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, Shankara Narayanan Krishna
Probabilistic Total Store Ordering. ESOP (2022)
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. FMCAD (2022)
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. CoRR (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, Krishna Shankara Narayanan
Probabilistic Total Store Ordering. CoRR (2022)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) (2022)
Shankara Narayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
Parameterized Verification under Release Acquire is PSPACE-complete. PODC (2022)
Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
Safety Verification of Parameterized Systems under Release-Acquire. CoRR (2021)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Viktor Vafeiadis
The Decidability of Verification under PS 2.0. ESOP (2021)
Diego Figueira, Adwait Godbole, Shankara Narayanan Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
Containment of Simple Regular Path Queries. CoRR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Viktor Vafeiadis
The Decidability of Verification under Promising 2.0. CoRR (2020)
Diego Figueira, Adwait Godbole, Shankara Narayanan Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
Containment of Simple Conjunctive Regular Path Queries. KR (2020)