Parallel Execution Profiles. - Zachary Benavides; Rajiv Gupta 001; Xiangyu Zhang 001 (HPDC, 2016)

Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. - Zachary Benavides; Rajiv Gupta 001; Xiangyu Zhang 001 (RV, 2017)

COMPI: Concolic Testing for MPI Applications. - Hongbo Li 006; Sihuan Li; Zachary Benavides; Zizhong Chen; Rajiv Gupta 001 (IPDPS, 2018)

Declarative Profiling for Parallel Systems. - Zachary Benavides (2018)

Annotation guided collection of context-sensitive parallel execution profiles. - Zachary Benavides; Keval Vora; Rajiv Gupta 001; Xiangyu Zhang 001 (Formal Methods Syst. Des., 2019)

DProf: distributed profiler with strong guarantees. - Zachary Benavides; Keval Vora; Rajiv Gupta 001 (Proc. ACM Program. Lang., 2019)