E. Fritz and T. Zhao, "Inferring Types of Asynchronous Arrows in JavaScript," in Proceedings of Reactive and Event-based Languages & Systems, 2015
C. Zhang, T. Zhao, and W. Li. "Geospatial Semantic Web," Springer, 2015
J. Boyland and T. Zhao, "Variable Arity for LF," in Proceedings of Logical Frameworks and Meta-Languages: Theory and Practice, 2014
A. Alnusair, T. Zhao and G. Yan, "Rule-based Detection of Design Patterns in Program Code," International Journal on Software Tools for Technology Transfer, 16(3): 315-334, 2014
T. Zhao, "Polymorphic type inference for scripting languages with object extension," in proceedings of Dynamic Languages Symposium, 2011
T. Zhao, J. Baker, J. Hunt, J. Noble, and J. Vitek, "Implicit Ownership Types for Memory Management," Science Of Computer Programming 71(3): 213-241, 2008
