Registered user since Wed 31 Mar 2021

Name:Manos Kapritsos
Affiliation:University of Michigan, USA

Contributions

PLDI 2023 Performal: Formal Verification of Latency Properties for Distributed Systems
Show activities from other conferences

Using general profile