Christopher Hayden

Graduation Year: 
2012
Dissertation: 
Clear, Correct, and Efficient Dynamic Software Updates