|
This should forward you to my website on the University of Michigan EECS servers. If it does, not click here.
I am a doctoral candidate in computer science and engineering within the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. Under my advisor, Prof. Todd Austin, I research computer architecture mechanisms that allow developers to dynamically analyze software to find errors and security vulnerabilities with little runtime overhead.
I graduated in May 2006 from the University of Illinois at Urbana-Champaign with a Bachelor of Science in computer engineering.
|
|
Research Interests
My research focuses on new architectural features for software analysis. Dynamic taint analysis, for instance, is a software checking technique that looks for unsafe uses of untrusted variables at runtime. It and other dynamic dataflow analyses benefit from checking the program under numerous input conditions, but their runtime slowdowns are far too high for widespread adoption. Hardware can make this approach to software checking tenable.
|
