Search the dblp DataBase

Publications of Author

1. Tian Zhao, John Tang Boyland
   Type Annotations to Improve Stack-Based Access Control. [Citation Graph (0, 0)][DBLP]
   CSFW, 2005, pp:197-210 [Conf]
   
2. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
   Scoped Types and Aspects for Real-Time Java. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2006, pp:124-147 [Conf]
   
3. Somesh Jha, Jens Palsberg, Tian Zhao
   Efficient Type Matching. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2002, pp:187-204 [Conf]
   
4. Jens Palsberg, Tian Zhao
   Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP]
   LICS, 2000, pp:388-398 [Conf]
   
5. Jens Palsberg, Tian Zhao
   Efficient Type Inference for Record Concatenation and Subtyping. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:125-136 [Conf]
   
6. Tian Zhao, Jens Palsberg, Jan Vitek
   Lightweight confinement for featherweight Java. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2003, pp:135-148 [Conf]
   
7. Tian Zhao, James Noble, Jan Vitek
   Scoped Types for Real-Time Java. [Citation Graph (0, 0)][DBLP]
   RTSS, 2004, pp:241-251 [Conf]
   
8. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
   Stack Size Analysis for Interrupt-Driven Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 2003, pp:109-126 [Conf]
   
9. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
   Stack size analysis for interrupt-driven programs. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:194, n:2, pp:144-174 [Journal]
   
10. Jens Palsberg, Tian Zhao
    Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:2, pp:364-387 [Journal]
    
11. Jens Palsberg, Tian Zhao
    Type inference for record concatenation and subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:189, n:1, pp:54-86 [Journal]
    
12. Tian Zhao, Jens Palsberg, Jan Vitek
    Type-based confinement. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:1, pp:83-128 [Journal]
    
13. Jens Palsberg, Tian Zhao, Trevor Jim
    Automatic discovery of covariant read-only fields. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:126-162 [Journal]
    
14. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
    Scoped types and aspects for real-time Java memory management. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2007, v:37, n:1, pp:1-44 [Journal]
    
15. 
    Improve pointcut definitions with program views. [Citation Graph (, )][DBLP]
    
    
16. 
    Ontology-Based Geospatial Data Query and Integration. [Citation Graph (, )][DBLP]
    
    
17. 
    Using Semantic Inference for Software Understanding and Design Recovery. [Citation Graph (, )][DBLP]
    
    
18. 
    Using Ontology Reasoning for Reverse Engineering Design Patterns. [Citation Graph (, )][DBLP]
    
    
19. 
    ScalaQL: Language-Integrated Database Queries for Scala. [Citation Graph (, )][DBLP]