seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, +10

EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification +16

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone, +4

ACM Transactions on Computer Systems

EngineeringHardware Verification LanguageVerificationComputer-aided VerificationSoftware Analysis +15

seL4

Gerwin Klein, June Andronick, Kevin Elphinstone, +10

Communications of the ACM

From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Kevin Elphinstone, Gernot Heiser

EngineeringComputer ArchitectureL4 KernelsCommunicationProcessor Architecture +17

User-Level Device Drivers: Achieved Performance

Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, +7

Journal of Computer Science and Technology

Hardware PlatformEngineeringComputer EngineeringComputer ArchitectureUser-level Device Drivers +3

The mungi single-address-space operating system

Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, +2

Software Practice and Experience

EngineeringComputer ArchitectureEmbedded SystemsHardware SystemsShared Memory +17

The SawMill multiserver approach

Alain Gefflaut, Trent Jaeger, Yoonho Park, +6

EngineeringComputer ArchitectureMultiserver SystemsDistributed Data ProcessingHardware Security +16

Application level ballooning for efficient server consolidation

Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, +1

Software MaintenanceCluster ComputingProvisioning (Technology)EngineeringComputer Architecture +17

Towards trustworthy computing systems

Gernot Heiser, Kevin Elphinstone, Ihor Kuz, +2

ACM SIGOPS Operating Systems Review

EngineeringInformation SecurityTrust Management ArchitectureVerificationComputer Architecture +23

L4 Microkernels

Gernot Heiser, Kevin Elphinstone

ACM Transactions on Computer Systems

Hardware SecurityEngineeringProgram AnalysisReal-time Operating SystemComputer Architecture +12