{"id":15,"date":"2023-09-29T17:31:47","date_gmt":"2023-09-29T17:31:47","guid":{"rendered":"https:\/\/www.isi.edu\/people-sravi\/?page_id=15"},"modified":"2025-06-13T17:50:01","modified_gmt":"2025-06-13T17:50:01","slug":"publications","status":"publish","type":"page","link":"https:\/\/www.isi.edu\/people-sravi\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n\n\t\n
\n\n

2025<\/h2>\n \n
\n

\n \n ZENITH: Towards A Formally Verified Highly-Available Control Plane <\/a>\n <\/h3>\n\n
\n Pooria Namyar, Arvin Ghavidel, Mingyang Zhang, Harsha V Madhyastha, Srivatsan Ravi, Chao Wang, Ramesh Govindan <\/div>\n \n
\n Proceedings of the ACM SIGCOMM 2025 Conference, 409-433<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Empirical Analysis of Transaction Conflicts in Ethereum and Solana for Parallel Execution <\/a>\n <\/h3>\n\n
\n Parwat Singh Anjana, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:2505.05358<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Access Specification-Aware Software Transactional Memory Techniques for Efficient Execution of Smart Contract Transactions <\/a>\n <\/h3>\n\n
\n Parwat Singh Anjana, Srivatsan Ravi, Raghavendra Ramesh, Joshua Tobkin, Rohit Kapoor, Rahul Parmar <\/div>\n \n
\n arXiv preprint arXiv:2503.03203<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants <\/a>\n <\/h3>\n\n
\n Yuan Xia, Aabha Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi <\/div>\n \n
\n Proceedings of the 40th ACM\/SIGAPP Symposium on Applied Computing, 1721-1729<\/i>, 2025\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Block Transactional Memory: A Complexity Study <\/a>\n <\/h3>\n\n
\n Parwat Singh Anjana, Srivatsan Ravi <\/div>\n \n
\n International Symposium on Stabilizing, Safety, and Security of Distributed \u2026<\/i>, 2025\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Persistent HyTM via Fast Path Fine-Grained Locking <\/a>\n <\/h3>\n\n
\n Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:2501.14783<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning <\/a>\n <\/h3>\n\n
\n Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V Deshmukh, Mukund Raghothaman, Srivatsan Ravi <\/div>\n \n
\n International Conference on Verification, Model Checking, and Abstract \u2026<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models <\/a>\n <\/h3>\n\n
\n Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V Deshmukh <\/div>\n \n
\n CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN\u2013FMCAD 2025, 226<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications <\/a>\n <\/h3>\n\n
\n Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin <\/div>\n \n
\n 7th Conference on Advances in Financial Technologies (AFT 2025), 29: 1-29: 26<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Programming Scalable Elastic Services with AEON <\/a>\n <\/h3>\n\n
\n Patrick Eugster, Srivatsan Ravi, Bo Sang <\/div>\n \n
\n ACM Transactions on Computer Systems<\/i>, 2025\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2024<\/h2>\n \n
\n

\n \n Feasibility of Privacy-Preserving Entity Resolution on Confidential Healthcare Datasets Using Homomorphic Encryption <\/a>\n <\/h3>\n\n
\n Yixiang Yao, Joseph Cecil, Praveen Angyan, Neil Bahroos, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:2405.18430<\/i>, 2024\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Privacy-preserving language model inference with instance obfuscation <\/a>\n <\/h3>\n\n
\n Yixiang Yao, Fei Wang, Srivatsan Ravi, Muhao Chen <\/div>\n \n
\n arXiv preprint arXiv:2402.08227<\/i>, 2024\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n FedGraph: A Research Library and Benchmark for Federated Graph Learning <\/a>\n <\/h3>\n\n
\n Yuhang Yao, Yuan Li, Xinyi Fan, Junhao Li, Kay Liu, Weizhao Jin, Srivatsan Ravi, Philip S Yu, Carlee Joe-Wong <\/div>\n \n
\n arXiv preprint arXiv:2410.06340<\/i>, 2024\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Discovering Likely Program Invariants for Persistent Memory <\/a>\n <\/h3>\n\n
\n Zunchen Huang, Srivatsan Ravi, Chao Wang <\/div>\n \n
\n Proceedings of the 39th IEEE\/ACM International Conference on Automated \u2026<\/i>, 2024\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2023<\/h2>\n \n
\n

\n \n The Fence Complexity of Persistent Sets <\/a>\n <\/h3>\n\n
\n Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi <\/div>\n \n
\n International Symposium on Stabilizing, Safety, and Security of Distributed \u2026<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Labeling without Seeing? Blind Annotation for Privacy-Preserving Entity Resolution <\/a>\n <\/h3>\n\n
\n Yixiang Yao, Weizhao Jin, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:2308.03734<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n SoK: The Ghost Trilemma <\/a>\n <\/h3>\n\n
\n Sulagna Mukherjee, Srivatsan Ravi, Paul Schmitt, Barath Raghavan <\/div>\n \n
\n arXiv preprint arXiv:2308.02202<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Lessons Learned: Building a Privacy-Preserving Entity Resolution Adaptation of PPJoin using End-to-End Homomorphic Encryption <\/a>\n <\/h3>\n\n
\n Tanmay Ghai, Yixiang Yao, Srivatsan Ravi <\/div>\n \n
\n 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW \u2026<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n FedML-HE: An efficient homomorphic-encryption-based privacy-preserving federated learning system <\/a>\n <\/h3>\n\n
\n Weizhao Jin, Yuhang Yao, Shanshan Han, Jiajun Gu, Carlee Joe-Wong, Srivatsan Ravi, Salman Avestimehr, Chaoyang He <\/div>\n \n
\n arXiv preprint arXiv:2303.10837<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Data-Driven Template-Free Invariant Generation <\/a>\n <\/h3>\n\n
\n Yuan Xia, Jyotirmoy V Deshmukh, Mukund Raghothaman, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:2312.17527<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2024<\/h2>\n \n
\n

\n \n FedGCN: convergence-communication tradeoffs in federated training of graph convolutional networks <\/a>\n <\/h3>\n\n
\n Yuhang Yao, Weizhao Jin, Srivatsan Ravi, Carlee Joe-Wong <\/div>\n \n
\n Advances in neural information processing systems 36<\/i>, 2024\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2023<\/h2>\n \n
\n

\n \n Street Rep: A Privacy-Preserving Reputation Aggregation System <\/a>\n <\/h3>\n\n
\n Christophe Hauser, Shirin Nilizadeh, Yan Shoshitaishvili, Ni Trieu, Srivatsan Ravi, Christopher Kruegel, Giovanni Vigna <\/div>\n \n
\n International Conference on Security and Privacy in Communication Systems \u2026<\/i>, 2023\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n \u00f0'\u01923\u00f0'\u2030: Privacy-Preserving Path Validation System for Multi-Authority Sliced Networks. <\/a>\n <\/h3>\n\n
\n Weizhao Jin, Erik Kline, TK Satish Kumar, Lincoln Thurlow, Srivatsan Ravi <\/div>\n \n
\n IACR Cryptol. ePrint Arch. 2023, 53<\/i>, 2023\n\n <\/div>\n\n <\/div>\n\n

2022<\/h2>\n \n
\n

\n \n Secure publish-process-subscribe system for dispersed computing <\/a>\n <\/h3>\n\n
\n Weizhao Jin, Bhaskar Krishnamachari, Muhammad Naveed, Srivatsan Ravi, Eduard Sanou, Kwame-Lante Wright <\/div>\n \n
\n 2022 41st International Symposium on Reliable Distributed Systems (SRDS), 58-68<\/i>, 2022\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Evaluating the Feasibility of a Provably Secure Privacy-Preserving Entity Resolution Adaptation of PPJoin using Homomorphic Encryption <\/a>\n <\/h3>\n\n
\n Tanmay Ghai, Yixiang Yao, Srivatsan Ravi, Pedro Szekely <\/div>\n \n
\n arXiv preprint arXiv:2208.07999<\/i>, 2022\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n PREP-UC: A Practical Replicated Persistent Universal Construction <\/a>\n <\/h3>\n\n
\n Gaetano C Coccimiglio, Trevor A Brown, Srivatsan Ravi <\/div>\n \n
\n Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and \u2026<\/i>, 2022\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2024<\/h2>\n \n
\n

\n \n Secure federated learning for neuroimaging <\/a>\n <\/h3>\n\n
\n Dimitris Stripelis, Umang Gupta, Hamza Saleem, Nikhil Dhinagar, Tanmay Ghai, Rafael Sanchez, Chrysovalantis Anastasiou, Armaghan Asghar, GV Steeg, Srivatsan Ravi <\/div>\n \n
\n Patterns 5 (8)<\/i>, 2024\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2022<\/h2>\n \n
\n

\n \n The limits of helping in non-volatile memory data structures <\/a>\n <\/h3>\n\n
\n Ohad Ben-Baruch, Srivatsan Ravi <\/div>\n \n
\n International Symposium on Stabilizing, Safety, and Security of Distributed \u2026<\/i>, 2022\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Secure and reliable network updates <\/a>\n <\/h3>\n\n
\n James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster <\/div>\n \n
\n ACM Transactions on Privacy and Security 26 (1), 1-41<\/i>, 2022\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Cybersecurity Experimentation Workshop\u20132022\u2013Report <\/a>\n <\/h3>\n\n
\n Jelena Mirkovic, David Balenson, Srivatsan Ravi, Luis Garcia, Terry Benzel <\/div>\n \n
\n 2022\n\n <\/div>\n\n <\/div>\n\n

2021<\/h2>\n \n
\n

\n \n Revisiting nakamoto consensus in asynchronous networks: A comprehensive analysis of bitcoin safety and chainquality <\/a>\n <\/h3>\n\n
\n Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen <\/div>\n \n
\n Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications \u2026<\/i>, 2021\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Amppere: A universal abstract machine for privacy-preserving entity resolution evaluation <\/a>\n <\/h3>\n\n
\n Yixiang Yao, Tanmay Ghai, Srivatsan Ravi, Pedro Szekely <\/div>\n \n
\n Proceedings of the 30th ACM International Conference on Information \u2026<\/i>, 2021\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Optimal Concurrency for List-Based Sets <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Vitaly Aksenov, Vincent Gramoli, Srivatsan Ravi <\/div>\n \n
\n Parallel Computing Technologies-16th International Conference<\/i>, 2021\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality <\/a>\n <\/h3>\n\n
\n Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen <\/div>\n \n
\n Cryptology ePrint Archive<\/i>, 2021\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2020<\/h2>\n \n
\n

\n \n RoSCo: robust updates for software-defined networks <\/a>\n <\/h3>\n\n
\n James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid <\/div>\n \n
\n IEEE Journal on Selected Areas in Communications 38 (7), 1352-1365<\/i>, 2020\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Plasma: programmable elasticity for stateful cloud computing applications <\/a>\n <\/h3>\n\n
\n Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri <\/div>\n \n
\n Proceedings of the Fifteenth European Conference on Computer Systems, 1-15<\/i>, 2020\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Consistent and secure network updates made practical <\/a>\n <\/h3>\n\n
\n James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster <\/div>\n \n
\n Proceedings of the 21st International Middleware Conference, 149-162<\/i>, 2020\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models <\/a>\n <\/h3>\n\n
\n Ohad Ben-Baruch, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:2012.03692<\/i>, 2020\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Scalable and serializable networked multi-actor programming <\/a>\n <\/h3>\n\n
\n Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman <\/div>\n \n
\n Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30<\/i>, 2020\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2019<\/h2>\n \n
\n

\n \n On the cost of concurrency in hybrid transactional memory <\/a>\n <\/h3>\n\n
\n Trevor Brown, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:1907.02669<\/i>, 2019\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2018<\/h2>\n \n
\n

\n \n Generalized paxos made byzantine (and less complex) <\/a>\n <\/h3>\n\n
\n Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues <\/div>\n \n
\n Algorithms 11 (9), 141<\/i>, 2018\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Inherent limitations of hybrid transactional memory <\/a>\n <\/h3>\n\n
\n Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit <\/div>\n \n
\n Distributed Computing 31, 167-185<\/i>, 2018\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2017<\/h2>\n \n
\n

\n \n Grasping the gap between blocking and non-blocking transactional memories <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n Journal of Parallel and Distributed Computing 101, 1-16<\/i>, 2017\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Lower bounds for Transactional memory <\/a>\n <\/h3>\n\n
\n Srivatsan Ravi <\/div>\n \n
\n Bulletin of EATCS 1 (121)<\/i>, 2017\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Concurrency and privacy with payment-channel networks <\/a>\n <\/h3>\n\n
\n Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi <\/div>\n \n
\n Proceedings of the 2017 ACM SIGSAC conference on computer and communications \u2026<\/i>, 2017\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Programmable elasticity for actor-based cloud applications <\/a>\n <\/h3>\n\n
\n Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster <\/div>\n \n
\n Proceedings of the 9th Workshop on Programming Languages and Operating \u2026<\/i>, 2017\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n A concurrency-optimal binary search tree <\/a>\n <\/h3>\n\n
\n Vincent Charles Gramoli, Vitaly Aksenov, Petr Kuznetsov, Anna Malova, Srivatsan Ravi <\/div>\n \n
\n Springer Verlag<\/i>, 2017\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n 31st International Symposium on Distributed Computing (DISC 2017) <\/a>\n <\/h3>\n\n
\n Christian Cachin, Marko Vukolic, Anne-Marie Kermarrec, Dana Randall, Maya Arbel-Raviv, Trevor Brown, Chen Avin, Kaushik Mondal, Stefan Schmid, Alkida Balliu, Pierre Fraigniaud, Ruben Becker, Andreas Karrenbauer, Sebastian Krinninger, Christoph Lenzen, S\u00e9bastien Bouchard, Marjorie Bournat, Yoann Dieudonn\u00e9, Swan Dubois, Franck Petit, Srivatsan Ravi, Keren Censor-Hillel, Seri Khoury, Ami Paz, Merav Parter, Gregory Schwartzman, David Yu Cheng Chan, Vassos Hadzilacos, Sam Toueg, Colin Cooper, Tomasz Radzik, Nicol\u00e1s Rivera, Takeharu Shiraga, Giuseppe A Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Masafumi Yamashita, Guy Even, Orr Fischer, Tzlil Gonen, Reut Levi, Moti Medina, Pedro Montealegre, Dennis Olivetti, Rotem Oshman, Ivan Rapaport, Ioan Todinca, Laurent Feuilloley, Manuela Fischer, Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela, Jara Uitto, Christiana Lymouri, Abdolhamid Ghodselahi, Alexey Gotsman, Sebastian Burckhardt, Ofer Grossman, Magn\u00fas M Halld\u00f3rsson, Nancy Lynch, Calvin Newport, Itay Hazan, Eyal Kushilevitz, Damien Imbs, Achour Most\u00e9faoui, Matthieu Perrin, Michel Raynal, Shady Issa, Pascal Felber, Alexander Matveev, Paolo Romano, Irvan Jahja, Haifeng Yu, Yuda Zhao, Prasad Jayanti, Anup Joshi, Gillat Kol, Dafna Sadeh, Joel Rybicki, Cameron Musco, Varun Kanade, Frederik Mallmann-Trenn, Victor Verdugo, Hammurabi Mendes, Maurice Herlihy, Ellis Michael, Dan RK Ports, Naveen Kr Sharma, Adriana Szekeres, Faisal Nawab, Joseph Izraelevitz, Terence Kelly, Charles B Morrey III, Dhruva R Chakrabarti, Michael L Scott, Shreyas Pai <\/div>\n \n
\n Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik GmbH<\/i>, 2017\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Concurrency and Privacy with Payment-Channel Networks <\/a>\n <\/h3>\n\n
\n Matteo Maffei, Aniket Kate, Giulio Malavolta, Pedro Moreno-Sanchez, Srivatsan Ravi <\/div>\n \n
\n Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications \u2026<\/i>, 2017\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n A concurrency-optimal binary search tree <\/a>\n <\/h3>\n\n
\n Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi <\/div>\n \n
\n Euro-Par 2017: Parallel Processing: 23rd International Conference on \u2026<\/i>, 2017\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n LIPIcs, Volume 91, DISC'17, Complete Volume}} <\/a>\n <\/h3>\n\n
\n Christian Cachin, Marko Vukolic, Anne-Marie Kermarrec, Dana Randall, Maya Arbel-Raviv, Trevor Brown, Chen Avin, Kaushik Mondal, Stefan Schmid, Alkida Balliu, Pierre Fraigniaud, Ruben Becker, Andreas Karrenbauer, Sebastian Krinninger, Christoph Lenzen, Trevor Brown, Srivatsan Ravi, Keren Censor-Hillel, Seri Khoury, Ami Paz <\/div>\n \n
\n 31st International Symposium on Distributed Computing (DISC 2017) 91, 9<\/i>, 2017\n\n <\/div>\n\n <\/div>\n\n

2016<\/h2>\n \n
\n

\n \n The misbelief in delay scheduling <\/a>\n <\/h3>\n\n
\n Derek Schatzlein, Srivatsan Ravi, Youngtae Noh, Masoud Saeida Ardekani, Patrick Eugster <\/div>\n \n
\n Proceedings of the 4th Workshop on Distributed Cloud Computing, 1-6<\/i>, 2016\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Programming scalable cloud services with AEON <\/a>\n <\/h3>\n\n
\n Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster <\/div>\n \n
\n Proceedings of the 17th International Middleware Conference, 1-14<\/i>, 2016\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n In the search for optimal concurrency <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n Structural Information and Communication Complexity: 23rd International \u2026<\/i>, 2016\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2015<\/h2>\n \n
\n

\n \n Progressive transactional memory in time and space <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n International Conference on Parallel Computing Technologies, 410-425<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Why transactional memory should not be obstruction-free <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:1502.02725<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n A concurrency-optimal list-based set <\/a>\n <\/h3>\n\n
\n Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang <\/div>\n \n
\n arXiv preprint arXiv:1502.01633<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n On the cost of concurrency in transactional memory <\/a>\n <\/h3>\n\n
\n Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:1511.01779<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Inherent limitations of hybrid transactional memory <\/a>\n <\/h3>\n\n
\n Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit <\/div>\n \n
\n International Symposium on Distributed Computing, 185-199<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n On partial wait-freedom in transactional memory <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n Proceedings of the 16th International Conference on Distributed Computing \u2026<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Safety and deferred update in transactional memory <\/a>\n <\/h3>\n\n
\n Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST \u2026<\/i>, 2015\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2012<\/h2>\n \n
\n

\n \n Brief announcement: From sequential to concurrent: correctness and relative efficiency <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n Proceedings of the 2012 ACM symposium on Principles of distributed computing \u2026<\/i>, 2012\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n WTTM 2011: the third workshop on the theory of transactional memory <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n ACM SIGACT News 43 (1), 87-92<\/i>, 2012\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Optimism for boosting concurrency <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:1203.4751<\/i>, 2012\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Sharing a Sequential Program: Correctness and Concurrency Analysis <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n arXiv preprint arXiv:1203.4751<\/i>, 2012\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n WTTM 2012, the fourth workshop on the theory of transactional memory <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Alessia Milani <\/div>\n \n
\n ACM SIGACT News 43 (4), 116-122<\/i>, 2012\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Op mism for boos ng concurrency <\/a>\n <\/h3>\n\n
\n Vincent GRAMOLI, Petr KUZNETSOV, Srivatsan RAVI <\/div>\n \n
\n arXiv preprint arXiv:1203.4751<\/i>, 2012\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n From sequential to concurrent: correctness and relative efficiency (brief announcement) <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n Principles of Distributed Computing (PODC), 241-242<\/i>, 2012\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n What is safe in transactional memory <\/a>\n <\/h3>\n\n
\n PK Hagit Attiya, Sandeep Hans, S Ravi <\/div>\n \n
\n 4th Workshop on the Theory of Transactional Memory, Madeira, Portugal<\/i>, 2012\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n Sharing a sequential data structure: correctness definition and concurrency analysis <\/a>\n <\/h3>\n\n
\n PK Vincent Gramoli, S Ravi <\/div>\n \n
\n 4th Workshop on the Theory of Transactional Memory, Madeira, Portugal<\/i>, 2012\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n From sequential to concurrent: Correctness and relative efficiency <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n CoRR, abs\/1203.4751<\/i>, 2012\n\n <\/div>\n\n <\/div>\n\n

2011<\/h2>\n \n
\n

\n \n Transactional memory-From theory to practice <\/a>\n <\/h3>\n\n
\n Srivatsan Ravi, Vincent Gramoli, Victor Luchangco <\/div>\n \n
\n 2011\n\n <\/div>\n\n <\/div>\n\n \n
\n

\n \n On the cost of concurrency in transactional memory <\/a>\n <\/h3>\n\n
\n Petr Kuznetsov, Srivatsan Ravi <\/div>\n \n
\n International Conference On Principles Of Distributed Systems, 112-127<\/i>, 2011\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2010<\/h2>\n \n
\n

\n \n Transactional memory, linking theory and practice <\/a>\n <\/h3>\n\n
\n Srivatsan Ravi, Vincent Gramoli, Victor Luchangco <\/div>\n \n
\n ACM SIGACT News 41 (4), 109-115<\/i>, 2010\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n

2005<\/h2>\n \n
\n

\n \n Brief announcement: a concurrency-optimal list-based set <\/a>\n <\/h3>\n\n
\n Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang <\/div>\n \n
\n International Symposium on Distributed Computing, 659<\/i>, 2005\n\n
\n View Paper<\/a>\n <\/div>\n <\/div>\n\n <\/div>\n\n \n <\/div>\n\n \n\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":421,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"news_source":"","news_author":"","external_news_link":"","footnotes":""},"class_list":["post-15","page","type-page","status-publish","hentry"],"yoast_head":"\nPublications - Srivatsan Ravi<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.isi.edu\/people-sravi\/publications\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Publications - Srivatsan Ravi\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.isi.edu\/people-sravi\/publications\/\" \/>\n<meta property=\"og:site_name\" content=\"Srivatsan Ravi\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-13T17:50:01+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/publications\\\/\",\"url\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/publications\\\/\",\"name\":\"Publications - Srivatsan Ravi\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/#website\"},\"datePublished\":\"2023-09-29T17:31:47+00:00\",\"dateModified\":\"2025-06-13T17:50:01+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/publications\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/publications\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/publications\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Publications\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/#website\",\"url\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/\",\"name\":\"Srivatsan Ravi\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.isi.edu\\\/people-sravi\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Publications - Srivatsan Ravi","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.isi.edu\/people-sravi\/publications\/","og_locale":"en_US","og_type":"article","og_title":"Publications - Srivatsan Ravi","og_url":"https:\/\/www.isi.edu\/people-sravi\/publications\/","og_site_name":"Srivatsan Ravi","article_modified_time":"2025-06-13T17:50:01+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.isi.edu\/people-sravi\/publications\/","url":"https:\/\/www.isi.edu\/people-sravi\/publications\/","name":"Publications - Srivatsan Ravi","isPartOf":{"@id":"https:\/\/www.isi.edu\/people-sravi\/#website"},"datePublished":"2023-09-29T17:31:47+00:00","dateModified":"2025-06-13T17:50:01+00:00","breadcrumb":{"@id":"https:\/\/www.isi.edu\/people-sravi\/publications\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.isi.edu\/people-sravi\/publications\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.isi.edu\/people-sravi\/publications\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.isi.edu\/people-sravi\/"},{"@type":"ListItem","position":2,"name":"Publications"}]},{"@type":"WebSite","@id":"https:\/\/www.isi.edu\/people-sravi\/#website","url":"https:\/\/www.isi.edu\/people-sravi\/","name":"Srivatsan Ravi","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.isi.edu\/people-sravi\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/pages\/15","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/users\/421"}],"replies":[{"embeddable":true,"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/comments?post=15"}],"version-history":[{"count":0,"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.isi.edu\/people-sravi\/wp-json\/wp\/v2\/media?parent=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}