Dan Lustig

Principal Research Scientist
Boston, MA

[CV] [Google Scholar]

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.


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


(see my CV or Google Scholar for an up-to-date list)