Welcome to my website! I’m a second year PhD Student at UT Austin, advised by Chris Rossbach. My topics of interest are Operating System Design, Systems for ML, and compilers.

recent blog posts

A Tale of Two DTVs

It was the best of times, it was the worst of times, it was the age of elegant solutions, it was the age of cursed hacks.

Juggling Threads

Psst. Hey you, wanna see something cool? Let’s juggle some threads.

How does joining a thread actually work?

As part of my research I’ve been playing around with something similar to dynamic linking. In particular, part of my work has led me to having programs that may need multiple copies of libc in the same address space (yes, it’s not safe, I know). I noticed that this would sometimes cause multithreaded programs to hang while calling pthread_join. Join (pun intended) me to understand a bit about how threads work and what was happening under the hood.

see all my posts here

projects

MonkeyWrench

  • MonkeyWrench
    • Generative AI powered tool to help use browser devtools
    • Lowers the barrier of entry to using the JS console to automate tasks or debug scripts
    • Watch a demo of the prototype here

rainbow

  • rainbow
    • Static analysis tool for C/C++ to reject invalid callgraphs, powered by clang and Cypher
    • Some example usecases are:
      • Prevent functions that assume locks are held from being called without a lock
      • Prevent functions using collective MPI operations from being called during another collective operation
      • Prevent secure functions from being called from insecure contexts
  • sPyCy
    • A python implementation of graph database with an openCypher frontend for testing openCypher tools, or for embedding openCypher in other projects.
    • Try the in-browser demo at the link above! Or try a demo of sPyCy being used to implement a webscraper here!

video-synth

  • video-synth
    • A synthesizer for visual effects! Chain together various filters and transformations and build temporal functions to animate them. The UI is definitely a work in progress and is hard to use.
    • Supported browsers:
      • Firefox (Desktop and mobile)
      • Chrome (Desktop and mobile)

what is a filesystem

  • what is a filesystem?
    • An interactive book based of the corresponding content from the cs241 coursebook
    • Features a visualization of disk blocks in a ext2/minix-like filesystem and has a command line simulator with support for commands like ls, cat, hexdump and many more!
    • Supported browsers:
      • Firefox (Desktop and Mobile)
      • Chrome (Desktop and Mobile)
  • camera theremin | Blog post
    • An online theremin that turns your webcam into a musical instrument!
    • Supported browsers:
      • Firefox (Desktop and Mobile)
      • Chrome (Desktop and Mobile)