Wei Huang

According to our database, Wei Huang authored at least 11 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Definite Reference Mutability (Artifact).

Ana L. Milanova, Wei Huang

Dagstuhl Artifacts Ser., 2018

2015

Scalable and precise taint analysis for Android.

Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

An inference and checking framework for context-sensitive pluggable types.

Wei Huang

PhD thesis, 2014

CFL-reachability and context-sensitive integrity types.

Ana L. Milanova, Wei Huang, Yao Dong

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Type-Based Taint Analysis for Java Web Applications.

Wei Huang, Yao Dong, Ana L. Milanova

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Composing polymorphic information flow systems with reference immutability.

Ana L. Milanova, Wei Huang

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012

Inference and checking of context-sensitive pluggable types.

Ana L. Milanova, Wei Huang

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

ReImInfer: method purity inference for Java.

Wei Huang, Ana L. Milanova

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Reim & ReImInfer: checking and inference of reference immutability and method purity.

Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Inference and Checking of Object Ownership.

Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Static Object Race Detection.

Ana L. Milanova, Wei Huang

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011