Mark Marchukov

Best Paper Awards

Yunheung Paek, Byung-Gon Chun, Jacobus Van der Merwe, 2013 .

Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model

Kevin J. Sullivan, Mark Marchukov, John Socha, 1999, IEEE Trans. Software Eng..

TAO: Facebook's Distributed Data Store for the Social Graph

Hui Ding, Sachin Kulkarni, Harry C. Li, 2013, USENIX Annual Technical Conference.

Interface Negotiation and Efficient Reuse: A Relaxed Theory of the Component Object Model

Kevin Sullivan, Mark Marchukov, 1997 .

TAO: how facebook serves the social graph

Hui Ding, Sachin Kulkarni, Venkateshwaran Venkataramani, 2012, SIGMOD Conference.

Using Formal Methods to Reason about Architectural Standards

Kevin J. Sullivan, Mark Marchukov, John Socha, 1996, Proceedings of the (19th) International Conference on Software Engineering.

Reconciling behavioral mismatch through component restriction

Kevin Sullivan, Mark Marchukov, 1999 .