Tom Rothamel

13 papers A* 1A 1B 2C 5Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2012 C conf
Composing transformations for instrumentation and optimization.
PEPM
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
2010 C conf
Alias analysis for optimization of dynamic languages.
DLS
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
2008 C conf
Analysis and Transformations for Efficient Query-Based Debugging.
SCAM
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
2008 — conf
Efficient runtime invariant checking: a framework and case study.
WODA
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2008 B conf
Generating incremental implementations of object-set queries.
GPCE
Tom Rothamel, Yanhong A. Liu
2007 C conf
Efficient implementation of tuple pattern based retrieval.
PEPM
Tom Rothamel, Yanhong A. Liu
2006 C conf
Core role-based access control: efficient implementations by transformations.
PEPM
Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang
2006 — conf
Efficient type inference for secure information flow.
PLAS
Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2006 B conf
Generating optimized code from SCR specifications.
LCTES
Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
2005 — conf
Implementing incrementalization across object abstraction.
OOPSLA Companion
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2005 A conf
Incrementalization across object abstraction.
OOPSLA
Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
2005 J jnl
Optimizing aggregate array computations in loops.
ACM Trans. Program. Lang. Syst.
Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
2004 A* conf
Parametric regular path queries.
PLDI
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu