Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Privacy-Sensitive VM Retrospection., , , , , , , and . HotCloud, USENIX Association, (2011)Always up-to-date: scalable offline patching of VM images in a compute cloud., , , , , and . ACSAC, page 377-386. ACM, (2010)Mining specifications., , and . POPL, page 4-16. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Debugging temporal specifications with concept analysis., , , and . PLDI, page 182-195. ACM, (2003)Grexmk: speeding up scripted builds. WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis, page 81--87. New York, NY, USA, ACM Press, (2006)Mining specifications, , and . Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 4--16. New York, NY, USA, ACM, (2002)The Case for Content Search of VM Clouds., , , , and . COMPSAC Workshops, page 382-387. IEEE Computer Society, (2010)Improving Data-flow Analysis with Path Profiles., and . PLDI, page 72-84. ACM, (1998)Libra: a library operating system for a jvm in a virtualized execution environment., , , , , , , , , and . VEE, page 44-54. ACM, (2007)Improving data-flow analysis with path profiles (with retrospective), and . Best of PLDI, page 568-582. ACM, (1998)