Tom Rothamel

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Optimization Procedure

Image Sequences

Top Venues

Publications

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
Composing transformations for instrumentation and optimization. PEPM (2012)
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
Alias analysis for optimization of dynamic languages. DLS (2010)
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Efficient runtime invariant checking: a framework and case study. WODA (2008)
Tom Rothamel, Yanhong A. Liu
Generating incremental implementations of object-set queries. GPCE (2008)
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
Analysis and Transformations for Efficient Query-Based Debugging. SCAM (2008)
Tom Rothamel, Yanhong A. Liu
Efficient implementation of tuple pattern based retrieval. PEPM (2007)
Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
Generating optimized code from SCR specifications. LCTES (2006)
Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Efficient type inference for secure information flow. PLAS (2006)
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)
Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
Optimizing aggregate array computations in loops. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Implementing incrementalization across object abstraction. OOPSLA Companion (2005)
Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
Incrementalization across object abstraction. OOPSLA (2005)
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
Parametric regular path queries. PLDI (2004)