Bhavik Kamlesh Goplani -

Registered user since Tue 28 Jan 2025

Name:Bhavik Kamlesh Goplani

Affiliation:University of Kansas

GitHub: https://github.com/bhavik-goplani

Research interests:PL, Formal Verification, Distributed Systems

Contributions

2025

POPL

Author of APIdemic: Verifying Idempotency of REST API Clients within the Student Research Competition-track