- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c12 |      | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel: Composing transformations for instrumentation and optimization. PEPM 2012: 53-62 |
| 2010 | ||
| c11 | | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle: Alias analysis for optimization of dynamic languages. DLS 2010: 27-42 |
| 2008 | ||
| c10 | | Tom Rothamel, Yanhong A. Liu: Generating incremental implementations of object-set queries. GPCE 2008: 55-66 |
| c9 | | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49 |
| c8 | | 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 |
| 2007 | ||
| c7 | | Tom Rothamel, Yanhong A. Liu: Efficient implementation of tuple pattern based retrieval. PEPM 2007: 81-90 |
| 2006 | ||
| c6 | | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard: Generating optimized code from SCR specifications. LCTES 2006: 135-144 |
| c5 | | 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 |
| c4 | | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94 |
| 2005 | ||
| j1 | | 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) |
| c3 | | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113 |
| c2 | | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486 |
| 2004 | ||
| c1 | | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230 |
Data released under the ODC-BY 1.0 license — See also our legal information page