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)Efficient Run-Time Support for Irregular Block-Structured Applications., , and . J. Parallel Distributed Comput., 50 (1/2): 61-82 (1998)Flexible Communication Mechanisms for Dynamic Structured Applications., , and . IRREGULAR, volume 1117 of Lecture Notes in Computer Science, page 203-215. Springer, (1996)Thin Slicing, , and . #PLDI07#, (2007)Continuous code-quality assurance with SAFE., , and . PEPM, page 145-149. ACM, (2006)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)Static Specification Mining Using Automata-Based Abstractions., , , and . IEEE Trans. Software Eng., 34 (5): 651-666 (2008)Programming Language Requirements for the Next Millennium., , , , and . ACM Comput. Surv., 28 (4es): 194 (1996)Multiple Data Parallelism with HPF and KeLP., , , and . HPCN Europe, volume 1401 of Lecture Notes in Computer Science, page 828-839. Springer, (1998)