Follow
Wei Huang
Title
Cited by
Cited by
Year
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
1222015
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
932012
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
602012
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
International Conference on Fundamental Approaches to Software Engineering …, 2014
572014
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
322010
ReImInfer: method purity inference for Java
W Huang, A Milanova
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
192012
Cfl-reachability and context-sensitive integrity types
A Milanova, W Huang, Y Dong
Proceedings of the 2014 International Conference on Principles and Practices …, 2014
142014
Inferring AJ types for concurrent libraries
W Huang, A Milanova
FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012
112012
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
102013
Towards effective inference and checking of ownership types
W Huang, A Milanova
International Workshop on Aliasing, Confinement and Ownership in Object …, 2011
82011
Inference and checking of context-sensitive pluggable types
A Milanova, W Huang
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
72012
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
72008
Dataflow and type-based formulations for reference immutability
A Milanova, W Huang
International Workshop on Foundations of Object-Oriented Languages, 89, 2012
62012
Static object race detection
A Milanova, W Huang
Asian Symposium on Programming Languages and Systems, 255-271, 2011
52011
On optimality of ownership type inference
W Huang, A Milanova
Poster at ECOOP, 2011
22011
An inference and checking framework for context-sensitive pluggable types
W Huang
RENSSELAER POLYTECHNIC INSTITUTE, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–18