Switzerland / France / United States / United Kingdom / /
Facility
University of New South Wales / /
IndustryTerm
usual programming-language type systems / larger software systems / higher-level system software / systems software / low-level hardware / imperative systems / bare metal / /
OperatingSystem
Unix / Singularity / Coyotos / /
Organization
UCLA / Australian Government / University of New South Wales / Australian Research Council / /
Person
Tobias Nipkow / Michael Norrish / Volkmar Uhlig / David Cock / Mark Aiken / Philip Derrin / Lawrence Paulson / Andrew Tolmach / Keir Fraser / Dan Magenheimer / Timothy Roscoe / Andrew Warfield / Chris Hawblitzel / Michael Hohmuth / Orion Hodson / Joshua LeVasseur / Kevin Elphinstone∗ Gerwin Klein / Gerald Popek / Harvey Tuch / Philip Derrin Timothy Roscoe / Evangelos Kottsovinos / Sante Fe / Galen C. Hunt / Matthias Felleisen / Steven Hand / Thomas Hallgren / Rebekah Leslie / James R. Larus / Bruce Walker / Markus Wenzel / Steven Levi / Kevin Elphinstone / Gerwin Klein / Gernot Heiser / Richard Kemmerer / Mark P. Jones / Hendrik Tews / Manuel M. T. Chakravarty / William R. Bevier / Jonathan Shapiro / /
Position
Proof Assistant / /
Product
Literate Haskell / /
ProgrammingLanguage
C / Haskell / LaTeX / C++ / /
ProvinceOrState
New South Wales / /
PublishedMedium
IEEE Transactions on Software Engineering / Lecture Notes in Computer Science / /
Region
South Wales / /
Technology
Alpha / functional programming / virtual machine / Unix / API / operating system / real processor / simulation / /
Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin