Building scalable File Indexing and Search solutions at Rubrik.

> Served as a member of the Artifact Evaluation Committee for the 23rd USENIX Conference on File and Storage Technologies (FAST '25) (Link: https://www.usenix.org/conference/fast25#organizers)

> Performed Artifact Evaluation for the following Papers:

1. "Silhouette: Leveraging Consistency Mechanisms to Detect Bugs in Persistent Memory-Based File Systems" (Link: https://www.usenix.org/conference/fast25/presentation/jiao)

2. "D2FS: Device-Driven Filesystem Garbage Collection" (Link: https://www.usenix.org/conference/fast25/presentation/kim-juwon)

Affiliated with File systems and Storage Lab (FSL)

> Assisted Prof. Eugene Stark in teaching CSE 320: Systems Fundamentals II

> Helped create robust test cases to evaluate assignments.

> Conducted weekly office hours to provide support for students on assignments and course contents.

> Graded assignments and answered questions about the same on Piazza.

> Contributing to Metis, a differential-testing based model checker for Linux file systems.

> Productionized containerization support for Swarm Verification mode in Metis.

> Investigated kernel hang bugs in the Linux Journaled File System (JFS) using Metis, leveraging debugging techniques such as logging, assertions, and profiling.

> Submitted a patch to the Linux kernel to resolve a JFS oops bug. (Link: https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd333140bf4@oracle.com/t/)

> Developed an efficient record-and-replay-based replayer to trigger non-deterministic JFS kernel oops bugs. This replayer reduced execution time by 33% and decreased the lines of code by 60% compared to the original implementation in Metis. (Link: https://lkml.org/lkml/2024/7/5/899).