Srivatsan Ravi

University of Southern California — United States

Computer Science · Physical Sciences

9h-index648citations88works1.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Distributed systems and fault tolerance(47), Parallel Computing and Optimization Techniques(20), Cognitive Functions and Memory(19), Cryptography and Data Security(16), Privacy-Preserving Technologies in Data(15)

Publications88 total

Programming Scalable Elastic Services with AEON
ACM Transactions on Computer Systems·2025Open Access
ZENITH: Towards A Formally Verified Highly-Available Control Plane
2025Open Access
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
2025Open Access
Persistent HyTM via Fast Path Fine-Grained Locking
arXiv (Cornell University)·2025Open Access
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
Lecture notes in computer science·2025
Discovering Likely Program Invariants for Persistent Memory
2024· 1 citedOpen Access
Street Rep: A Privacy-Preserving Reputation Aggregation System
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2024
FedGraph: A Research Library and Benchmark for Federated Graph Learning
arXiv (Cornell University)·2024Open Access
A federated learning architecture for secure and private neuroimaging analysis
Patterns·2024· 17 citedOpen Access
Feasibility of Privacy-Preserving Entity Resolution on Confidential Healthcare Datasets Using Homomorphic Encryption
arXiv (Cornell University)·2024Open Access
Superflows: A New Tool for Forensic Network Flow Analysis
arXiv (Cornell University)·2024Open Access
Privacy-Preserving Language Model Inference with Instance Obfuscation
arXiv (Cornell University)·2024· 3 citedOpen Access
Data-Driven Template-Free Invariant Generation
arXiv (Cornell University)·2023Open Access
The Fence Complexity of Persistent Sets
arXiv (Cornell University)·2023Open Access
Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and Chain Quality
IEEE/ACM Transactions on Networking·2023· 6 cited
Labeling without Seeing? Blind Annotation for Privacy-Preserving Entity Resolution
arXiv (Cornell University)·2023Open Access
Improved Conflict-Based Search for the Virtual Network Embedding Problem
2023· 2 cited
Lessons Learned: Building a Privacy-Preserving Entity Resolution Adaptation of PPJoin using End-to-End Homomorphic Encryption
2023
FedML-HE: An Efficient Homomorphic-Encryption-Based Privacy-Preserving Federated Learning System
arXiv (Cornell University)·2023· 35 citedOpen Access
Cost of Concurrency in Hybrid Transactional Memory
Research Square (Research Square)·2023· 3 citedOpen Access
page 1 of 5Next →

Frequent Co-authors

Petr Kuznetsov(14), Patrick Eugster(7), Erik Kline(6), Tanmay Ghai(5), Muhammad Naveed(5), Vincent Gramoli(5), Dimitris Stripelis(4), Hamza Saleem(4), Nikhil J. Dhinagar(4), Umang Gupta(4), Chrysovalantis Anastasiou(4), Greg Ver Steeg(4), Paul M. Thompson(4), Bo Sang(4), Gustavo Petri(4), Pierre-Louis Roman(4), José Luis Ambite(3), Muhammad Saad(3), Afsah Anwar(3), Aziz Mohaisen(3)