Wei Huang

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Information Flows

Bayesian Inference

Web Applications

Top Venues

Dagstuhl Artifacts Ser.

Publications

Ana Milanova, Wei Huang
Definite Reference Mutability (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Wei Huang, Yao Dong, Ana Milanova, Julian Dolby
Scalable and precise taint analysis for Android. ISSTA (2015)
Ana Milanova, Wei Huang, Yao Dong
CFL-reachability and context-sensitive integrity types. PPPJ (2014)
Wei Huang, Yao Dong, Ana Milanova
Type-Based Taint Analysis for Java Web Applications. FASE (2014)
Ana Milanova, Wei Huang
Composing polymorphic information flow systems with reference immutability. FTfJP@ECOOP (2013)
Wei Huang, Ana Milanova
ReImInfer: method purity inference for Java. SIGSOFT FSE (2012)
Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst
Inference and Checking of Object Ownership. ECOOP (2012)
Ana Milanova, Wei Huang
Inference and checking of context-sensitive pluggable types. SIGSOFT FSE (2012)
Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst
Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA (2012)
Ana Milanova, Wei Huang
Static Object Race Detection. APLAS (2011)