Srivatsan Ravi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
26
Active years
2011–2026
Best venue rank
A*
Where they publish
- CSSS4 papers
- A*CCS3 papers
- BICCCN2 papers
- BSPAA2 papers
- BWCNC2 papers
- BPACT2 papers
- AMiddleware2 papers
- A*PODC2 papers
- BPPoPP1 paper
- ASANER1 paper
- BAFT1 paper
- BFMCAD1 paper
- MulticonferenceSAC1 paper
- A*SIGCOMM1 paper
- BVMCAI1 paper
- CSecureComm1 paper
- BPRIMA1 paper
- BSRDS1 paper
- ACIKM1 paper
- AEuroSys1 paper
- BEuroPar1 paper
- A*SOSP1 paper
- BSIROCCO1 paper
- NationalICDCN1 paper
- AICDCS1 paper
- BOPODIS1 paper
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PPoPP | Multiverse: Transactional Memory with Dynamic Multiversioning. | Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi |
| 2026 | SANER | Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs. | Tooba Khan, Srivatsan Ravi, Chao Wang |
| 2025 | AFT | Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications. | Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin |
| 2025 | FMCAD | Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models. | Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh |
| 2025 | ICCCN | Efficient Privacy-Preserving Network Path Validation. | Weizhao Jin, Erik Kline, T. K. Satish Kumar, Lincoln Thurlow, Srivatsan Ravi |
| 2025 | SAC | 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 |
| 2025 | SIGCOMM | ZENITH: Towards A Formally Verified Highly-Available Control Plane. | Pooria Namyar, Arvin Ghavidel, Mingyang Zhang, Harsha V. Madhyastha, Srivatsan Ravi, Chao Wang, Ramesh Govindan |
| 2025 | SPAA | Persistent HyTM via Fast Path Fine-Grained Locking. | Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi |
| 2025 | SSS | Block Transactional Memory: A Complexity Study. | Parwat Singh Anjana, Srivatsan Ravi |
| 2025 | VMCAI | 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 |
| 2024 | CCS | 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, Daniel J. Dubois, Luis Garcia |
| 2023 | ICCCN | Improved Conflict-Based Search for the Virtual Network Embedding Problem. | Yi Zheng, Srivatsan Ravi, Erik Kline, Lincoln Thurlow, Sven Koenig, T. K. Satish Kumar |
| 2023 | SecureComm | Street Rep: A Privacy-Preserving Reputation Aggregation System. | Christophe Hauser, Shirin Nilizadeh, Yan Shoshitaishvili, Ni Trieu, Srivatsan Ravi, Christopher Kruegel, Giovanni Vigna |
| 2023 | SSS | The Fence Complexity of Persistent Sets. | Gaetano Coccimiglio, Trevor Brown, Srivatsan Ravi |
| 2022 | PRIMA | The FastMap Pipeline for Facility Location Problems. | Omkar Thakoor, Ang Li, Sven Koenig, Srivatsan Ravi, Erik Kline, T. K. Satish Kumar |
| 2022 | WCNC | Decentralized Privacy-Preserving Path Validation for Multi-Slicing-Authority 5G Networks. | Weizhao Jin, Srivatsan Ravi, Erik Kline |
| 2022 | WCNC | Securing 5G Slices using Homomorphic Encryption. | Erik Kline, Srivatsan Ravi, David Cousins, Sara Rv |
| 2022 | SPAA | PREP-UC: A Practical Replicated Persistent Universal Construction. | Gaetano C. Coccimiglio, Trevor Alexander Brown, Srivatsan Ravi |
| 2022 | SRDS | Secure Publish-Process-Subscribe System for Dispersed Computing. | Weizhao Jin, Bhaskar Krishnamachari, Muhammad Naveed, Srivatsan Ravi, Eduard Sanou, Kwame-Lante Wright |
| 2022 | SSS | The Limits of Helping in Non-volatile Memory Data Structures. | Ohad Ben-Baruch, Srivatsan Ravi |
| 2021 | CCS | Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and ChainQuality. | Muhammad Saad, Afsah Anwar, Srivatsan Ravi, David Mohaisen |
| 2021 | CIKM | AMPPERE: A Universal Abstract Machine for Privacy-Preserving Entity Resolution Evaluation. | Yixiang Yao, Tanmay Ghai, Srivatsan Ravi, Pedro A. Szekely |
| 2021 | PACT | Optimal Concurrency for List-Based Sets. | Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Di Shang, Srivatsan Ravi |
| 2020 | EuroSys | PLASMA: programmable elasticity for stateful cloud computing applications. | Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri |
| 2020 | Middleware | Consistent and Secure Network Updates Made Practical. | James Lembke, Srivatsan Ravi, Pierre-Louis Roman, Patrick Eugster |
| 2017 | CCS | Concurrency and Privacy with Payment-Channel Networks. | Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi |
| 2017 | EuroPar | A Concurrency-Optimal Binary Search Tree. | Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi |
| 2017 | SOSP | Programmable Elasticity for Actor-based Cloud Applications. | Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster |
| 2017 | SSS | Generalized Paxos Made Byzantine (and Less Complex). | Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues |
| 2016 | Middleware | Programming Scalable Cloud Services with AEON. | Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster |
| 2016 | PODC | The misbelief in delay scheduling. | Derek Schatzlein, Srivatsan Ravi, Youngtae Noh, Masoud Saeida Ardekani, Patrick Eugster |
| 2016 | SIROCCO | In the Search for Optimal Concurrency. | Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi |
| 2015 | ICDCN | On Partial Wait-Freedom in Transactional Memory. | Petr Kuznetsov, Srivatsan Ravi |
| 2015 | PACT | Progressive Transactional Memory in Time and Space. | Petr Kuznetsov, Srivatsan Ravi |
| 2013 | ICDCS | Safety of Deferred Update in Transactional Memory. | Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi |
| 2012 | PODC | Brief announcement: From sequential to concurrent: correctness and relative efficiency. | Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi |
| 2011 | OPODIS | On the Cost of Concurrency in Transactional Memory. | Petr Kuznetsov, Srivatsan Ravi |