Daniel Lustig


Senior Research Scientist
NVIDIA Corporation
Santa Clara, CA 95051

Email: dlustig at nvidia dot com

[CV] [Google Scholar]

Recent Highlights

I chair the RISC-V Memory Consistency Model task group! [Video]

Abhishek Bhattacharjee and I published our Virtual Memory book!

Check out our Check tool suite website!

COATCheck was chosen as one of the IEEE Micro Top Picks of 2016!

CCICheck was nominated for Best Paper at Micro 2015!

PipeCheck was chosen as one of the IEEE Micro Top Picks of 2014!

PipeCheck was nominated for Best Paper at Micro 2014!

I received an Intel PhD Fellowship in 2014!

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)