Kamala Ramasubramanian

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Formal Analysis

Network Protocols

Coloured Petri Nets

Top Venues

Publications

Kamala Ramasubramanian, Eliana Phillips, Peter Alvaro
Mining microservice design patterns. SoCC (2022)
Kamala Ramasubramanian, Ashutosh Raina, Jonathan Mace, Peter Alvaro
ACT now: Aggregate Comparison of Traces for Incident Localization. CoRR (2022)
Lennart Oldenburg, Xiangfeng Zhu, Kamala Ramasubramanian, Peter Alvaro
Fixed It For You: Protocol Repair Using Lineage Graphs. CIDR (2019)
Kamala Ramasubramanian, Peter Alvaro
Does your fault-tolerant system tolerate faults? SoCC (2018)
Kamala Ramasubramanian, Kathryn Dahlgren, Asha Karim, Sanjana Maiya, Sarah Borland, Boaz Leskes, Peter Alvaro
Growing a protocol. HotCloud (2017)