Login / Signup
Vishnu Paladugu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Fault Tolerance
Lightweight
Distributed Databases
Protocol Specification
Top Venues
ApPLIED@PODC
CoRR
</>
Publications
</>
Kumar Shivam
,
Vishnu Paladugu
,
Yanhong A. Liu
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services.
CoRR
(2023)
Kumar Shivam
,
Vishnu Paladugu
,
Yanhong A. Liu
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services.
ApPLIED@PODC
(2023)