Author of the publication

Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations.

, , and . ICSME, page 601-604. IEEE Computer Society, (2014)

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

Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro., , , , and . SIMULTECH, page 65-73. SciTePress, (2011)Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons., , , , and . ACM Trans. Model. Comput. Simul., 26 (1): 4:1-4:24 (2015)Quantifiability: Correctness of Concurrent Programs in Vector Space., , , and . PDP, page 94-98. IEEE, (2021)Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures., , and . MASCOTS, page 83-93. IEEE Computer Society, (2019)Automating Non-Blocking Synchronization In Concurrent Data Abstractions., , and . ASE, page 735-747. IEEE, (2019)The ABA problem in multicore data structures with collaborating operations.. CollaborateCom, page 158-167. ICST / IEEE, (2011)Wait-free Dynamic Transactions for Linked Data Structures., , , , and . PMAM@PPoPP, page 41-50. ACM, (2019)Towards workload-adaptive scheduling for HPC clusters., , , and . CLUSTER, page 449-453. IEEE, (2020)Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks., , , and . ACM Trans. Archit. Code Optim., 15 (4): 66:1-66:25 (2019)PETRA: Persistent Transactional Non-blocking Linked Data Structures., , , and . ACM Trans. Archit. Code Optim., 18 (2): 23:1-23:26 (2021)