Tian Zhao

2008
17	EE	Tian Zhao, Chuanrong Zhang, Mingzhen Wei, Zhong-Ren Peng: Ontology-Based Geospatial Data Query and Integration. GIScience 2008: 370-392
16	EE	Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek: Implicit ownership types for memory management. Sci. Comput. Program. 71(3): 213-241 (2008)
2007
15	EE	Zifu Yang, Tian Zhao: Improve pointcut definitions with program views. SPLAT 2007: 9
14	EE	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao: Scoped types and aspects for real-time Java memory management. Real-Time Systems 37(1): 1-44 (2007)
2006
13	EE	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao: Scoped Types and Aspects for Real-Time Java. ECOOP 2006: 124-147
12	EE	Tian Zhao, Jens Palsberg, Jan Vitek: Type-based confinement. J. Funct. Program. 16(1): 83-128 (2006)
2005
11	EE	Tian Zhao, John Tang Boyland: Type Annotations to Improve Stack-Based Access Control. CSFW 2005: 197-210
10	EE	Jens Palsberg, Tian Zhao, Trevor Jim: Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27(1): 126-162 (2005)
2004
9	EE	Tian Zhao, James Noble, Jan Vitek: Scoped Types for Real-Time Java. RTSS 2004: 241-251
8	EE	Jens Palsberg, Tian Zhao: Type inference for record concatenation and subtyping. Inf. Comput. 189(1): 54-86 (2004)
7	EE	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004)
2003
6	EE	Tian Zhao, Jens Palsberg, Jan Vitek: Lightweight confinement for featherweight Java. OOPSLA 2003: 135-148
5	EE	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
2002
4	EE	Somesh Jha, Jens Palsberg, Tian Zhao: Efficient Type Matching. FoSSaCS 2002: 187-204
3	EE	Jens Palsberg, Tian Zhao: Efficient Type Inference for Record Concatenation and Subtyping. LICS 2002: 125-136
2001
2	EE	Jens Palsberg, Tian Zhao: Efficient and Flexible Matching of Recursive Types. Inf. Comput. 171(2): 364-387 (2001)
2000
1	EE	Jens Palsberg, Tian Zhao: Efficient and Flexible Matching of Recursive Types. LICS 2000: 388-398

Coauthor Index

1	Chris Andreae	[13] [14]
2	Jason Baker	[16]
3	John Tang Boyland (John Boyland)	[11]
4	Krishnendu Chatterjee	[5] [7]
5	Yvonne Coady	[13] [14]
6	Celina Gibbs	[13] [14]
7	Thomas A. Henzinger	[5] [7]
8	James Hunt	[16]
9	Somesh Jha	[4]
10	Trevor Jim	[10]
11	Di Ma	[5] [7]
12	Rupak Majumdar	[5] [7]
13	James Noble	[9] [13] [14] [16]
14	Jens Palsberg	[1] [2] [3] [4] [5] [6] [7] [8] [10] [12]
15	Zhong-Ren Peng	[17]
16	Jan Vitek	[6] [9] [12] [13] [14] [16]
17	Mingzhen Wei	[17]
18	Zifu Yang	[15]
19	Chuanrong Zhang	[17]

Colors in the list of coauthors