1 citations · 1 across the 6 of their papers we have counts for
Showing 2026 · cs.PLShow all
2 papers · 2 filters
cs.PL2026
Scenario Proofs for Verification of Distributed Protocols
Zhendong Ang, George Pîrlea, Umang Mathur
Formal verification of distributed protocols is still dominated by inductive-invariant proofs, whose central challenge is discovering strengthening assertions that rule out unreach…
cs.PL2026
SafePar: Monitoring Asynchrony in Microservices
Karuna Grewal, P. Brighten Godfrey, Justin Hsu +1
Modern cloud applications are built from loosely-coupled microservices that coordinate through well-defined APIs to service user requests. A single API request often triggers multi…