Wei Huang

Department of Computer Science
Rensselaer Polytechnic Institute
110 8th Street, Troy, NY 12180
Office: Lally 09A
Phone: (518) 276-8985, Fax: (518) 276-4033
Email: huangw509 AT gmail DOT com



I am now working at Google since June 2014 after defending my PhD thesis.

Biography

I am a PhD student in Department of Computer Science at Rensselaer Polytechnic Institute, working with Prof. Ana Milanova. I received my Master of Computer Science and Bachelor of Computer Science degrees at South China University of Technology in 2009 and 2006, respectively.

Research

My research focuses on Programming Languages and Analysis. In particular, I am interested in static program analysis and type inference of pluggable types.

Publications

  1. Wei Huang, Yao Dong, Ana Milanova and Julian Dolby "Scalable and Precise Taint Analysis for Android", Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2015) [pdf], July 2015. Copyright ACM.

  2. Wei Huang, "An inference and checking framework for context-sensitive pluggable types", Ph.D Thesis, Rensselaer Polytechnic Institute, 2014. [pdf]

  3. Ana Milanova, Wei Huang and Yao Dong, "CFL-Reachability and Context-sensitive Integrity Types", Proceedings of ACM Conference on Principles and Practice of Programming in Java (PPPJ 2014), September 2014. Copyright ACM. [pdf]

  4. Wei Huang, Yao Dong, and Ana Milanova "Type-based Taint Analysis of Java Web Applications", Proceedings of Fundamental Approaches to Software Engineering (FASE 2014), April 2014. [pdf] [Technical Report]

  5. Ana Milanova and Wei Huang, "Composing Polymorphic Noninterference Systems with Reference Immutability", Proceedings of Formal Techniques for Java-like Programs (FTfJP 2013), July 2013. [pdf]

  6. Wei Huang, Ana Milanova, Werner Dietl, and Michael D. Ernst, "ReIm & ReImInfer: Checking and inference of reference immutability and method purity", Proceedings of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), October 2012. [pdf]

  7. Wei Huang and Ana Milanova, "Inferring AJ Types for Concurrent Libraries", Workshop on the Foundations of Object-Oriented Languages at OOPSLA (FOOL 2012), October 2012. [pdf]

  8. Ana Milanova and Wei Huang, "Dataflow and Type-based Formulations for Reference Immutability", Workshop on the Foundations of Object-Oriented Languages at OOPSLA (FOOL 2012), October 2012. [pdf]

  9. Wei Huang and Ana Milanova, "ReImInfer: Method Purity Inference for Java", Proceedings of ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE 2012), Research Tool Demonstrations Track, November 2012. [pdf]

  10. Ana Milanova and Wei Huang, "Inference and Checking of Context-Sensitive Pluggable Types", Proceedings of ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE 2012), New Ideas Track, November 2012. [pdf]

  11. Wei Huang, Werner Dietl, Ana Milanova, and Michael D. Ernst, "Inference and Checking of Object Ownership", Proceedings of European Conference on Object-Oriented Programming (ECOOP 2012), June 2012. [pdf]

  12. Ana Milanova and Wei Huang, "Static Object Race Detection", Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2011), December 2011. [pdf]

  13. Wei Huang and Ana Milanova, "On Optimality of Ownership Type Inference", Poster at ECOOP 2011, July 2011. [pdf]

  14. Wei Huang and Ana Milanova, "Towards Effective Inference and Checking of Ownership Types", Proceedings of International Workshop on Aliasing, Confinement and Ownership at ECOOP (IWACO 2011), July 2011. [pdf]