Sankha Narayan Guria
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Something's cooking 🧑🍳
June 4, 2025 at 2:45 PM
Something's cooking 🧑🍳
the best kind of commits
April 30, 2025 at 11:14 PM
the best kind of commits
My UG student Bhavik Goplani presented our ongoing work on verifying idempotency of REST API clients under for request retries at the POPL '25 SRC.
The work involves some exciting effect analysis and a nifty translation to Dafny to automatically prove liveness and safety
The work involves some exciting effect analysis and a nifty translation to Dafny to automatically prove liveness and safety
January 29, 2025 at 1:46 AM
My UG student Bhavik Goplani presented our ongoing work on verifying idempotency of REST API clients under for request retries at the POPL '25 SRC.
The work involves some exciting effect analysis and a nifty translation to Dafny to automatically prove liveness and safety
The work involves some exciting effect analysis and a nifty translation to Dafny to automatically prove liveness and safety