seL4 Summit 2023 Program
The seL4 Summit 2023 features a combination of technical research and development, real-world seL4 deployment insights, in-depth interactive discussions, thought-provoking keynotes, panel discussions, as well as a training session. Videos are available on the seL4 YouTube channel.
Program-at-a-glance
Main Program
All times are local time in Minneapolis, USA (GMT-5). Session chairs shown on right.
Day 1 19 September 2023
9:00 - 9:10
Darren Cofer
9:10 - 10:00
Keynote
Keynote
10:15 - 10:45
Gerwin Klein
10:45 - 11:15
11:30 - 12:00
Matthew Brecknell
12:00 - 12:30
More multiprocessing on seL4: Are efficient SMP virtual machines possible on verifiable seL4 kernels?
Kent McLeod, , Kry10
Kent McLeod, , Kry10
13:30 - 14:00
Robbie VanVossen
14:00 - 14:30
14:45 - 15:15
Nick Spinale
15:15 - 15:45
16:00 - 16:15
Axel Heider
16:15 - 16:30
16:30 - 16:45
16:45 - 17:00
17:00 - 17:15
Gold Sponsor
Gold Sponsor
June Andronick
Networking event: drinks and nibbles 18:00
Day 2 20 September 2023
9:00 - 9:50
Keynote
Keynote
Ihor Kuz
9:50 - 10:00
Announcements
June Andronick, , Proofcraft
June Andronick, , Proofcraft
10:15 - 10:45
Lucy Parker
10:45 - 11:15
11:30 - 12:00
Kent McLeod
12:00 - 12:30
13:30 - 14:00
Todd Carpenter
14:00 - 14:30
Panel
Panel
OS on seL4: so many options!
Gernot Heiser, Sid Hussmann, Kent McLeod, Juliana Furgala, , UNSW, Gapfruit, Kry10, MIT Lincoln Laboratory
Gernot Heiser, Sid Hussmann, Kent McLeod, Juliana Furgala, , UNSW, Gapfruit, Kry10, MIT Lincoln Laboratory
14:45 - 15:15
Gernot Heiser
15:15 - 15:45
16:00 - 16:30
Gerwin Klein
16:30 - 16:45
Toward a Verified, Minimal IPv6 Network Stack Implementation
Wyeth Greenlaw Rollins, , Lewis & Clark College
Wyeth Greenlaw Rollins, , Lewis & Clark College
16:45 - 17:00
17:00 - 17:15
Gold Sponsor
Gold Sponsor
June Andronick
17:15 - 17:30
Gold Sponsor
Gold Sponsor
Dinner 19:00
Day 3 21 September 2023
9:00 - 9:30
SIG update + Community update/discussion
Yanyan Shen, Matthew Brecknell, Everton de Matos, Kent McLeod, , NIO, Kry10, TII, Kry10
Yanyan Shen, Matthew Brecknell, Everton de Matos, Kent McLeod, , NIO, Kry10, TII, Kry10
Darren Cofer
9:30 - 10:00
seL4 Virtualization (ARMv8 Edge Device) Guest OS Performance & HA Recovery
Lei Mao, , Horizon Robotics
Lei Mao, , Horizon Robotics
10:15 - 10:30
Ihor Kuz
10:30 - 10:45
10:45 - 11:00
Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4
Michael Neises, , University of Kansas
Michael Neises, , University of Kansas
11:30 - 11:45
BoFs teasers
Darren Cofer, Ihor Kuz
Rooms 1 & 2
11:45 - 12:30
BoF
Rooms 1 & 2
13:30 - 14:15
BoF
Room 1
14:15 - 14:30
Report from BoFs + Discussion
Darren Cofer, Ihor Kuz
14:45 - 16:30
Training
Training
A quick start to seL4 with the Core Platform
Ivan Velickovic, , UNSW
Ivan Velickovic, , UNSW