Michael Gorbovitski

Publication Activity (10 Years)

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

Top Topics

Discrete Optimization

Optimization Procedure

Top Venues

Publications

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
Composing transformations for instrumentation and optimization. PEPM (2012)
Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski
From clarity to efficiency for distributed algorithms. OOPSLA (2012)
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
Alias analysis for optimization of dynamic languages. DLS (2010)
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu
Graph queries through datalog optimizations. PPDP (2010)
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
A language and framework for invariant-driven transformations. GPCE (2009)
Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Efficient runtime invariant checking: a framework and case study. WODA (2008)
Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with bounded overhead. IPDPS (2008)
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
Analysis and Transformations for Efficient Query-Based Debugging. SCAM (2008)
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)
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)