@inproceedings{cooperman2022debugging,
  title={Debugging {MPI} Implementations via Reduction-to-Primitives},
  author={Cooperman, Gene and Li, Dahong and Zhao, Zhengji},
  booktitle={2022 IEEE/ACM Third International Symposium on Checkpointing for Supercomputing (SuperCheck'22)},
  pages={10--18},
  year={2022},
  organization={IEEE}
}