Travelled to:1 × France
1 × USA
Collaborated with:G.Klein M.Norrish K.Elphinstone G.Heiser J.Andronick D.Cock P.Derrin D.Elkaduwe K.Engelhardt R.Kolanski T.Sewell S.Winwood
Talks about:kernel (1) formal (1) verif (1) separ (1) logic (1) type (1) byte (1) sel (1)
Person: Harvey Tuch
DBLP: Tuch:Harvey
Contributed to:
2009
2007Wrote 2 papers:
- SOSP-2009-KleinEHACDEEKNSTW #kernel #named #verification
- seL4: formal verification of an OS kernel (GK, KE, GH, JA, DC, PD, DE, KE, RK, MN, TS, HT, SW), pp. 207–220.
- POPL-2007-TuchKN #logic
- Types, bytes, and separation logic (HT, GK, MN), pp. 97–108.