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 |