1. Fast Communication Trace Collection;Performance Analysis of Parallel Applications for HPC;2023
2. Symbolic Verification of Message Signatures in MPI;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
3. Understanding the Effects of DRAM Correctable Error Logging at Scale;2021 IEEE International Conference on Cluster Computing (CLUSTER);2021-09
4. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains;Programming Languages and Systems;2021
5. Symbolic verification of message passing interface programs;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27