Skip to main content

Kai Engelhardt

Kai Engelhardt
Senior Researcher; Senior Lecturer, UNSW

Research Interests

Kai's research mostly attempts to refute the third sentence of the following proverb of unknown (?) origin. "The problem with engineers is that they cheat in order to get results. The problem with mathematicians is that they work on toy problems in order to get results. The problem with program verifiers is that they cheat on toy problems in order to get results."

Contact Details

Email:Kai.Engelhardt@data61.csiro.au

More contact information is available at the Contact page.

Photo of Kai Engelhardt

Projects

Current

Past

NICTA Papers

2015

Abstract PDF Peter Gammie, Tony Hosking and Kai Engelhardt
Relaxing safely: verified on-the-fly garbage collection for x86-TSO
PLDI 2015: the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation., pp. 11, Portland, Oregon, United States, June, 2015

2010

Abstract PDF Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
seL4: Formal verification of an operating-system kernel
Communications of the ACM, Volume 53, Number 6, pp. 107-115, June, 2010
Research Highlights paper

2009

Abstract
Slides
PDF
Presentation Video
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
seL4: Formal verification of an OS kernel
ACM Symposium on Operating Systems Principles, pp. 207-220, Big Sky, MT, USA, October, 2009

2008

Abstract to be published Kai Engelhardt and Yoram Moses
Single-bit messages are insufficient for data link over duplicating channels
Volume 107, Number 6, pp. 235–239, August, 2008
Abstract PDF Kai Engelhardt and Yoram Moses
Single-bit messages are insufficient for data link over duplicating channels
Volume 107, Number 6, pp. 235, July, 2008