Loading…
1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.
← Back to schedule
Single Kernel Multicore seL4 - David Swasey & Scott Brookes, Riverside Research
Thursday September 3, 2026 11:30 - 11:45 PDT
Plaza A & B
Riverside Research presents a seL4 prototype called SKMS: Single Kernel Multicore seL4. SKMS is a proof-of-concept implementation of a previously proposed multicore microkernel architecture [1] for the seL4 microkernel on x86. The current POC implements three basic elements of seL4 functionality: memory isolation, remote system calls, and remote scheduling. Memory isolation puts userspace processes into address spaces with no mappings to the seL4 kernel, remote system calls forward requests from these processes (loaded on other cores) over to the single kernel core, and remote scheduling allows the kernel scheduler to choose processes for the remote cores. A preliminary design idea for leveraging this architecture in verifying a version of seL4 that can schedule processes across many cores is presented for community feedback.


Speakers
avatar for Scott Brookes

Scott Brookes

Associate Director, Riverside Research
Dr. Scott Brookes is an Associate Director in the Secure and Resilient Systems group at Riverside Research. He earned his Ph.D. from Dartmouth College in 2018, where he studied secure operating system and hypervisor architectures. He has worked in software targeting security ISAs... Read More →
avatar for David Swasey

David Swasey

Senior Research Scientist – Formal Methods, Riverside Research
David Swasey is a senior research scientist in Secure and Resilient Systems at Riverside Research. He has conducted research in program logics, robust safety, and proof-carrying authorization and has extensive experience verifying low-level systems code.
Thursday September 3, 2026 11:30 - 11:45 PDT
Plaza A & B
  General Sessions, seL4 Exploration & Proposals

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend!
Explore why organizers choose Sched • Success stories
Event App • Event scheduling • Event registration • Event ticketing • Sched forms • Call for papers • Badges • Conferences
© 2026. SCHED LLC - All rights reserved - Helping events since 2008
Conference Scheduling Software • Privacy • Terms
Share Modal

Share this link via

Or copy link