Adwait Godbole

Orcid: 0000-0001-7704-304X

According to our database1, Adwait Godbole authored at least 19 papers between 2019 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Fairness and Liveness Under Weak Consistency.
Proceedings of the Taming the Infinities of Concurrency, 2024

Lifting Micro-Update Models from RTL for Formal Security Analysis.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Overcoming Memory Weakness with Unified Fairness.
CoRR, 2023

Parameterized Verification under TSO with Data Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Modelling and Verification of Security-Oriented Resource Partitioning Schemes.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.
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.
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.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Probabilistic Total Store Ordering.
Proceedings of the Programming Languages and Systems, 2022

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Safety Verification of Parameterized Systems under Release-Acquire.
CoRR, 2021

The Decidability of Verification under PS 2.0.
Proceedings of the Programming Languages and Systems, 2021

2020
The Decidability of Verification under Promising 2.0.
CoRR, 2020

Containment of Simple Regular Path Queries.
CoRR, 2020

Containment of Simple Conjunctive Regular Path Queries.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019
Controlling a population.
Log. Methods Comput. Sci., 2019


  Loading...