Dacong (Tony) Yan

static analysis java resource leaks android mobile gui leak detection leak testing test case generation testing memory leak log anaysis debugging class present search database diversity-aware concurrency alias analysis whole-program analysis performance dynamic anlaysis mips virtual machine cloud computing hadoop