Papers in Programming Languages

• Tian Zhao, Jason Baker, James Hunt, James Noble, and Jan Vitek, "Implicit Ownership Types for Memory Management", Science Of Computer Programming, Elsevier, to appear [pdf].
  
  
• Zifu Yang and Tian Zhao, "Improve Pointcut Definition with Program Views", in proceedings of Software Engineering Properties of Languages and Aspect Technologies (SPLAT 2007), a workshop affiliated with Conference on Aspect-Oriented Software Development (AOSD), March 12, 2007, Vancouver, B.C, Canada [pdf].
  
  
• C. Andreae, J. Noble, Y. Coady, C. Gibbs, J. Vitek, and T. Zhao, "Scoped Types and Aspects for Real-Time Systems", in proceedings of European Conference on Object-Oriented Programming, 2006 [pdf]. The full version is to appear in Real-Time Systems [pdf].
  
  
• A. Potanin, J. Noble, T. Zhao, and J. Vitek. "A High Integrity Profile for Memory Safe Programming in Real-time Java", The 3rd Workshop on Java Technologies for Real-time and Embedded Systems, 2005 [pdf]. Earlier draft, 2005 [pdf].
  
  
• T. Zhao and J. Boyland, "Type Annotations to Improve Stack-based Access Control", In Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005 [ps].
  
  
• T. Zhao, J. Noble, and J. Vitek. "Scoped Types for Realtime Java". Draft, 2004 [pdf]. A revised version [pdf] is In Proceedings of (RTSS 2004) The 25th IEEE International Real-Time Systems Symposium December 5-8, 2004 Lisbon, Portugal
  
  
• T. Zhao, J. Palsberg, and J. Vitek. "Type-based Confinement", Journal of Functional Programming, 16(1), page 83--128, 2006 [ps] Preliminary version is in Proceedings of Object-Oriented Programming Systems, Languages and Applications, 2003 [ps].
  
  
• K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. Henzinger, and J. Palsberg "Stack Size Analysis for Interrupt-Driven Programs". Information and Computation, 194(2), pages 144-174, 1 November 2004, [ps]. Preliminary version is in Proceedings of Static Analysis, 10th International Symposium, SAS, 2003, June 11-13, Lecture Notes in Computer Science, 2694, Springer-Verlag, 2003, pages 109-126.. [ps]
  
  
• J. Palsberg and T. Zhao "Type Inference for Record Concatenation and Subtyping". Information and Computation, 189:54-86, 2004. [ps] Preliminary version is in Proceedings of LICS'02, Seventeenth Annual IEEE Symposium on Logic in Computer Science, Copenhagen, Denmark, July, 2002.
  
  
• S. Jha, J. Palsberg, and T. Zhao. "Efficient Type Matching". In Proceedings of FOSSACS'02, Foundations of Software Science and Computation Structures Grenoble, France, April 6-14, 2002. . [ps] Full version [ps]
  
  
• J. Palsberg, T. Zhao, and T. Jim, "Automatic Discovery of Covariant Read-Only Fields". ACM Transaction on Programming Languages and Systems, Volume 27 , Issue 1 (January 2005), page 126-162. [ps] Preliminary version is in Proceedings of International Workshop on Foundations of Object-Oriented Languages, Portland, Oregon, Jan 19, 2002. [ps]
  
  
• J. Palsberg and T. Zhao, "Efficient and Flexible Matching of Recursive Types". Information and Computation 171, 1-24, 2001. . [ps] Preliminary version is in Proceedings of LICS'00, Fifteenth Annual IEEE Symposium on Logic in Computer Science, pages 388-398, Santa Barbara, California, June 2000. [ps]
  
  

Papers, abstracts in GIS and Bioinformatics

• T. Zhao, C. Zhang, M. Wei, and Z.-R. Peng, Ontology-based Geospatial Data Query and Integration, GIScience, September, 2008
  
  
• C. Zhang, T. Zhao, and W. Li, "A Web-Based Spatial Decision Support System based on Geospatial Semantic Web technologies", Geoinformatics, June, 2008
  
  
• X. Huang and T. Zhao, "Inferring Gene Regulatory Networks using Heterogeneous Microarray Data Sets", in the Proceedings of the 2nd International Conference on Bioinformatics and Biomedical Engineering, May, 2008
  
  
• T. Zhao, Z. Peng, and C. Zhang, "A Data Query and Retrieval Model of Heterogeneous Geospatial Data Based on Standard Web Service Protocols", AAG (Association of American Geographers) Annual Meeting, April, 2008
  
  
• C. Zhang, Z. Peng, and T. Zhao, "Transforming transportation data models from UML to OWL ontological representation", in the Proceedings of the Transportation Research Board (TRB) Annual Meeting, January, 2008.
  
  
• C. Zhang, W. Li, and T. Zhao, "Geospatial Data Sharing Based on Geospatial Semantic Web Technologies", to appear in Journal of Spatial Science, December 2007
  
  
• M. Wu, T. Zhao, and C. Wu, "Public Health Data Collection and Sharing Using HIPAA Messages". Journal of Medical Systems, 29(4), August, 2005