Travelled to:1 × France
1 × USA
Collaborated with:R.Kaivola R.Ghughal N.Narasimhan A.Telfer J.Whittemore S.Pandav A.Slobodová V.Frolov E.Reeber A.Naik J.C.Corbett J.Dean M.Epstein A.Fikes C.Frost J.J.Furman S.Ghemawat A.Gubarev C.Heiser P.Hochschild W.C.Hsieh S.Kanthak E.Kogan H.Li A.Lloyd S.Melnik D.Mwaura D.Nagle S.Quinlan R.Rao L.Rolig Y.Saito M.Szymaniak R.Wang D.Woodford
Talks about:processor (1) distribut (1) spanner (1) databas (1) replac (1) global (1) formal (1) execut (1) verif (1) valid (1)
Person: Christopher Taylor
DBLP: Taylor:Christopher
Contributed to:
2012
2009Wrote 2 papers:
- OSDI-2012-CorbettDEFFFGGHHHKKLLMMNQRRSSTWW #database #named
- Spanner: Google’s Globally-Distributed Database (JCC, JD, ME, AF, CF, JJF, SG, AG, CH, PH, WCH, SK, EK, HL, AL, SM, DM, DN, SQ, RR, LR, YS, MS, CT, RW, DW), pp. 261–264.
- CAV-2009-KaivolaGNTWPSTFRN #execution #testing #validation #verification
- Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation (RK, RG, NN, AT, JW, SP, AS, CT, VF, ER, AN), pp. 414–429.