Travelled to:1 × Portugal
2 × USA
Collaborated with:E.G.Sirer K.Walsh D.Williams F.B.Schneider M.K.Aguilera J.C.Mogul J.L.Wiener A.Muthitacharoen W.d.Bruijn A.Shieh
Talks about:trustworthi (1) architectur (1) distribut (1) perform (1) system (1) safeti (1) mechan (1) driver (1) comput (1) author (1)
Person: Patrick Reynolds
DBLP: Reynolds:Patrick
Contributed to:
2011
20082003Wrote 3 papers:
- SOSP-2011-SirerBRSWWS #architecture #logic
- Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
- OSDI-2008-WilliamsRWSS #safety #validation
- Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
- SOSP-2003-AguileraMWRM #black box #debugging #distributed #performance
- Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.