Daniel Lustig
Senior Research Scientist
NVIDIA Corporation
Santa Clara, CA 95051
Email: dlustig at nvidia dot com
[CV] [Google Scholar]Recent Highlights
PipeProof was nominated for Best Paper at MICRO 2018!
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