Author of the publication

A Memory-Efficient Data Redistribution Algorithm.

, and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 219-229. Springer, (2009)

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

Transparent partial order reduction.. Formal Methods in System Design, 40 (1): 1-19 (2012)FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing., and . Mathematics in Computer Science, 5 (4): 427-435 (2011)Using model checking with symbolic execution to verify parallel numerical programs., , , and . ISSTA, page 157-168. ACM, (2006)Formal Analysis of Message Passing - (Invited Talk)., and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 2-18. Springer, (2011)Verification of Halting Properties for MPI Programs Using Nonblocking Operations., and . PVM/MPI, volume 4757 of Lecture Notes in Computer Science, page 326-334. Springer, (2007)Formal Verification for Scientific Computing: Trends and Progress.. PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 7. Springer, (2009)A Memory-Efficient Data Redistribution Algorithm., and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 219-229. Springer, (2009)MADRE: The Memory-Aware Data Redistribution Engine., and . PVM/MPI, volume 5205 of Lecture Notes in Computer Science, page 218-226. Springer, (2008)Evaluating Tools for Software Verification (Track Introduction)., , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 139-143. Springer, (2018)Modeling wildcard-free MPI programs for verification., and . PPOPP, page 95-106. ACM, (2005)