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

A Preliminary Evaluation of HPF., , , and . PPSC, SIAM, (1997)Continuous code-quality assurance with SAFE., , and . PEPM, page 145-149. ACM, (2006)Flexible Communication Mechanisms for Dynamic Structured Applications., , and . IRREGULAR, volume 1117 of Lecture Notes in Computer Science, page 203-215. Springer, (1996)Efficient Run-Time Support for Irregular Block-Structured Applications., , and . J. Parallel Distributed Comput., 50 (1/2): 61-82 (1998)Thin Slicing, , and . #PLDI07#, (2007)Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless., , , , and . OOPSLA, page 108-124. ACM, (2001)SIGPLAN Notices 36(11).Snugglebug: a powerful approach to weakest preconditions., , and . PLDI, page 363-374. ACM, (2009)A Survey of Adaptive Optimization in Virtual Machines., , , , and . Proc. IEEE, 93 (2): 449-466 (2005)Space- and Time-Efficient Implementation of the Java Object Model., , and . ECOOP, volume 2374 of Lecture Notes in Computer Science, page 111-132. Springer, (2002)Static Specification Mining Using Automata-Based Abstractions., , , and . IEEE Trans. Software Eng., 34 (5): 651-666 (2008)