Michael Gorbovitski

11 papers A 3B 1C 5Unranked 2
YearRankTypeTitle / Venue / Authors
2012 C conf
Composing transformations for instrumentation and optimization.
PEPM
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
2012 A conf
From clarity to efficiency for distributed algorithms.
OOPSLA
Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski
2010 C conf
Alias analysis for optimization of dynamic languages.
DLS
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
2010 C conf
Graph queries through datalog optimizations.
PPDP
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu
2009 B conf
A language and framework for invariant-driven transformations.
GPCE
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
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 A conf
Software monitoring with bounded overhead.
IPDPS
Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
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
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