dblp.uni-trier.dewww.uni-trier.de

Tom Rothamel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EETom Rothamel, Yanhong A. Liu: Generating incremental implementations of object-set queries. GPCE 2008: 55-66
10EEMichael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu: Analysis and Transformations for Efficient Query-Based Debugging. SCAM 2008: 174-183
9EEMichael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49
2007
8EETom Rothamel, Yanhong A. Liu: Efficient implementation of tuple pattern based retrieval. PEPM 2007: 81-90
2006
7EETom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard: Generating optimized code from SCR specifications. LCTES 2006: 135-144
6EEYanhong 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
5EEKatia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94
2005
4EEYanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486
3EEMichael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113
2EEYanhong 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
1EEYanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230

Coauthor Index

1Yongxi Cheng [6]
2Michael Gorbovitski [3] [4] [6] [9] [10]
3Constance L. Heitmeyer (Connie Heitmeyer) [7]
4Katia Hristova [5]
5Nanjun Hu [1]
6Elizabeth I. Leonard [7]
7Ning Li [2]
8Yanhong A. Liu [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
9Yanni Ellen Liu [4]
10Scott D. Stoller [1] [2] [3] [4] [5] [9] [10]
11K. Tuncay Tekle [10]
12Chen Wang [6]
13Fuxiang Yu [1]
14Jing Zhang [6]
15Yingchao Zhao [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)