I am an undergraduate at the University of Washington working with Eric Mullen, Zach Tatlock and Dan Grossman on verifying peephole optimizations for CompCert (see Eric's talk "Verified Peephole Optimizations for CompCert" on Thursday.) I started dabbling with PL in 2009 when I was a high school intern at MSR's RiSE group. I then worked in industry for a few years and spent some time traveling abroad. Now, I'm finishing my undergrad, this summer I'm back at RiSE working with Tom Ball, and I'll be applying to grad schools for PL this fall!
- Daryl Z.