Zachary Benavides

According to our database, Zachary Benavides authored at least 6 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

DProf: distributed profiler with strong guarantees.

Zachary Benavides, Keval Vora, Rajiv Gupta

Proc. ACM Program. Lang., 2019

Annotation guided collection of context-sensitive parallel execution profiles.

Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang

Formal Methods Syst. Des., 2019

2018

Declarative Profiling for Parallel Systems.

Zachary Benavides

PhD thesis, 2018

COMPI: Concolic Testing for MPI Applications.

Hongbo Li, Sihuan Li, Zachary Benavides, Zizhong Chen, Rajiv Gupta

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

2017

Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.

Zachary Benavides, Rajiv Gupta, Xiangyu Zhang

Proceedings of the Runtime Verification - 17th International Conference, 2017

2016

Parallel Execution Profiles.

Zachary Benavides, Rajiv Gupta, Xiangyu Zhang

Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, 2016