Search the dblp DataBase

Publications of Author

1. Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
   Generating optimized code from SCR specifications. [Citation Graph (0, 0)][DBLP]
   LCTES, 2006, pp:135-144 [Conf]
   
2. Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
   Implementing incrementalization across object abstraction. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2005, pp:112-113 [Conf]
   
3. Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
   Incrementalization across object abstraction. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2005, pp:473-486 [Conf]
   
4. Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang
   Core role-based access control: efficient implementations by transformations. [Citation Graph (0, 0)][DBLP]
   PEPM, 2006, pp:112-120 [Conf]
   
5. Tom Rothamel, Yanhong A. Liu
   Efficient implementation of tuple pattern based retrieval. [Citation Graph (0, 0)][DBLP]
   PEPM, 2007, pp:81-90 [Conf]
   
6. Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
   Parametric regular path queries. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:219-230 [Conf]
   
7. Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
   Optimizing aggregate array computations in loops. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:91-125 [Journal]
   
8. 
   Generating incremental implementations of object-set queries. [Citation Graph (, )][DBLP]
   
   
9. 
   Efficient runtime invariant checking: a framework and case study. [Citation Graph (, )][DBLP]
   
   
10. 
    Efficient type inference for secure information flow. [Citation Graph (, )][DBLP]
    
    
11. 
    Analysis and Transformations for Efficient Query-Based Debugging. [Citation Graph (, )][DBLP]