Srivatsan Ravi

99 papers A* 8A 8B 16C 4Misc 2Journal 51Unranked 8
YearRankTypeTitle / Venue / Authors
2026 B conf
Multiverse: Transactional Memory with Dynamic Multiversioning.
PPoPP
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
2026 J jnl
Multiverse: Transactional Memory with Dynamic Multiversioning.
CoRR
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
2026 J jnl
Trustworthy Agent Network: Trust in Agent Networks Must Be Baked In, Not Bolted On.
IACR Cryptol. ePrint Arch.
Yixiang Yao, Yuhang Yao, Xinyi Fan, Jiechao Gao, Jie Wang, Minjia Zhang, Srivatsan Ravi, Carlee Joe-Wong
2025 J jnl
Access Specification-Aware Software Transactional Memory Techniques for Efficient Execution of Smart Contract Transactions.
CoRR
Parwat Singh Anjana, Srivatsan Ravi, Raghavendra Ramesh, Joshua Tobkin, Rohit Kapoor, Rahul Parmar
2025 C conf
Block Transactional Memory: A Complexity Study.
SSS
Parwat Singh Anjana, Srivatsan Ravi
2025 — conf
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning.
VMCAI (1)
Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 B conf
Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications.
AFT
Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin
2025 B conf
Efficient Privacy-Preserving Network Path Validation.
ICCCN
Weizhao Jin, Erik Kline, T. K. Satish Kumar, Lincoln Thurlow, Srivatsan Ravi
2025 J jnl
Empirical Analysis of Transaction Conflicts in Ethereum and Solana for Parallel Execution.
CoRR
Parwat Singh Anjana, Srivatsan Ravi
2025 B conf
Feasibility of Privacy-Preserving Entity Resolution on Confidential Healthcare Datasets Using Homomorphic Encryption.
IEEE Big Data
Yixiang Yao, Joseph Cecil, Praveen Angyan, Neil Bahroos, Srivatsan Ravi
2025 B conf
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.
FMCAD
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh
2025 Misc conf
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.
SAC
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 J jnl
Labeling without Seeing? Blind Annotation for Privacy-Preserving Entity Resolution.
Trans. Mach. Learn. Res.
Yixiang Yao, Weizhao Jin, Srivatsan Ravi
2025 B conf
Persistent HyTM via Fast Path Fine-Grained Locking.
SPAA
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
2025 J jnl
Persistent HyTM via Fast Path Fine-Grained Locking.
CoRR
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
2025 — conf
SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security Experimentation.
ICCPS
Luis Garcia, 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, Alba Regalado
2025 A* conf
ZENITH: Towards A Formally Verified Highly-Available Control Plane.
SIGCOMM
Pooria Namyar, Arvin Ghavidel, Mingyang Zhang, Harsha V. Madhyastha, Srivatsan Ravi, Chao Wang, Ramesh Govindan
2024 J jnl
A federated learning architecture for secure and private neuroimaging analysis.
Patterns
Dimitris Stripelis, Umang Gupta, Hamza Saleem, Nikhil J. Dhinagar, Tanmay Ghai, Chrysovalantis Anastasiou, Rafael Sanchez, Greg Ver Steeg, Srivatsan Ravi, Muhammad Naveed, Paul M. Thompson, José Luis Ambite
2024 A* conf
Discovering Likely Program Invariants for Persistent Memory.
ASE
Zunchen Huang, Srivatsan Ravi, Chao Wang
2024 J jnl
Feasibility of Privacy-Preserving Entity Resolution on Confidential Healthcare Datasets Using Homomorphic Encryption.
CoRR
Yixiang Yao, Joseph Cecil, Praveen Angyan, Neil Bahroos, Srivatsan Ravi
2024 J jnl
FedGraph: A Research Library and Benchmark for Federated Graph Learning.
CoRR
Yuhang Yao, Yuan Li, Xinyi Fan, Junhao Li, Kay Liu, Weizhao Jin, Srivatsan Ravi, Philip S. Yu, Carlee Joe-Wong
2024 A* conf
Poster: Security and Privacy Heterogeneous Environment for Reproducible Experimentation (SPHERE).
CCS
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, Daniel J. Dubois, Luis Garcia
2024 J jnl
Privacy-Preserving Language Model Inference with Instance Obfuscation.
CoRR
Yixiang Yao, Fei Wang, Srivatsan Ravi, Muhao Chen
2024 J jnl
Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and Chain Quality.
IEEE/ACM Trans. Netw.
Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen
2024 J jnl
Superflows: A New Tool for Forensic Network Flow Analysis.
CoRR
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
2023 J jnl
Data-Driven Template-Free Invariant Generation.
CoRR
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2023 A* conf
FedGCN: Convergence-Communication Tradeoffs in Federated Training of Graph Convolutional Networks.
NeurIPS
Yuhang Yao, Weizhao Jin, Srivatsan Ravi, Carlee Joe-Wong
2023 J jnl
FedML-HE: An Efficient Homomorphic-Encryption-Based Privacy-Preserving Federated Learning System.
CoRR
Weizhao Jin, Yuhang Yao, Shanshan Han, Carlee Joe-Wong, Srivatsan Ravi, Salman Avestimehr, Chaoyang He
2023 B conf
Improved Conflict-Based Search for the Virtual Network Embedding Problem.
ICCCN
Yi Zheng, Srivatsan Ravi, Erik Kline, Lincoln Thurlow, Sven Koenig, T. K. Satish Kumar
2023 J jnl
Labeling without Seeing? Blind Annotation for Privacy-Preserving Entity Resolution.
CoRR
Yixiang Yao, Weizhao Jin, Srivatsan Ravi
2023 — conf
Lessons Learned: Building a Privacy-Preserving Entity Resolution Adaptation of PPJoin using End-to-End Homomorphic Encryption.
EuroS&P Workshops
Tanmay Ghai, Yixiang Yao, Srivatsan Ravi
2023 J jnl
Secure and Reliable Network Updates.
ACM Trans. Priv. Secur.
James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster
2023 — conf
Street Rep: A Privacy-Preserving Reputation Aggregation System.
SecureComm (2)
Christophe Hauser, Shirin Nilizadeh, Yan Shoshitaishvili, Ni Trieu, Srivatsan Ravi, Christopher Kruegel, Giovanni Vigna
2023 J jnl
Street Rep: A Privacy-Preserving Reputation Aggregation System.
IACR Cryptol. ePrint Arch.
Christophe Hauser, Shirin Nilizadeh, Yan Shoshitaishvili, Ni Trieu, Srivatsan Ravi, Christopher Kruegel, Giovanni Vigna
2023 C conf
The Fence Complexity of Persistent Sets.
SSS
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
2023 J jnl
The Fence Complexity of Persistent Sets.
CoRR
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
2023 J jnl
ð'ƒ3ð'‰ : Privacy-Preserving Path Validation System for Multi-Authority Sliced Networks.
IACR Cryptol. ePrint Arch.
Weizhao Jin, Erik Kline, T. K. Satish Kumar, Lincoln Thurlow, Srivatsan Ravi
2022 A* conf
Conflict-Based Search for the Virtual Network Embedding Problem.
ICAPS
Yi Zheng, Srivatsan Ravi, Erik Kline, Sven Koenig, T. K. Satish Kumar
2022 B conf
Decentralized Privacy-Preserving Path Validation for Multi-Slicing-Authority 5G Networks.
WCNC
Weizhao Jin, Srivatsan Ravi, Erik Kline
2022 J jnl
Evaluating the Feasibility of a Provably Secure Privacy-Preserving Entity Resolution Adaptation of PPJoin using Homomorphic Encryption.
CoRR
Tanmay Ghai, Yixiang Yao, Srivatsan Ravi, Pedro A. Szekely
2022 — conf
Explaining Deep Learning Models for Per-packet Encrypted Network Traffic Classification.
M&N
Luis Garcia, Genevieve Bartlett, Srivatsan Ravi, Harun Ibrahim, Wes Hardaker, Erik Kline
2022 B conf
PREP-UC: A Practical Replicated Persistent Universal Construction.
SPAA
Gaetano C. Coccimiglio, Trevor Alexander Brown, Srivatsan Ravi
2022 J jnl
Secure Federated Learning for Neuroimaging.
CoRR
Dimitris Stripelis, Umang Gupta, Hamza Saleem, Nikhil J. Dhinagar, Tanmay Ghai, Rafael Sanchez, Chrysovalantis Anastasiou, Armaghan Asghar, Greg Ver Steeg, Srivatsan Ravi, Muhammad Naveed, Paul M. Thompson, José Luis Ambite
2022 B conf
Secure Publish-Process-Subscribe System for Dispersed Computing.
SRDS
Weizhao Jin, Bhaskar Krishnamachari, Muhammad Naveed, Srivatsan Ravi, Eduard Sanou, Kwame-Lante Wright
2022 B conf
Securing 5G Slices using Homomorphic Encryption.
WCNC
Erik Kline, Srivatsan Ravi, David Cousins, Sara Rv
2022 B conf
The FastMap Pipeline for Facility Location Problems.
PRIMA
Omkar Thakoor, Ang Li, Sven Koenig, Srivatsan Ravi, Erik Kline, T. K. Satish Kumar
2022 C conf
The Limits of Helping in Non-volatile Memory Data Structures.
SSS
Ohad Ben-Baruch, Srivatsan Ravi
2021 A conf
AMPPERE: A Universal Abstract Machine for Privacy-Preserving Entity Resolution Evaluation.
CIKM
Yixiang Yao, Tanmay Ghai, Srivatsan Ravi, Pedro A. Szekely
2021 J jnl
AMPPERE: A Universal Abstract Machine for Privacy-Preserving Entity Resolution Evaluation.
CoRR
Yixiang Yao, Tanmay Ghai, Srivatsan Ravi, Pedro A. Szekely
2021 J jnl
HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality.
IACR Cryptol. ePrint Arch.
Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen
2021 B conf
Optimal Concurrency for List-Based Sets.
PaCT
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Di Shang, Srivatsan Ravi
2021 A* conf
Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and ChainQuality.
CCS
Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen
2021 J jnl
Secure Neuroimaging Analysis using Federated Learning with Homomorphic Encryption.
CoRR
Dimitris Stripelis, Hamza Saleem, Tanmay Ghai, Nikhil J. Dhinagar, Umang Gupta, Chrysovalantis Anastasiou, Greg Ver Steeg, Srivatsan Ravi, Muhammad Naveed, Paul M. Thompson, José Luis Ambite
2021 J jnl
Secure Publish-Process-Subscribe System for Dispersed Computing.
IACR Cryptol. ePrint Arch.
Weizhao Jin, Bhaskar Krishnamachari, Muhammad Naveed, Srivatsan Ravi, Eduard Sanou, Kwame-Lante Wright
2020 A conf
Consistent and Secure Network Updates Made Practical.
Middleware
James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster
2020 A conf
PLASMA: programmable elasticity for stateful cloud computing applications.
EuroSys
Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri
2020 J jnl
RoSCo: Robust Updates for Software-Defined Networks.
IEEE J. Sel. Areas Commun.
James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid
2020 J jnl
Scalable and serializable networked multi-actor programming.
Proc. ACM Program. Lang.
Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman
2020 J jnl
Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models.
CoRR
Ohad Ben-Baruch, Srivatsan Ravi
2019 J jnl
Concurrency and Privacy with Payment-Channel Networks.
CoRR
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
2019 J jnl
On the Cost of Concurrency in Hybrid Transactional Memory.
CoRR
Trevor Brown, Srivatsan Ravi
2019 J jnl
Programming Scalable Cloud Services with AEON.
CoRR
Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster
2018 J jnl
Generalized Paxos Made Byzantine (and Less Complex).
Algorithms
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
2018 J jnl
Inherent limitations of hybrid transactional memory.
Distributed Comput.
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2018 J jnl
Merge: An Architecture for Interconnected Testbed Ecosystems.
CoRR
Ryan Goodfellow, Lincoln Thurlow, Srivatsan Ravi
2017 — conf
A Concurrency-Optimal Binary Search Tree.
Euro-Par
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
2017 J jnl
A Concurrency-Optimal Binary Search Tree.
CoRR
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
2017 A* conf
Concurrency and Privacy with Payment-Channel Networks.
CCS
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
2017 J jnl
Concurrency and Privacy with Payment-Channel Networks.
IACR Cryptol. ePrint Arch.
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
2017 A conf
Cost of Concurrency in Hybrid Transactional Memory.
DISC
Trevor Brown, Srivatsan Ravi
2017 C conf
Generalized Paxos Made Byzantine (and Less Complex).
SSS
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
2017 J jnl
Generalized Paxos Made Byzantine (and Less Complex).
CoRR
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
2017 J jnl
Grasping the gap between blocking and non-blocking transactional memories.
J. Parallel Distributed Comput.
Petr Kuznetsov, Srivatsan Ravi
2017 J jnl
Lower Bounds for Transactional Memory.
Bull. EATCS
Srivatsan Ravi
2017 — conf
Programmable Elasticity for Actor-based Cloud Applications.
PLOS@SOSP
Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster
2016 B conf
In the Search for Optimal Concurrency.
SIROCCO
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2016 J jnl
In the Search of Optimal Concurrency.
CoRR
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2016 A conf
Programming Scalable Cloud Services with AEON.
Middleware
Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster
2016 — conf
The misbelief in delay scheduling.
DCC@PODC
Derek Schatzlein, Srivatsan Ravi, Youngtae Noh, Masoud Saeida Ardekani, Patrick Eugster
2015 J jnl
A Concurrency-Optimal List-Based Set.
CoRR
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang
2015 A conf
Grasping the Gap Between Blocking and Non-Blocking Transactional Memories.
DISC
Petr Kuznetsov, Srivatsan Ravi
2015 A conf
Inherent Limitations of Hybrid Transactional Memory.
DISC
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2015 Misc conf
On Partial Wait-Freedom in Transactional Memory.
ICDCN
Petr Kuznetsov, Srivatsan Ravi
2015 J jnl
On the Cost of Concurrency in Transactional Memory.
CoRR
Srivatsan Ravi
2015 — —
On the cost of concurrency in transactional memory.
Srivatsan Ravi
2015 B conf
Progressive Transactional Memory in Time and Space.
PaCT
Petr Kuznetsov, Srivatsan Ravi
2015 J jnl
Progressive Transactional Memory in Time and Space.
CoRR
Petr Kuznetsov, Srivatsan Ravi
2015 — ch.
Safety and Deferred Update in Transactional Memory.
Transactional Memory
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2015 J jnl
Why Transactional Memory Should Not Be Obstruction-Free.
CoRR
Petr Kuznetsov, Srivatsan Ravi
2014 J jnl
Inherent Limitations of Hybrid Transactional Memory.
CoRR
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
2014 J jnl
On Partial Wait-Freedom in Transactional Memory.
CoRR
Petr Kuznetsov, Srivatsan Ravi
2013 J jnl
Safety of Deferred Update in Transactional Memory
CoRR
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2013 A conf
Safety of Deferred Update in Transactional Memory.
ICDCS
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
2012 A* conf
Brief announcement: From sequential to concurrent: correctness and relative efficiency.
PODC
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2012 J jnl
From Sequential to Concurrent: Correctness and Relative Efficiency
CoRR
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
2012 J jnl
WTTM 2011: the third workshop on the theory of transactional memory.
SIGACT News
Petr Kuznetsov, Srivatsan Ravi
2011 J jnl
On the Cost of Concurrency in Transactional Memory
CoRR
Petr Kuznetsov, Srivatsan Ravi
2011 B conf
On the Cost of Concurrency in Transactional Memory.
OPODIS
Petr Kuznetsov, Srivatsan Ravi
2010 J jnl
Transactional memory, linking theory and practice.
SIGACT News
Srivatsan Ravi, Vincent Gramoli, Victor Luchangco