Van Man Nguyen
Orcid: 0000-0003-0364-4840
According to our database1,
Van Man Nguyen
authored at least 6 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Static-Dynamic Analysis for Performance and Accuracy of Data Race Detection in MPI One-Sided Programs.
Proceedings of the High Performance Computing. ISC High Performance 2024 International Workshops, 2024
2023
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023
2022
Compile-time Validation and Optimization of MPI Nonblocking Communications. (Vérification et optimisation à la compilation des communications MPI non-bloquantes).
PhD thesis, 2022
2020
Proceedings of the High Performance Computing, 2020
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation.
Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020