Sched.com Conference Mobile Apps
seL4 Summit 2024
Attending this event?
Log In
or
log in with email →
Sign Up
or
sign up with email →
Completely free and you can…
Create a custom schedule.
Take it with you on mobile.
Get listed in the directory.
seL4 Summit 2024
-
Saved To
My Schedule
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Search
menu
Menu
Schedule
Speakers
Search
← Back
GH
Gernot Heiser
Trustworthy Systems, UNSW
My Speakers Sessions
Tuesday
, October 15
13:30 AEDT
Lions OS: Secure, Fast, Adaptable!
Banksia + Bluegum
Gernot Heiser
14:15 AEDT
The Secure Multiserver Operating System Framework
Banksia + Bluegum
Alwin Joshy • Gernot Heiser • Craig McLaughlin • Kevin Elphinstone
Wednesday
, October 16
12:00 AEDT
Pancake: A Language for Verified Systems Programming
Banksia + Bluegum
Miki Tanaka • Gernot Heiser • Johannes Åman Pohjola
Thursday
, October 17
11:00 AEDT
Hardware Support for Time Protection
Banksia + Bluegum
Nils Wistoff • Gernot Heiser • Luca Benini
Share Modal
Share this link via
Or copy link
Copy