Adwait Godbole
Orcid: 0000-0001-7704-304X
According to our database1,
Adwait Godbole
authored at least 16 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
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
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
2022
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Proceedings of the Programming Languages and Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the Programming Languages and Systems, 2021
2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019