| Scalable and Precise Taint Analysis for Android W Huang, Y Dong, A Milanova, J Dolby Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 127 | 2015 |
| ReIm & ReImInfer: Checking and inference of reference immutability and method purity W Huang, A Milanova, W Dietl, MD Ernst Object-Oriented Programming Systems, Languages, and Applications (OOPSLA …, 2012 | 100 | 2012 |
| Inference and checking of object ownership W Huang, W Dietl, A Milanova, MD Ernst ECOOP'12 Proceedings of the 26th European conference on Object-Oriented …, 2012 | 61 | 2012 |
| Type-based taint analysis for Java web applications W Huang, Y Dong, A Milanova International Conference on Fundamental Approaches to Software Engineering …, 2014 | 60 | 2014 |
| Impact of virtual machine granularity on cloud computing workloads performance P Wang, W Huang, CA Varela 2010 11th IEEE/ACM International Conference on Grid Computing, 393-400, 2010 | 34 | 2010 |
| ReImInfer: method purity inference for Java W Huang, A Milanova Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 19 | 2012 |
| Cfl-reachability and context-sensitive integrity types A Milanova, W Huang, Y Dong Proceedings of the 2014 International Conference on Principles and Practices …, 2014 | 15 | 2014 |
| Inferring AJ types for concurrent libraries W Huang, A Milanova FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012 | 11 | 2012 |
| Composing polymorphic information flow systems with reference immutability A Milanova, W Huang Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs …, 2013 | 9 | 2013 |
| Inference and checking of context-sensitive pluggable types A Milanova, W Huang Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 8 | 2012 |
| Towards effective inference and checking of ownership types W Huang, A Milanova International Workshop on Aliasing, Confinement and Ownership in Object …, 2011 | 8 | 2011 |
| A local deadlock detection and resolution algorithm for process networks W Huang, D Qi 2008 International Conference on Computer Science and Software Engineering 3 …, 2008 | 7 | 2008 |
| Dataflow and type-based formulations for reference immutability A Milanova, W Huang International Workshop on Foundations of Object-Oriented Languages, 89, 2012 | 6 | 2012 |
| Static object race detection A Milanova, W Huang Asian Symposium on Programming Languages and Systems, 255-271, 2011 | 5 | 2011 |
| On optimality of ownership type inference W Huang, A Milanova Poster at ECOOP, 2011 | 2 | 2011 |
| An inference and checking framework for context-sensitive pluggable types W Huang RENSSELAER POLYTECHNIC INSTITUTE, 2014 | 1 | 2014 |
| Definite Reference Mutability (Artifact) A Milanova, W Huang Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018 | | 2018 |
| Using the Actor Model for Efficient and Scalable Local Concurrency T Desell, W Huang, CA Varela | | |
