I am a first-year PhD student at the University of Illinois at Urbana-Champaign, where I work with Aishwarya Ganesan and Ram Alagappan at the DASSL Lab, UIUC. I am interested in distributed storage systems, with a focus on designing and building high-performance systems tailored for the modern datacenter environment.
In the past, I interned at the systems group at Microsoft Research India where I worked with Dr. Akash Lal on applying concurrency testing techniques on production-scale distributed systems.
I graduated with a Dual Degree (Bachelors & Masters) in CSE from IIT Madras, where I worked with Prof. Kartik Nagar on cutoff-based techniques for verifying distributed protocols.
News
Publications
LazyLog: A New Shared Log Abstraction for Low-Latency Applications
Xuhao Luo, , Jiyu Hu*, Ramnatthan Alagappan, Aishwarya Ganesan
SOSP'24 | Symposium on Operating Systems Principles
Best Paper Award
pdf
artifact
cite
Automating Cutoff-based Verification of Distributed Protocols
, Kartik Nagar
FMCAD'23 | Formal Methods in Computer-Aided Design
pdf
cite
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols
, Kartik Nagar
DISC'21 | International Symposium on DIStributed Computing
pdf
presentation
cite
Service