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 site
43Speakers
3Sponsors
130On the bill · sessions
30Companies · in total
§I

Speakers

Programmed at seL4, in alphabetical order.
Adam
NCSC
Adam W1
NCSC
Alain Kägi
Lewis & Clark College
Alexander Weidinger
Fraunhofer AISEC
Alistair Woodman
Erlang Ecosystem Foundation (EEF)
Andrew Ruef
Institute for Defense Analyses
Anjana Rajan
CEO & Co-Founder · Atalanta
Bill Nguyen
UNSW Sydney
Biruk Sintayehu
Trusted Science and Technology
Daniel Neshyba-Rowe
Independent
Daniel Schwyn
Neutrality
Darren Cofer
Collins Aerospace
Dave Lide
Trusted Science and Technology
David Hardin
Collins Aerospace
David Lide
trusted science and technology
David Swasey
Riverside Research
Gernot Heiser
UNSW Sydney
Guangtao Zhu
UNSW Sydney
Ihor Kuz
Kry10
Indan Zupancic
seL4 foundation
James Sharp
Dstl
John Hatcliff
Kansas State University
§II

Sponsors

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

Agenda

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

    Ask Me Anything' with the TSC

  • Thursday 09:00 PDT

    Ask Me Anything' with the TSC - Darren Cofer, Collins Aerospace with Additional Speakers To Be Announced

  • Thursday 09:30 PDT

    Simplifying Microkit System Composition with Acacia

  • Thursday 09:30 PDT

    Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney

  • Thursday 10:30 PDT

    A Policy-free Boot Process for seL4

  • Thursday 10:30 PDT

    A Policy-free Boot Process for seL4 - Daniel Schwyn, Neutrality

  • Thursday 11:00 PDT

    Carrels: Secure, High-performance Microservice on seL4

  • Thursday 11:00 PDT

    Carrels: Secure, High-performance Microservice on seL4 - Guangtao Zhu, UNSW Sydney

  • Thursday 11:30 PDT

    Single Kernel Multicore seL4

Intermission
Part the Second · For the Buyer

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

30 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
27Companies Speakingspeaker only

The Triple-Threat

Riverside Research

Speakers by seniority

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

  • C-suite25%
  • Manager / Lead12%
  • Other roles4093%

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

Most-represented companies
  1. 01UNSW Sydney6V
  2. 02Riverside ResearchSp·E2V
  3. 03AppleSp·G
  4. 04Dornerworks3V
  5. 05Galois3V
  6. 06ProofcraftSp·S
  7. 07Trusted Science and Technology3V
  8. 08Collins Aerospace2V
  9. 09Kry102V
  10. 10NCSC2V
  11. 11ABB Corporate Research1V
  12. 12Atalanta1V
  13. 13Colias Group1V
  14. 14Critical Systems Labs Inc. (CSL),1V
Sponsors by tier
gold1
33% of 3
silver1
33% of 3
evening reception1
33% of 3