projects
research and engineering projects, in descending order of complexity.
WR-Raft
Paper in preparationA Raft variant that weights quorum participation by each follower’s observed fsync latency, tracked as an exponentially weighted moving average. The work includes an analysis against Cabinet (VLDB ’25) and WOC and documents the correctness hazards of weighted quorums. I mentor three interns on the project.
Automated Live Migration
Published · IEEE ICBDA 2025Live migration of Docker containers across cloud providers using iterative checkpointing. My contribution: the provider-selection criteria and the stop algorithm for iterative checkpointing.
RLS Timing-Channel Attacks
Ongoing researchTiming side channels in row-level database security. Details will follow once the work is published.
GPU Options Pricer
A Monte Carlo engine built on Apple Metal compute kernels. It prices 10,000 options about 300× faster than the serial CPU baseline and is validated against the closed-form solution to under 0.05% error.
YaKT (Yet Another KRaft)
Raft implemented from scratch, with leader election and log replication, backing a KRaft-style metadata store. Built in a team of four; the groundwork for WR-Raft.
remote-connector
Client/server file transfer with separate control and data ports, connection handshakes, and goroutines with mutexes to serve concurrent clients.
scheduler-slack-app
A Slack app that schedules messages across channels, users and time zones.