Michael Gorbovitski

According to our database, Michael Gorbovitski authored at least 11 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Composing transformations for instrumentation and optimization.

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

From clarity to efficiency for distributed algorithms.

Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2010

Graph queries through datalog optimizations.

K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Alias analysis for optimization of dynamic languages.

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle

Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009

A language and framework for invariant-driven transformations.

Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller

Proceedings of the Generative Programming and Component Engineering, 2009

2008

Analysis and Transformations for Efficient Query-Based Debugging.

Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Efficient runtime invariant checking: a framework and case study.

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

Software monitoring with bounded overhead.

Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2006

Core role-based access control: efficient implementations by transformations.

Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

Incrementalization across object abstraction.

Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Implementing incrementalization across object abstraction.

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005