Transactional memory, linking theory and practice. - Srivatsan Ravi; Vincent Gramoli; Victor Luchangco (SIGACT News, 2010)

On the Cost of Concurrency in Transactional Memory. - Petr Kuznetsov; Srivatsan Ravi (OPODIS, 2011)

Brief announcement: From sequential to concurrent: correctness and relative efficiency. - Vincent Gramoli; Petr Kuznetsov; Srivatsan Ravi (PODC, 2012)

From Sequential to Concurrent: Correctness and Relative Efficiency - Vincent Gramoli; Petr Kuznetsov; Srivatsan Ravi (CoRR, 2012)

WTTM 2011: the third workshop on the theory of transactional memory. - Petr Kuznetsov; Srivatsan Ravi (SIGACT News, 2012)

Safety of Deferred Update in Transactional Memory. - Hagit Attiya; Sandeep Hans; Petr Kuznetsov; Srivatsan Ravi (ICDCS, 2013)

Safety and Deferred Update in Transactional Memory. - Hagit Attiya; Sandeep Hans; Petr Kuznetsov; Srivatsan Ravi (Transactional Memory, 2015)

On Partial Wait-Freedom in Transactional Memory. - Petr Kuznetsov; Srivatsan Ravi (ICDCN, 2015)

Progressive Transactional Memory in Time and Space. - Petr Kuznetsov; Srivatsan Ravi (PaCT, 2015)

A Concurrency-Optimal List-Based Set. - Vincent Gramoli; Petr Kuznetsov; Srivatsan Ravi; Di Shang (CoRR, 2015)

Why Transactional Memory Should Not Be Obstruction-Free. - Petr Kuznetsov; Srivatsan Ravi (CoRR, 2015)

On the Cost of Concurrency in Transactional Memory. - Srivatsan Ravi (CoRR, 2015)

On the cost of concurrency in transactional memory. - Srivatsan Ravi (2015)

Programming Scalable Cloud Services with AEON. - Bo Sang; Gustavo Petri; Masoud Saeida Ardekani; Srivatsan Ravi; Patrick Eugster (Middleware, 2016)

The misbelief in delay scheduling. - Derek Schatzlein; Srivatsan Ravi; Youngtae Noh; Masoud Saeida Ardekani; Patrick Eugster (DCC@PODC, 2016)

In the Search for Optimal Concurrency. - Vincent Gramoli; Petr Kuznetsov; Srivatsan Ravi (SIROCCO, 2016)

A Concurrency-Optimal Binary Search Tree. - Vitaly Aksenov; Vincent Gramoli; Petr Kuznetsov; Anna Malova; Srivatsan Ravi (Euro-Par, 2017)

Programmable Elasticity for Actor-based Cloud Applications. - Bo Sang; Srivatsan Ravi; Gustavo Petri; Mahsa Najafzadeh; Masoud Saeida Ardekani; Patrick Eugster (PLOS@SOSP, 2017)

Cost of Concurrency in Hybrid Transactional Memory. - Trevor Brown 001; Srivatsan Ravi (DISC, 2017)

Lower Bounds for Transactional Memory. - Srivatsan Ravi (Bull. EATCS, 2017)

Concurrency and Privacy with Payment-Channel Networks. - Giulio Malavolta; Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei; Srivatsan Ravi (IACR Cryptol. ePrint Arch., 2017)

Grasping the gap between blocking and non-blocking transactional memories. - Petr Kuznetsov; Srivatsan Ravi (J. Parallel Distributed Comput., 2017)

Generalized Paxos Made Byzantine (and Less Complex). - Miguel Pires; Srivatsan Ravi; Rodrigo Rodrigues 001 (Algorithms, 2018)

Merge: An Architecture for Interconnected Testbed Ecosystems. - Ryan Goodfellow; Lincoln Thurlow; Srivatsan Ravi (CoRR, 2018)

Inherent limitations of hybrid transactional memory. - Dan Alistarh; Justin Kopinsky; Petr Kuznetsov; Srivatsan Ravi; Nir Shavit (Distributed Comput., 2018)

PLASMA: programmable elasticity for stateful cloud computing applications. - Bo Sang; Pierre-Louis Roman; Patrick Eugster; Hui Lu 001; Srivatsan Ravi; Gustavo Petri (EuroSys, 2020)

Consistent and Secure Network Updates Made Practical. - James Lembke; Srivatsan Ravi; Pierre-Louis Roman; Patrick Eugster (Middleware, 2020)

Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models. - Ohad Ben-Baruch; Srivatsan Ravi (CoRR, 2020)

RoSCo: Robust Updates for Software-Defined Networks. - James Lembke; Srivatsan Ravi; Patrick Eugster; Stefan Schmid 001 (IEEE J. Sel. Areas Commun., 2020)

Scalable and serializable networked multi-actor programming. - Bo Sang; Patrick Eugster; Gustavo Petri; Srivatsan Ravi; Pierre-Louis Roman (Proc. ACM Program. Lang., 2020)

Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and ChainQuality. - Muhammad Saad 001; Afsah Anwar; Srivatsan Ravi; David Mohaisen (CCS, 2021)

AMPPERE: A Universal Abstract Machine for Privacy-Preserving Entity Resolution Evaluation. - Yixiang Yao; Tanmay Ghai; Srivatsan Ravi; Pedro A. Szekely (CIKM, 2021)

Optimal Concurrency for List-Based Sets. - Vitaly Aksenov; Vincent Gramoli; Petr Kuznetsov; Di Shang; Srivatsan Ravi (PaCT, 2021)

Secure Neuroimaging Analysis using Federated Learning with Homomorphic Encryption. - Dimitris Stripelis; Hamza Saleem; Tanmay Ghai; Nikhil J. Dhinagar; Umang Gupta; Chrysovalantis Anastasiou; Greg Ver Steeg; Srivatsan Ravi; Muhammad Naveed 001; Paul M. Thompson; José Luis Ambite (CoRR, 2021)

Secure Publish-Process-Subscribe System for Dispersed Computing. - Weizhao Jin; Bhaskar Krishnamachari; Muhammad Naveed 001; Srivatsan Ravi; Eduard Sanou; Kwame-Lante Wright (IACR Cryptol. ePrint Arch., 2021)

HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality. - Muhammad Saad 001; Afsah Anwar; Srivatsan Ravi; David Mohaisen (IACR Cryptol. ePrint Arch., 2021)

Conflict-Based Search for the Virtual Network Embedding Problem. - Yi Zheng; Srivatsan Ravi; Erik Kline; Sven Koenig; T. K. Satish Kumar (ICAPS, 2022)

Explaining Deep Learning Models for Per-packet Encrypted Network Traffic Classification. - Luis Garcia 001; Genevieve Bartlett; Srivatsan Ravi; Harun Ibrahim; Wes Hardaker; Erik Kline (M&N, 2022)

The FastMap Pipeline for Facility Location Problems. - Omkar Thakoor; Ang Li; Sven Koenig; Srivatsan Ravi; Erik Kline; T. K. Satish Kumar (PRIMA, 2022)

PREP-UC: A Practical Replicated Persistent Universal Construction. - Gaetano C. Coccimiglio; Trevor Alexander Brown; Srivatsan Ravi (SPAA, 2022)

The Limits of Helping in Non-volatile Memory Data Structures. - Ohad Ben-Baruch; Srivatsan Ravi (SSS, 2022)

Decentralized Privacy-Preserving Path Validation for Multi-Slicing-Authority 5G Networks. - Weizhao Jin; Srivatsan Ravi; Erik Kline (WCNC, 2022)

Securing 5G Slices using Homomorphic Encryption. - Erik Kline; Srivatsan Ravi; David Cousins; Sara Rv (WCNC, 2022)

Secure Federated Learning for Neuroimaging. - Dimitris Stripelis; Umang Gupta; Hamza Saleem; Nikhil J. Dhinagar; Tanmay Ghai; Rafael Sanchez; Chrysovalantis Anastasiou; Armaghan Asghar; Greg Ver Steeg; Srivatsan Ravi; Muhammad Naveed 001; Paul M. Thompson; et al. (CoRR, 2022)

Evaluating the Feasibility of a Provably Secure Privacy-Preserving Entity Resolution Adaptation of PPJoin using Homomorphic Encryption. - Tanmay Ghai; Yixiang Yao; Srivatsan Ravi; Pedro A. Szekely (CoRR, 2022)

Lessons Learned: Building a Privacy-Preserving Entity Resolution Adaptation of PPJoin using End-to-End Homomorphic Encryption. - Tanmay Ghai; Yixiang Yao; Srivatsan Ravi (EuroS&P Workshops, 2023)

Improved Conflict-Based Search for the Virtual Network Embedding Problem. - Yi Zheng; Srivatsan Ravi; Erik Kline; Lincoln Thurlow; Sven Koenig; T. K. Satish Kumar (ICCCN, 2023)

FedGCN: Convergence-Communication Tradeoffs in Federated Training of Graph Convolutional Networks. - Yuhang Yao; Weizhao Jin; Srivatsan Ravi; Carlee Joe-Wong (NeurIPS, 2023)

The Fence Complexity of Persistent Sets. - Gaetano Coccimiglio; Trevor Brown 001; Srivatsan Ravi (SSS, 2023)

FedML-HE: An Efficient Homomorphic-Encryption-Based Privacy-Preserving Federated Learning System. - Weizhao Jin; Yuhang Yao; Shanshan Han; Carlee Joe-Wong; Srivatsan Ravi; Salman Avestimehr; Chaoyang He 001 (CoRR, 2023)

Data-Driven Template-Free Invariant Generation. - Yuan Xia; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Srivatsan Ravi (CoRR, 2023)

Street Rep: A Privacy-Preserving Reputation Aggregation System. - Christophe Hauser; Shirin Nilizadeh; Yan Shoshitaishvili; Ni Trieu; Srivatsan Ravi; Christopher Kruegel; Giovanni Vigna (IACR Cryptol. ePrint Arch., 2023)

ð'3ð' : Privacy-Preserving Path Validation System for Multi-Authority Sliced Networks. - Weizhao Jin; Erik Kline; T. K. Satish Kumar; Lincoln Thurlow; Srivatsan Ravi (IACR Cryptol. ePrint Arch., 2023)

Secure and Reliable Network Updates. - James Lembke; Srivatsan Ravi; Pierre-Louis Roman; Patrick Eugster (ACM Trans. Priv. Secur., 2023)

Poster: Security and Privacy Heterogeneous Environment for Reproducible Experimentation (SPHERE). - Jelena Mirkovic; David M. Balenson; Brian Kocoloski; Geoff Lawler; Chris Tran; Joseph Barnes; Yuri Pradkin; Terry Benzel; Srivatsan Ravi; Ganesh Sankaran; Alba Regalado; David R. Choffnes; et al. (CCS, 2024)

Discovering Likely Program Invariants for Persistent Memory. - Zunchen Huang; Srivatsan Ravi; Chao Wang 001 (ASE, 2024)

Privacy-Preserving Language Model Inference with Instance Obfuscation. - Yixiang Yao; Fei Wang 060; Srivatsan Ravi; Muhao Chen 001 (CoRR, 2024)

Superflows: A New Tool for Forensic Network Flow Analysis. - Michael Collins; Jyotirmoy V. Deshmukh; Dristi Dinesh; Mukund Raghothaman; Srivatsan Ravi; Yuan Xia (CoRR, 2024)

Feasibility of Privacy-Preserving Entity Resolution on Confidential Healthcare Datasets Using Homomorphic Encryption. - Yixiang Yao; Joseph Cecil; Praveen Angyan; Neil Bahroos; Srivatsan Ravi (CoRR, 2024)

FedGraph: A Research Library and Benchmark for Federated Graph Learning. - Yuhang Yao; Yuan Li 032; Xinyi Fan; Junhao Li; Kay Liu; Weizhao Jin; Srivatsan Ravi; Philip S. Yu; Carlee Joe-Wong (CoRR, 2024)

A federated learning architecture for secure and private neuroimaging analysis. - Dimitris Stripelis; Umang Gupta; Hamza Saleem; Nikhil J. Dhinagar; Tanmay Ghai; Chrysovalantis Anastasiou; Rafael Sanchez; Greg Ver Steeg; Srivatsan Ravi; Muhammad Naveed 001; Paul M. Thompson; José Luis Ambite (Patterns, 2024)

Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and Chain Quality. - Muhammad Saad 001; Afsah Anwar; Srivatsan Ravi; David Mohaisen (IEEE/ACM Trans. Netw., 2024)

Efficient Privacy-Preserving Network Path Validation. - Weizhao Jin; Erik Kline; T. K. Satish Kumar; Lincoln Thurlow; Srivatsan Ravi (ICCCN, 2025)

SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation. - Luis Garcia 001; Jelena Mirkovic; David M. Balenson; Erik Kline; Yuri Pradkin; David R. Choffnes; Daniel J. Dubois; Terry Benzel; Srivatsan Ravi; Joseph Barnes; Geoff Lawler; Chris Tran; et al. (ICCPS, 2025)

LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants. - Yuan Xia; Aabha Shailesh Pingle; Deepayan Sur; Jyotirmoy Deshmukh; Mukund Raghothaman; Srivatsan Ravi (SAC, 2025)

Persistent HyTM via Fast Path Fine-Grained Locking. - Gaetano Coccimiglio; Trevor Brown 001; Srivatsan Ravi (SPAA, 2025)

Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. - Yuan Xia; Deepayan Sur; Aabha Shailesh Pingle; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Srivatsan Ravi (VMCAI (1), 2025)

Labeling without Seeing? Blind Annotation for Privacy-Preserving Entity Resolution. - Yixiang Yao; Weizhao Jin; Srivatsan Ravi (Trans. Mach. Learn. Res., 2025)

Access Specification-Aware Software Transactional Memory Techniques for Efficient Execution of Smart Contract Transactions. - Parwat Singh Anjana; Srivatsan Ravi; Raghavendra Ramesh; Joshua Tobkin; Rohit Kapoor; Rahul Parmar (CoRR, 2025)

Empirical Analysis of Transaction Conflicts in Ethereum and Solana for Parallel Execution. - Parwat Singh Anjana; Srivatsan Ravi (CoRR, 2025)