Srivatsan Ravi

Publications

Sort by: Title Type [Year]

2017

Generalized Paxos Made Byzantine (and Less Complex)

Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
In Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
2017, 203–218 pages
https://doi.org/10.1007/978-3-319-69084-1_14

Cost of Concurrency in Hybrid Transactional Memory

Trevor Brown, Srivatsan Ravi
In 31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria
2017, 9:1–9:16 pages
https://doi.org/10.4230/LIPIcs.DISC.2017.9

Concurrency and Privacy with Payment-Channel Networks

Giulio Malavolta, Pedro Moreno{-}Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017
2017, 455–471 pages
http://doi.acm.org/10.1145/3133956.3134096

A Concurrency-Optimal Binary Search Tree

Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi
In Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
2017, 580–593 pages
https://doi.org/10.1007/978-3-319-64203-1_42

Programmable Elasticity for Actor-based Cloud Applications

Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster
In Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017
2017, 15–21 pages
http://doi.acm.org/10.1145/3144555.3144558
Groups: