Adwait Godbole

According to our database, Adwait Godbole authored at least 20 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns.

Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia

CoRR, 2024

SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security.

Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Fairness and Liveness Under Weak Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala

Proceedings of the Taming the Infinities of Concurrency, 2024

Lifting Micro-Update Models from RTL for Formal Security Analysis.

Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Overcoming Memory Weakness with Unified Fairness.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala

CoRR, 2023

Parameterized Verification under TSO with Data Types.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Modelling and Verification of Security-Oriented Resource Partitioning Schemes.

Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.

Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.

Chase Norman, Adwait Godbole, Yatin A. Manerkar

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Parameterized Verification under Release Acquire is PSPACE-complete.

Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

Automated Conversion of Axiomatic to Operational Models: Theory and Practice.

Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Probabilistic Total Store Ordering.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna

Proceedings of the Programming Languages and Systems, 2022

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Safety Verification of Parameterized Systems under Release-Acquire.

Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer

CoRR, 2021

The Decidability of Verification under PS 2.0.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2021

2020

The Decidability of Verification under Promising 2.0.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis

CoRR, 2020

Containment of Simple Regular Path Queries.

Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner

CoRR, 2020

Containment of Simple Conjunctive Regular Path Queries.

Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

Controlling a population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole

Log. Methods Comput. Sci., 2019