Deadlock Detection for Concurrent Programs Using Resource Footprints. - Sonam Sherpa; Abdi Vicenciodelmoral; Xinghui Zhao (UCC Companion, 2019)

A Hybrid Approach for Detecting Bugs in HPC Workloads. - Sonam Sherpa; Xinghui Zhao (ICPADS, 2023)