About Me
I'm a research scientist in the System Architecture Research Group at NVIDIA. I spend a lot of my time doing research on memory consistency models, from software to ISA to microarchitecture. I co-authored the memory model specifications for NVIDIA GPUs and RISC-V CPUs, and continue to contribute directly to both ISAs' ongoing development. I also work on other assorted topics in the field of computer architecture.
Education
Ph.D., Princeton University, November 2015
Dissertation Title: "Specifying, Verifying, and Translating Between Memory Consistency Models" [PDF]
Advisor: Margaret Martonosi
M.A., Princeton University, September 2011
B.S.E., University of Pennsylvania, May 2009
Publications
(see my
CV or
Google Scholar for an up-to-date list)