Implementing incrementalization across object abstraction. - Michael Gorbovitski; Tom Rothamel; Yanhong A. Liu; Scott D. Stoller (OOPSLA Companion, 2005)

Incrementalization across object abstraction. - Yanhong A. Liu; Scott D. Stoller; Michael Gorbovitski; Tom Rothamel; Yanni Ellen Liu (OOPSLA, 2005)

Core role-based access control: efficient implementations by transformations. - Yanhong A. Liu; Chen Wang; Michael Gorbovitski; Tom Rothamel; Yongxi Cheng; Yingchao Zhao 001; Jing Zhang (PEPM, 2006)

Software monitoring with bounded overhead. - Sean Callanan; David J. Dean; Michael Gorbovitski; Radu Grosu; Justin Seyster; Scott A. Smolka; Scott D. Stoller; Erez Zadok (IPDPS, 2008)

Efficient runtime invariant checking: a framework and case study. - Michael Gorbovitski; Tom Rothamel; Yanhong A. Liu; Scott D. Stoller (WODA, 2008)

Analysis and Transformations for Efficient Query-Based Debugging. - Michael Gorbovitski; K. Tuncay Tekle; Tom Rothamel; Scott D. Stoller; Yanhong A. Liu (SCAM, 2008)

A language and framework for invariant-driven transformations. - Yanhong A. Liu; Michael Gorbovitski; Scott D. Stoller (GPCE, 2009)

Alias analysis for optimization of dynamic languages. - Michael Gorbovitski; Yanhong A. Liu; Scott D. Stoller; Tom Rothamel; K. Tuncay Tekle (DLS, 2010)

Graph queries through datalog optimizations. - K. Tuncay Tekle; Michael Gorbovitski; Yanhong A. Liu (PPDP, 2010)

From clarity to efficiency for distributed algorithms. - Yanhong A. Liu; Scott D. Stoller; Bo Lin; Michael Gorbovitski (OOPSLA, 2012)

Composing transformations for instrumentation and optimization. - Michael Gorbovitski; Yanhong A. Liu; Scott D. Stoller; Tom Rothamel (PEPM, 2012)