Daniel Lustig


Senior Research Scientist
NVIDIA Corporation
Westford, MA 01886

Email: dlustig at nvidia dot com

[CV] [Google Scholar]

Recent Highlights

CheckMate was chosen as an IEEE Micro Top Picks of 2018!

PipeProof was nominated for Best Paper at MICRO 2018, and was chosen as an IEEE Micro Top Picks of 2018 Honorable Mention!

I received the inaugural RISC-V Board of Directors' Award for my work leading the 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)