 | 2008 |
|---|
| 11 |       | Tom Rothamel,
Yanhong A. Liu:
Generating incremental implementations of object-set queries.
GPCE 2008: 55-66 |
| 10 | | 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 | | 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 | | Tom Rothamel,
Yanhong A. Liu:
Efficient implementation of tuple pattern based retrieval.
PEPM 2007: 81-90 |
| 2006 |
|---|
| 7 | | Tom Rothamel,
Yanhong A. Liu,
Constance L. Heitmeyer,
Elizabeth I. Leonard:
Generating optimized code from SCR specifications.
LCTES 2006: 135-144 |
| 6 | | 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 | | Katia Hristova,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Efficient type inference for secure information flow.
PLAS 2006: 85-94 |
| 2005 |
|---|
| 4 | | Yanhong A. Liu,
Scott D. Stoller,
Michael Gorbovitski,
Tom Rothamel,
Yanni Ellen Liu:
Incrementalization across object abstraction.
OOPSLA 2005: 473-486 |
| 3 | | Michael Gorbovitski,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Implementing incrementalization across object abstraction.
OOPSLA Companion 2005: 112-113 |
| 2 | | 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 | | Yanhong A. Liu,
Tom Rothamel,
Fuxiang Yu,
Scott D. Stoller,
Nanjun Hu:
Parametric regular path queries.
PLDI 2004: 219-230 |
