Static Object Race Detection. - Ana L. Milanova; Wei Huang 001 (APLAS, 2011)

Inference and Checking of Object Ownership. - Wei Huang 001; Werner Dietl; Ana L. Milanova; Michael D. Ernst (ECOOP, 2012)

Reim & ReImInfer: checking and inference of reference immutability and method purity. - Wei Huang 001; Ana L. Milanova; Werner Dietl; Michael D. Ernst (OOPSLA, 2012)

ReImInfer: method purity inference for Java. - Wei Huang 001; Ana L. Milanova (SIGSOFT FSE, 2012)

Inference and checking of context-sensitive pluggable types. - Ana L. Milanova; Wei Huang 001 (SIGSOFT FSE, 2012)

Composing polymorphic information flow systems with reference immutability. - Ana L. Milanova; Wei Huang 001 (FTfJP@ECOOP, 2013)

Type-Based Taint Analysis for Java Web Applications. - Wei Huang 001; Yao Dong 001; Ana L. Milanova (FASE, 2014)

CFL-reachability and context-sensitive integrity types. - Ana L. Milanova; Wei Huang 001; Yao Dong 001 (PPPJ, 2014)

An inference and checking framework for context-sensitive pluggable types. - Wei Huang 001 (2014)

Scalable and precise taint analysis for Android. - Wei Huang 001; Yao Dong 001; Ana L. Milanova; Julian Dolby (ISSTA, 2015)

Definite Reference Mutability (Artifact). - Ana L. Milanova; Wei Huang 001 (Dagstuhl Artifacts Ser., 2018)