Past Interns

I have always enjoyed working with world class interns at Microsoft Research. Here are the list of my past interns and the projects they worked on.

2008

Katherine Coons, Heuristics and partial-order reduction in CHESS
Daniel Marino, Lightweight data-race detection
Vasu Singh, Verification of compiler transformations

2007

• Gerard Basler, CHESS on Singularity
• Tayfun Elmas, Symbolic context bounding
• Piramanayagam Arumuga Nainar, CHESS on standalore services and UMDF drivers

2006

• Michal Moskal, Quantifiers in Zap
• Iulian Neamtiu, CHESS on WinFS
• Lin Tan, Probit

2005

• Domagoj Babic (MSR 2005 Fellowship), Modular arithmetic
• Traian Şerbănuţă, Incremental Zap

2004

• Sumit Gulwani (MSR 2004 Fellowship), Cover algorithms

• Greta Yorsh, Interpolation algorithms