Publications
2025
Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V Deshmukh, Mukund Raghothaman, Srivatsan Ravi
International Conference on Verification, Model Checking, and Abstract …, 2025
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
arXiv preprint arXiv:2501.14783, 2025
Parwat Singh Anjana, Srivatsan Ravi
arXiv preprint arXiv:2505.05358, 2025
Luis Garcia, Jelena Mirkovic, David Balenson, Erik Kline, Yuri Pradkin, David Choffnes, Daniel Dubois, Terry Benzel, Srivatsan Ravi, Joseph Barnes, Geoff Lawler, Chris Tran, Alba Regalado
Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical …, 2025
Yuan Xia, Aabha Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 1721-1729, 2025
Parwat Singh Anjana, Srivatsan Ravi, Raghavendra Ramesh, Joshua Tobkin, Rohit Kapoor, Rahul Parmar
arXiv preprint arXiv:2503.03203, 2025
2024
Jelena Mirkovic, David Balenson, Brian Kocoloski, Geoff Lawler, Chris Tran, Joseph Barnes, Yuri Pradkin, Terry Benzel, Srivatsan Ravi, Ganesh Sankaran, Alba Regalado, David Choffnes, Daniel Dubois, Luis Garcia
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
Zunchen Huang, Srivatsan Ravi, Chao Wang
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
Yuhang Yao, Yuan Li, Xinyi Fan, Junhao Li, Kay Liu, Weizhao Jin, Srivatsan Ravi, Philip S Yu, Carlee Joe-Wong
arXiv preprint arXiv:2410.06340, 2024
Dimitris Stripelis, Umang Gupta, Hamza Saleem, Nikhil Dhinagar, Tanmay Ghai, Rafael Sanchez, Chrysovalantis Anastasiou, Armaghan Asghar, GV Steeg, Srivatsan Ravi
Patterns 5 (8), 2024
Yixiang Yao, Joseph Cecil, Praveen Angyan, Neil Bahroos, Srivatsan Ravi
arXiv preprint arXiv:2405.18430, 2024
Michael Collins, Jyotirmoy V Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
arXiv preprint arXiv:2403.01314, 2024
Yixiang Yao, Fei Wang, Srivatsan Ravi, Muhao Chen
arXiv preprint arXiv:2402.08227, 2024
Yuhang Yao, Weizhao Jin, Srivatsan Ravi, Carlee Joe-Wong
Advances in neural information processing systems 36, 2024
2023
Yuan Xia, Jyotirmoy V Deshmukh, Mukund Raghothaman, Srivatsan Ravi
arXiv preprint arXiv:2312.17527, 2023
Christophe Hauser, Shirin Nilizadeh, Yan Shoshitaishvili, Ni Trieu, Srivatsan Ravi, Christopher Kruegel, Giovanni Vigna
International Conference on Security and Privacy in Communication Systems …, 2023
Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2023
Yixiang Yao, Weizhao Jin, Srivatsan Ravi
arXiv preprint arXiv:2308.03734, 2023
Sulagna Mukherjee, Srivatsan Ravi, Paul Schmitt, Barath Raghavan
arXiv preprint arXiv:2308.02202, 2023
Yi Zheng, Srivatsan Ravi, Erik Kline, Lincoln Thurlow, Sven Koenig, TK Satish Kumar
2023 32nd International Conference on Computer Communications and Networks …, 2023
Tanmay Ghai, Yixiang Yao, Srivatsan Ravi
2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2023
Weizhao Jin, Yuhang Yao, Shanshan Han, Jiajun Gu, Carlee Joe-Wong, Srivatsan Ravi, Salman Avestimehr, Chaoyang He
arXiv preprint arXiv:2303.10837, 2023
Weizhao Jin, Erik Kline, TK Satish Kumar, Lincoln Thurlow, Srivatsan Ravi
Cryptology ePrint Archive, 2023
2022
Omkar Thakoor, Ang Li, Sven Koenig, Srivatsan Ravi, Erik Kline, TK Satish Kumar
International Conference on Principles and Practice of Multi-Agent Systems …, 2022
Ohad Ben-Baruch, Srivatsan Ravi
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2022
James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster
ACM Transactions on Privacy and Security 26 (1), 1-41, 2022
Weizhao Jin, Bhaskar Krishnamachari, Muhammad Naveed, Srivatsan Ravi, Eduard Sanou, Kwame-Lante Wright
2022 41st International Symposium on Reliable Distributed Systems (SRDS), 58-68, 2022
Tanmay Ghai, Yixiang Yao, Srivatsan Ravi, Pedro Szekely
arXiv preprint arXiv:2208.07999, 2022
Luis Garcia, Genevieve Bartlett, Srivatsan Ravi, Harun Ibrahim, Wes Hardaker, Erik Kline
2022 IEEE International Symposium on Measurements & Networking (M&N), 1-6, 2022
Gaetano C Coccimiglio, Trevor A Brown, Srivatsan Ravi
Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and …, 2022
Yi Zheng, Srivatsan Ravi, Erik Kline, Sven Koenig, TK Satish Kumar
Proceedings of the International Conference on Automated Planning and …, 2022
Erik Kline, Srivatsan Ravi, David Cousins, Sara Rv
2022 IEEE Wireless Communications and Networking Conference (WCNC), 43-48, 2022
Weizhao Jin, Srivatsan Ravi, Erik Kline
2022 IEEE Wireless Communications and Networking Conference (WCNC), 31-36, 2022
Dimitris Stripelis, Umang Gupta, Hamza Saleem, Nikhil Dhinagar, Tanmay Ghai, Rafael Chrysovalantis Anastasiou, Armaghan Asghar, Greg Ver Steeg, Srivatsan Ravi, Muhammad Naveed, Paul M Thompson, Jose Luis Ambite
arXiv preprint arXiv:2205.05249, 2022
2021
Dimitris Stripelis, Hamza Saleem, Tanmay Ghai, Nikhil Dhinagar, Umang Gupta, Chrysovalantis Anastasiou, Greg Ver Steeg, Srivatsan Ravi, Muhammad Naveed, Paul M Thompson, Jose Luis Ambite
17th International Symposium on Medical Information Processing and Analysis …, 2021
Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
Yixiang Yao, Tanmay Ghai, Srivatsan Ravi, Pedro Szekely
Proceedings of the 30th ACM International Conference on Information …, 2021
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Di Shang, Srivatsan Ravi
Parallel Computing Technologies: 16th International Conference, PaCT 2021 …, 2021
Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen
Cryptology ePrint Archive, 2021
2020
James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster
Proceedings of the 21st International Middleware Conference, 149-162, 2020
Ohad Ben-Baruch, Srivatsan Ravi
arXiv preprint arXiv:2012.03692, 2020
Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri
Proceedings of the Fifteenth European Conference on Computer Systems, 1-15, 2020
James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid
IEEE Journal on Selected Areas in Communications 38 (7), 1352-1365, 2020
2019
Trevor Brown, Srivatsan Ravi
arXiv preprint arXiv:1907.02669, 2019
2018
Ryan Goodfellow, Lincoln Thurlow, Srivatsan Ravi
arXiv preprint arXiv:1810.08260, 2018
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
Algorithms 11 (9), 141, 2018
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
Distributed Computing 31, 167-185, 2018
2017
Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster
Proceedings of the 9th Workshop on Programming Languages and Operating …, 2017
Petr Kuznetsov, Srivatsan Ravi
Journal of Parallel and Distributed Computing 101, 1-16, 2017
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ébastien Bouchard, Marjorie Bournat, Yoann Dieudonné, 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ás 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ús M Halldórsson, Nancy Lynch, Calvin Newport, Itay Hazan, Eyal Kushilevitz, Damien Imbs, Achour Mostéfaoui, 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
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
Matteo Maffei, Aniket Kate, Giulio Malavolta, Pedro Moreno-Sanchez, Srivatsan Ravi
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
Euro-Par 2017: Parallel Processing: 23rd International Conference on …, 2017
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
31st International Symposium on Distributed Computing (DISC 2017) 91, 9, 2017
2016
Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster
Proceedings of the 17th International Middleware Conference, 1-14, 2016
Derek Schatzlein, Srivatsan Ravi, Youngtae Noh, Masoud Saeida Ardekani, Patrick Eugster
Proceedings of the 4th Workshop on Distributed Cloud Computing, 1-6, 2016
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
Structural Information and Communication Complexity: 23rd International …, 2016
2015
Srivatsan Ravi
arXiv preprint arXiv:1511.01779, 2015
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit
International Symposium on Distributed Computing, 185-199, 2015
Petr Kuznetsov, Srivatsan Ravi
International Conference on Parallel Computing Technologies, 410-425, 2015
Petr Kuznetsov, Srivatsan Ravi
arXiv preprint arXiv:1502.02725, 2015
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang
arXiv preprint arXiv:1502.01633, 2015
Petr Kuznetsov, Srivatsan Ravi
Proceedings of the 16th International Conference on Distributed Computing …, 2015
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST …, 2015
2012
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
arXiv preprint arXiv:1203.4751, 2012
Petr Kuznetsov, Srivatsan Ravi
ACM SIGACT News 43 (1), 87-92, 2012
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
arXiv preprint arXiv:1203.4751, 2012
PK Hagit Attiya, Sandeep Hans, S Ravi
4th Workshop on the Theory of Transactional Memory, Madeira, Portugal, 2012
PK Vincent Gramoli, S Ravi
4th Workshop on the Theory of Transactional Memory, Madeira, Portugal, 2012
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
CoRR, abs/1203.4751, 2012
2011
Petr Kuznetsov, Srivatsan Ravi
International Conference On Principles Of Distributed Systems, 112-127, 2011
2010
Srivatsan Ravi, Vincent Gramoli, Victor Luchangco
ACM SIGACT News 41 (4), 109-115, 2010
2005
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang
International Symposium on Distributed Computing, 659, 2005