Zachary Benavides

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Parallel Execution

Parallel Computing

Top Venues

Proc. ACM Program. Lang.

Formal Methods Syst. Des.

University of California, Riverside, USA (PHD)

Education History

University of California, Riverside, USA

PHD

Publications

Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang
Annotation guided collection of context-sensitive parallel execution profiles. Formal Methods Syst. Des. 54 (3) (2019)
Zachary Benavides, Keval Vora, Rajiv Gupta
DProf: distributed profiler with strong guarantees. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Hongbo Li, Sihuan Li, Zachary Benavides, Zizhong Chen, Rajiv Gupta
COMPI: Concolic Testing for MPI Applications. IPDPS (2018)
Zachary Benavides, Rajiv Gupta, Xiangyu Zhang
Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. RV (2017)
Zachary Benavides, Rajiv Gupta, Xiangyu Zhang
Parallel Execution Profiles. HPDC (2016)