Associate Professor
PolyFuzz: A greybox fuzzer for multi-language softwarePolyFax: A toolkit for characterizing multi-language softwarePolyCruise: A cross-language dynamic information flow analysis for multilingual softwareFlowDist: A scalable dynamic information flow analyzer for distributed systemsSeads: A self-tuning cost-effective dynamic dependence analysis of distributed systemsDistFax: A toolkit for measuring IPC and quality of distributed systemsDads: A dynamic program slicer for distributed systemsPCA: A static interprocedural data flow analyzer and memory leak detector for C programsDistTaint: A dynamic taint analyzer for distributed systemsEvoTaint: An incremental static taint analyzer for Android appsD2ABS: A framework for dynamic dependence analysis of distributed software HPC-cruise: scalable whole-system data-flow analysis framework for HPC software DroidCat: A robust dynamic Android malware detector and classifier ICC-Inspect: A dynamic Android app understanding toolDroidFax: A toolkit for systematic characterization of Android appsDistIA: A simple impact analyzer for distributed systemsDiaPro: A dynamic impact analysis framework with customizable cost-effectivenessDiver: Hybrid program dependence approximation and trace-based online impact predictionMDG: A method-level static dependence abstractionTracerJD: A fine-grained Java program tracer and dynamic dependence analyzerDEAM: A toolkit for comprehensive study of predictive accuracy of dynamic impact analysisSensA: Quantitative semantic dependence approximation and prioritized impact analysis
