Hi, my name is Carson. I’m currently majoring in math and computer science at Northwestern University. I work in the Prescience Lab, led by Professor Peter Dinda.
My main research interests are operating system microkernels, hardware/software formal verification, cryptography, and homotopy type theory.
The following projects are my current focus:
Beet Takeshi (Creator): a provably perfect decompilation of the
Takeshi no Chōsenjō.
I’m also actively working on the following projects:
Constellation: NU and CMU project group aimed at developing full software and hardware stack for frictionless heterogeneous parallelism.
Privacy Backplane: NU, UMich, and Pitt project group focused on enabling individualized privacy policies in TEE-enabled IoT environments, such as cashierless stores.
WASMwand (Creator, Senior Thesis): a topological MLIR dialect and unikernel WASM runtime for distributed networks. A whitepaper, literature review, and MVP will be released August 1st, 2024; little to no project details will be shared until then.
Tortoise (Creator): a distributed model of differential privacy, and a
libp2p implementation of said model. Builds upon ideas
Privacy Backplane. I’m currently integrating Kademlia DHT and Gossip-Sub
based clock sync into the
BEANDIP: using dispersed interrupt polling to replace hardware interrupts.
I’m working on using BEANDIP in conjunction with the
and a FPGA prime sequence generator to mitigate timing-related side-channel attacks.
Notable previous work:
CARAT KOP: memory guards for Linux kernel modules. A paper on this topic
was accepted to ROSS 2023 as of
September 8th, 2023.
Nautilus Microkernel, core member
of the team responsible for the
TrackFM: a transparent, and user level, far memory management system,
developed at Hexsa Lab in IIT. Work was focused on
I’m highly proficient in
I have high familiarity with and am actively learning
Cubical Agda, and
I also work on open-source maintenance on a variety of small projects.
In my free time I like playing online Go, marathon running, and
retrofitting the fans in my server rack so I can sleep.
If you’re interested in working on something together, contact me at