I am a third year PhD student at the University of Illinois at Urbana-Champaign, where I work with Aishwarya Ganesan and Ram Alagappan at the DASSL Lab. I am broadly interested in distributed storage systems, with a focus on designing abstractions for new and emerging application paradigms.
Lately, I have been working on distributed shared logs, which power a wide range of modern applications. My recent projects focus on designing new shared log abstractions (see SpecLog, LazyLog) that overcome the high latencies inherent in traditional shared log architectures, addressing the needs of latency-sensitive applications such as real-time analytics and high-frequency trading systems.
In the past, I have interned at the systems group at Microsoft Research India where I worked with Akash Lal on applying concurrency testing techniques on production-scale distributed systems.
I graduated with a Dual Degree (Bachelors and Masters) in CSE from IIT Madras, where I worked with Kartik Nagar on cutoff-based techniques for verifying distributed protocols.
News
Publications
Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering
, Tony Hong, Xuhao Luo, Jiyu Hu, Aishwarya Ganesan, Ramnatthan Alagappan
OSDI'25 | Operating Systems Design and Implementation
pdf
artifact
slides
video
cite
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
Invited to Transactions on Computer Systems
pdf
artifact
slides
cite
Automating Cutoff-based Verification of Distributed Protocols
, Kartik Nagar
FMCAD'23 | Formal Methods in Computer-Aided Design
pdf
slides
cite
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols
, Kartik Nagar
DISC'21 | International Symposium on DIStributed Computing
pdf
video
cite
Refereed Journal Publications
LazyLog: A New Shared Log Abstraction and Design for Modern Low-Latency Applications
Xuhao Luo, , Jiyu Hu*, Ramnatthan Alagappan, Aishwarya Ganesan
TOCS | ACM Transactions on Computer Systems, August 2025
pdf | cite
Invited
Service
Artifact Evaluation Committee: OSDI'24, ATC'24, FAST'26
Shadow Program Committees: EuroSys'26
Student Volunteer: SOSP'24
Website Template: minimal-research-theme by SebastinSanty