Travelled to:1 × Denmark
1 × Germany
2 × USA
Collaborated with:W.P.d.Roever P.Gammie A.L.Hosking R.v.d.Meyden Y.Moses G.Klein K.Elphinstone G.Heiser J.Andronick D.Cock P.Derrin D.Elkaduwe R.Kolanski M.Norrish T.Sewell H.Tuch S.Winwood
Talks about:framework (1) knowledg (1) support (1) program (1) problem (1) lamport (1) general (1) collect (1) verifi (1) reason (1)
Person: Kai Engelhardt
DBLP: Engelhardt:Kai
Contributed to:
2015
2009
2000
1993Wrote 4 papers:
- PLDI-2015-GammieHE #garbage collection #on the fly
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO (PG, ALH, KE), pp. 99–109.
- 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.
- FoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement
- A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
- FME-1993-EngelhardtR #problem
- Generalizing Abadi & Lamport’s Method to Solve a Problem Posed by A. Pnueli (KE, WPdR), pp. 294–313.