Registered user since Fri 9 Jun 2017
I am an Assistant Professor in the Department of Computer Science at the University of Virginia.
My research aims to solve system security problems via program analysis techniques (e.g., dynamic/static analysis, binary analysis, and reverse-engineering).
|SPLASH 2019||BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation|
|Show activities from other conferences|
View general profile