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