View my publications on DBLP here
View my Research Gate web page
View my publications on Google Scholar here
2021
- ”HashSplit: Exploiting Bitcoin Asynchrony to Violate Common Prefix and Chain Quality“
Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen
Cryptology ePrint Archive: Report 2021/299
Extended version of conference paper in ACM CCS 2021 - “Separation and Equivalence Results for Crash-stop and Crash-recovery Shared Memory Models”
Ohad Ben-Baruch and Srivatsan Ravi
12th Annual Non-Volatile Memories Workshop (NVMW) 2021 - ”Revisiting Nakamoto Consensus in Asynchronous Networks: A
Comprehensive Analysis of Bitcoin Safety and Chain Quality“
Muhammad Saad and Afsah Anwar and Srivatsan Ravi and David Mohaisen
ACM Conference on Computer and Communications Security (CCS) 2021
2020
- ”RoSCo: A Robust and Scalable Software-defined Network Controller“
James Lembke, Srivatsan Ravi, Patrick Eugster, Stefan Schmid
IEEE Journal on Selected Areas in Communications, 2020 - “Separation and Equivalence Results for Crash-stop and Crash-recovery Shared Memory Models”
Ohad Ben-Baruch and Srivatsan Ravi
ArXiv Computing Research Repository (CoRR), abs/2012.03692, 2020
Full version of workshop paper in NVMW 2021 - ”Consistent and Secure Network Policy Updates“
James Lembke, Srivatsan Ravi, Patrick Eugster, Pierre Louis Roman
ACM Middleware 2020 - ”Scalable and Serializable Networked Multi-Actor Programming“
Bo Sang, Gustavo Petri, Srivatsan Ravi, Pierre Louis Roman, Patrick Eugster
Proceedings of the ACM on Programming Languages (PACMPL): Object-oriented
Programming, Systems, Languages, and Applications (OOPSLA 2020) - ”Programmable elasticity for stateful serverless computing applications
Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri
Fifteenth EuroSys Conference 2020 - ”Cybersecurity Experimentation for the Programmable Edge“
Terry Benzel, Ryan Goodfellow, Erik Kline, Jelena Mirkovic, Srivatsan Ravi, Stephen Schwab
Position paper, US-Japan Workshop on Programmable Networking, 2020
https://sites.google.com/view/us-japan-workshop/home - ”High-fidelity cyber-experimentation for secure and dispersed smart edge
ecosystem”
Ryan Goodfellow, Srivatsan Ravi, Stephen Schwab
Position paper, NSF Midscale Experimental Research Infrastructure Forum (MERIF) 2020
Appears in Workshop Report on Midscale Experimental Research Infrastructures
https://drive.google.com/file/d/18PT0QbivWwWxHFXPkftC0T9ywrk00fUO/view
2019
- ”Cost of Concurrency in hybrid transactional memory“
Trevor Brown and Srivatsan Ravi
ArXiv Computing Research Repository (CoRR), abs/1907.02669, 2019
Extended version of DISC 2017 paper
2018
- ”Generalized Paxos made Byzantine (and Less Complex)“
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
By invitation for MDPI Algorithms Special Issue on Symposium on Stabilization, Safety, and
Security of Distributed Systems 2018 - ”Inherent limitations of hybrid transactional memory“
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi and Nir Shavit
Distributed Computing (DC) Journal, Springer, 2018
Full version of conference paper from International Symposium on Distributed
Computing 2015 - ”Merge: An Architecture for Interconnected Testbed Ecosystems”
Ryan Goodfellow, Lincoln Thurlow, Srivatsan Ravi
ArXiv Computing Research Repository (CoRR), abs/1810.08260, 2018 - ”Cyber-experimentation for secure and distributed software-defined networking
infrastructures“
Srivatsan Ravi and Stephen Schwab
Position paper, Global Experimentation for Future Internet (GEFI 2018)
Appears in GEFI Report: ArXiv Computing Research Repository (CoRR), abs/1901.02929, 2019
2017
- ”Concurrency and privacy with payment-channel networks“
Pedro Moreno-Sanchez, Giulio Malavolta, Aniket Kate, Matteo Maffei, Srivatsan Ravi
Cryptology ePrint Archive: Report 2017/820
Full version of conference paper in ACM Conference on Computer and
Communications Security 2017 - ”A concurrency-optimal binary search tree“
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, and Srivatsan Ravi
ArXiv Computing Research Repository (CoRR), abs/1702.04441, 2017
Full version of paper in European Conference on Parallel and Distributed Computing 2017 - ”Generalized Paxos made Byzantine (and Less Complex)“
Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017) - ”Cost of Concurrency in hybrid transactional memory“
Trevor Brown and Srivatsan Ravi
Distributed Computing – 31th International Symposium (DISC 2017)
Short version also appeared in 12th ACM SIGPLAN Workshop on Transactional
Computing - ”Concurrency and privacy with payment-channel networks“
Pedro Moreno-Sanchez, Giulio Malavolta, Aniket Kate, Matteo Maffei, Srivatsan Ravi
ACM Conference on Computer and Communications Security (CCS 2017)
Short version also presented in Scaling Bitcoin 2017: Stanford Workshop - “A concurrency-optimal binary search tree”
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova and Srivatsan Ravi
23rd Intl. European Conference on Parallel and Distributed Computing (EURO-PAR 2017) - ”Lower bounds for transactional memory“
Srivatsan Ravi
Bulletin of the European Association for Theoretical Computer Science (EATCS), Vol. 121, 2017 - ”Grasping the gap between blocking and non-blocking transactional memories“
Petr Kuznetsov and Srivatsan Ravi
Journal of Parallel and Distributed Computing (JPDC), Elsevier, 2017
Full version of conference paper from International Symposium on Distributed
Computing 2015 - ”Programmable Elasticity for Actor-based Cloud Applications“
Bo Sang, Srivatsan Ravi, Gustavo Petri, Masoud Ardekani, Najaf Zadeh Mahsa, Patrick Eugster
9th Workshop on Programming Languages and Operating Systems (PLOS 2017) - ”Cost of concurrency in hybrid transactional memory“
Trevor Brown and Srivatsan Ravi
12th ACM SIGPLAN Workshop on Transactional Computing (Transact 2017)
2016
- ”The misbelief in delay scheduling“
Derek Schatzlein, Srivatsan Ravi, Youngtae Noh, Masoud Ardekani, and Patrick Eugster
4th Workshop on Distributed Cloud Computing (DCC 2016) - “In the search for optimal concurrency”
Vincent Gramoli, Petr Kuznetsov, and Srivatsan Ravi
Structural Information and Communication Complexity – 23rd International Colloquium (SIROCCO 2016) - “Programming scalable cloud services with Atomic Events and Ownership
Network (AEON)“
Bo Sang, Gustavo Petri, Masoud Ardekani, Srivatsan Ravi, and Patrick Eugster
17th International Middleware Conference (2016)
2015
- ”Grasping the gap between blocking and non-blocking transactional memories“
Petr Kuznetsov and Srivatsan Ravi
Distributed Computing – 29th International Symposium (DISC 2015) - ”Inherent limitations of hybrid transactional memory“
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, and Nir Shavit
Distributed Computing – 29th International Symposium (DISC 2015)
Short version also appeared in 6th Workshop on the Theory of Transactional Memory - “A concurrency-optimal list-based set (Short paper)”
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi and Di Shang
Distributed Computing – 29th International Symposium (DISC 2015) - ”Progressive transactional memory in time and space“
Petr Kuznetsov and Srivatsan Ravi
Parallel Computing Technologies – 13th International Conference (PaCT 2015) - ”On partial wait-freedom in transactional memory“
Petr Kuznetsov and Srivatsan Ravi
International Conference on Distributed Computing and Networking (ICDCN 2015) - ”Safety and deferred update in transactional memory“
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, and Srivatsan Ravi
Transactional Memory. Foundations, Algorithms, Tools, and Applications, Volume 8913 of Lecture Notes in Computer Science, Springer International Publishing, 2015 - ”On the Cost of Concurrency in Transactional Memory“
Ph.D thesis, Technische Universitat Berlin
Committee: Hagit Attiya (The Technion), Anja Feldmann (Technische Universitat Berlin), Rachid Guerraoui (EPFL), Petr Kuznetsov (T\E9l\E9com ParisTech), Uwe Nestmann (Technische Universitat Berlin), Michel Raynal (INRIA, Rennes)
ArXiv Computing Research Repository (CoRR), abs/1407.6876, 2015 - ”A concurrency-optimal list-based set“
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, and Di Shang
ArXiv Computing Research Repository (CoRR), abs/1502.01633, 2015
Full version of paper in International Symposium on Distributed Computing 2015 - ”Why transactional memory should not be obstruction-free“
Petr Kuznetsov and Srivatsan Ravi
ArXiv Computing Research Repository (CoRR), abs/1502.02725, 2015
2014
- ”Forget about performance, think about concurrency“
Vincent Gramoli, Petr Kuznetsov, and Srivatsan Ravi
6th Workshop on the Theory of Transactional Memory (WTTM 2014) - ”Inherent limitations of hybrid transactional memory“
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, and Nir Shavit
6th Workshop on the Theory of Transactional Memory (WTTM 2014)
2013
- ”Safety of deferred update in transactional memory“
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, and Srivatsan Ravi
IEEE 33rd International Conference on Distributed Computing Systems (ICDCS 2013)
2012
- ”From sequential to concurrent: correctness and relative efficiency (short paper)“
Vincent Gramoli, Petr Kuznetsov, and Srivatsan Ravi
Principles of Distributed Computing (PODC 2012) - ”Optimism for boosting concurrency“
Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi
ArXiv Computing Research Repository (CoRR), abs/1203.4751, 2012
Full version of paper in Principles of Distributed Computing 2012 - ”WTTM 2011: the third workshop on the theory of transactional memory“
Petr Kuznetsov and Srivatsan Ravi
ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) News, Vol. 43, 2012 - ”Sharing a sequential data structure: correctness definition and concurrency
analysis“
Vincent Gramoli, Petr Kuznetsov, and Srivatsan Ravi
4th Workshop on the Theory of Transactional Memory (WTTM 2012) - ”What is safe in transactional memory“
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, and Srivatsan Ravi
4th Workshop on the Theory of Transactional Memory (WTTM 2012)
2011
- ”On the cost of concurrency in transactional memory.“
Petr Kuznetsov and Srivatsan Ravi
International Conference on Principles of Distributed Systems (OPODIS 2011) - ”On the cost of concurrency in transactional memory.“
Petr Kuznetsov and Srivatsan Ravi
Extended version of paper in OPODIS 2011
ArXiv Computing Research Repository (CoRR), abs/1103.1302, 2011
2010
- ”Transactional memory, linking theory and practice“
Srivatsan Ravi, Vincent Gramoli, and Victor Luchangco
ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) News, Vol. 41, 2010
2007
- ”Independent navigation and functioning of intelligent agents by social
interaction“
K. Sakthivel, R. Venkatraghavan, S. Shivashankar, R. Srivatsan, and T. Srinivasan
International Conference on Computational Intelligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA 2006)