Adwait Godbole

Available identifiers

zbMath Open godbole.adwait-amitMaRDI QIDQ2233443

List of research outcomes

Publication	Date of Publication	Type
Parameterized Verification under Release Acquire is PSPACE-complete	2024-03-26	Paper
Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models	2024-02-01	Paper
Parameterized verification under TSO with data types	2023-12-13	Paper
Probabilistic total store ordering	2023-08-03	Paper
The decidability of verification under PS 2.0	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5227518	2019-08-06	Paper

Research outcomes over time

This page was built for person: Adwait Godbole