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

Lazy Contract Checking for Immutable Data Structures., , and . IFL, volume 5083 of Lecture Notes in Computer Science, page 111-128. Springer, (2007)Software Caching and Computation Migration in Olden., and . J. Parallel Distributed Comput., 38 (2): 248-255 (1996)FAST: A Functional Algoritm Simulation Testbed., , and . MASCOTS, page 142-146. IEEE Computer Society, (1994)The performance impact of incomplete bypassing in processor pipelines., , and . MICRO, page 36-45. ACM / IEEE Computer Society, (1995)Ace: Linguistic Mechanisms for Customizable Protocols., and . PPoPP, page 80-89. ACM, (1997)Hancock: a language for extracting signatures from data streams., , , and . KDD, page 9-17. ACM, (2000)Classification in the Physical Sciences., and . ASIS SIG/CR Classification Research Workshop, Information Today, (2002)Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators., , , and . STOC, page 279-288. ACM, (1998)Efficient Support for Irregular Applications on Distributed-Memory Machines., , , , , and . PPoPP, page 68-79. ACM, (1995)Supporting Dynamic Data Structures with Olden., and . Compiler Optimizations for Scalable Parallel Systems Languages, volume 1808 of Lecture Notes in Computer Science, page 709-750. Springer, (2001)