Concepedia

Patrick Reynolds

PR

Statistics

Publications

9

Citations

1.6K

H-Index

9

Active since

2003

Affiliations

Hewlett-Packard (United States)(Current)

Duke University

Cornell University

Patrick Reynolds is an author at Hewlett-Packard (United States) specializing in system software, computer science, and engineering.

Top concepts

EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationDistributed SystemsSoftware EngineeringVerificationFault Tolerance

Publications per year

2003–2020

9

Publications

9

Performance debugging for distributed systems of black boxes

Marcos K. Aguilera, Jeffrey C. Mogul, Janet L. Wiener et al. · ACM SIGOPS Operating Systems Review · 2003 · 565 citations

Engineering, Computer Architecture, Software Engineering +21

Performance debugging for distributed systems of black boxes

Marcos K. Aguilera, Jeffrey C. Mogul, Janet L. Wiener et al. · 2003 · 332 citations

Engineering, Computer Architecture, Software Engineering +21

Pip: detecting the unexpected in distributed systems

Patrick Reynolds, Charles Killian, Janet L. Wiener et al. · 2006 · 315 citations

Software Maintenance, Engineering, Verification +18

Patrick Reynolds, Janet L. Wiener, Jeffrey C. Mogul et al. · 2006 · 125 citations

Software Maintenance, Cluster Computing, Engineering +18

Device driver safety through a reference validation mechanism

Dan Williams, Patrick Reynolds, Kevin Walsh et al. · Operating Systems Design and Implementation · 2008 · 109 citations

Engineering, Information Security, Verification +20

1–5 of 9