List of works - Srivatsan Ravi - Paulina

List of works by Srivatsan Ravi

Discovering Likely Program Invariants for Persistent Memory

scientific article published on 18 October 2024

Scalable and serializable networked multi-actor programming

scientific article published on 24 November 2020

Secure and Reliable Network Updates

scientific article published on 12 August 2022

Paulina is supported by:

About Paulina

Help