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 Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models., , , , , , and . CinC, page 1-4. IEEE, (2022)Static/Dynamic validation of MPI collective communications in multi-threaded context., , and . PPoPP, page 279-280. ACM, (2015)Highlighting PARCOACH Improvements on MBI., , , and . SC Workshops, page 238-241. ACM, (2023)PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation., , , , and . CORRECTNESS@SC, page 31-39. IEEE, (2020)Rethinking Data Race Detection in MPI-RMA Programs., , , , and . SC Workshops, page 196-204. ACM, (2023)Combining static and dynamic validation of MPI collective communications., , and . EuroMPI, page 117-122. ACM, (2013)Static Local Concurrency Errors Detection in MPI-RMA Programs., , , and . Correctness@SC, page 18-26. IEEE, (2022)The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation., , and . Correctness@SC, page 1-9. IEEE, (2021)Maximizing Communication Overlap with Dynamic Program Analysis., , , and . HPC Asia, page 1-11. ACM, (2018)Automatic Code Motion to Extend MPI Nonblocking Overlap Window., , , , and . ISC Workshops, volume 12321 of Lecture Notes in Computer Science, page 43-54. Springer, (2020)