Operating Systems

seL4 Summit

The seL4 Summit is the annual international summit on the seL4 microkernel and seL4-related technology, tools, infrastructure, products, projects, and people.

Visit the official siteSponsorship open
26Speakers
3Sponsors
31On the bill · sessions
21Companies · in total
§I

Speakers

Programmed at seL4, in alphabetical order.
Adam
NCSC
Alain Kägi
Lewis & Clark College
Alistair Woodman
Erlang Ecosystem Foundation (EEF)
Anjana Rajan
CEO & Co-Founder · Atalanta
Bill Nguyen
UNSW Sydney
Daniel Schwyn
Neutrality
Dave Lide
Trusted Science and Technology
David Hardin
Collins Aerospace
Gernot Heiser
UNSW Sydney
Guangtao Zhu
UNSW Sydney
Ihor Kuz
Kry10
John Hatcliff
Kansas State University
Jonathan Marshall
SafeShark
June Andronick
Proofcraft and seL4 Foundation
Lesley Rossouw
UNSW Sydney
Liam Murphy
UNSW Sydney
Martin Dehnel-Wild
Chief Scientist · Kry10
Michal Podhradsky
Galois
Miki Tanaka
UNSW
Nathan Studer
Dornerworks
Nils Brand
Fraunhofer IESE
Philipp Scholl
ABB Corporate Research
§II

Sponsors

The houses behind the program. Tiers as disclosed.
AppleGold
ProofcraftSilver
Riverside ResearchEvening Reception
§III

Agenda

Selected from 31 sessions on the bill.
  • Thursday 09:00 PDT

    Ask Me Anything' with the TSC

  • Thursday 09:30 PDT

    Simplifying Microkit System Composition with Acacia

  • Thursday 10:30 PDT

    A Policy-free Boot Process for seL4

  • Thursday 11:00 PDT

    Carrels: Secure, High-performance Microservice on seL4

  • Thursday 11:30 PDT

    Single Kernel Multicore seL4

  • Thursday 11:45 PDT

    Booting Windows on an x86-64 seL4-based VMM

  • Thursday 13:30 PDT

    Rigorous Agentic Systems Engineering for seL4 using HAMR

  • Thursday 14:00 PDT

    Efficient User-level Physical Memory Management on seL4

  • Thursday 14:15 PDT

    Modeling and Performance Analysis of Ethernet on LionsOS

Intermission
Part the Second · For the Buyer

What does it mean when 21 companies show up — and 1 bet on three roles at once?

21 companies. one are betting more than once.

The numbers below are derived from the speakers, sponsors, and exhibitors on this page — cross-referenced into one ledger. They are the only thing here that 10times.com cannot tell you.

Who's in the room
1All threespeak · spons · exh
2Sponsoringsponsor only
18Companies Speakingspeaker only

The Triple-Threat

Riverside Research

Speakers by seniority

8% of the speakers carry senior titles — C-suite, Founder, VP, or Director-level.

  • C-suite28%
  • Other roles2492%

Of 26 on the bill · classified by free-text title

Most-represented companies
  1. 01UNSW Sydney6V
  2. 02Riverside ResearchSp·E1V
  3. 03AppleSp·G
  4. 04ProofcraftSp·S
  5. 05Dornerworks2V
  6. 06Kry102V
  7. 07ABB Corporate Research1V
  8. 08Atalanta1V
  9. 09Collins Aerospace1V
  10. 10Erlang Ecosystem Foundation (EEF)1V
  11. 11Fraunhofer IESE1V
  12. 12Galois1V
  13. 13Kansas State University1V
  14. 14Lewis & Clark College1V
Sponsors by tier
gold1
33% of 3
silver1
33% of 3
evening reception1
33% of 3