- Summit-pc - lists.sel4.systems

Assembling PC for seL4 summit 2026
by Birgit Brecknell 10 Oct '25

10 Oct '25

Dear PC members of the seL4 summit 2025, Thanks again for serving on last summit’s PC. So now is time to work on the summit 2026. :-) Firstly, we’d like to thank Nick and Robbie for their excellent work as co-chairs in 2025. And, please welcome the co-chairs for 2026, Robbie and Lucy! As you might have heard, the location will be in either Vancouver or Montreal. We will have more information on this, and likely dates, soon. We are now looking to form a new PC. As in previous years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please reply to me (cc'ing June) by 17 Oct telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, if feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/ (b) whether you would be happy to be considered again for the 2026 PC, or would prefer to step aside for this time. From there we will aim for a good balance. See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as in the previous years. :-) Please let me know if you have any questions. Many thanks! Birg & June on behalf of co-chairs, Robbie and Lucy [0] Timeline: https://docs.google.com/spreadsheets/d/1ga5KARcQMe1aerUbhGbO4SIXCHskjcyMsm-… [1] The Program Committee is in charge of the technical side of the event (content, invited speakers, program...). The PC process aspires to be informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from me and June (cc’ed). There is also an informal Steering Committee made of Gernot, Gerwin and June for any oversight. Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

(seL4 summit): 2024 PC
by June Andronick (seL4 Foundation) 01 Feb '24

01 Feb '24

Dear PC members of the seL4 summit 2023, Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :) As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please all reply to me (CCing Birg) by Dec 11th telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/ (b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time. From there we will aim for a good balance :) See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as last years :) Any questions let me know. Many thanks! June [0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBU… [1] The Program Committee is in charge of the technical side of the event (content, invited speakers, program...). The PC process aspires to be quite informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from Birgit (CC-ed) and myself. There is also an informal Steering Committee made of Gernot, Gerwin and myself for any oversight. Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event

3 5

seL4 summit: your allocation as session chair (PLEASE CHECK)
by June Andronick (seL4 Foundation) 06 Sep '23

06 Sep '23

Dear PC, Please find attached an allocation of session chairs for the summit. Please let us know asap if you have any issues with your allocated slot. If we don’t hear from you by Monday 11th, we’ll assume it’s all good :) Thanks and see you all in Minneapolis very soon! June, on behalf of Ihor and Darren

1 0

seL4 summit in 2 weeks: please post about it! :)
by June Andronick (seL4 Foundation) 06 Sep '23

06 Sep '23

Dear PC of the upcoming seL4 summit, The summit is in 2 weeks! We’ll contact you very soon about chairing some sessions. For now, can you please encourage any last minute registrations through your networks? I’ve just posted on linkedin: https://www.linkedin.com/posts/sel4_sel4-activity-7104829051214671872-lqzj?… From the last report I got, we have 55 registrants. We had a number of last minute ones last year, it would be good to do the same this year to increase attendance and create a buzz again :) I’m counting on you! Thanks, June

1 0

(seL4 summit) program is out, please share it! :)
by June Andronick (seL4 Foundation) 27 Jun '23

27 Jun '23

Dear seL4 summit PC, As you may have seen, we have announced the program for the seL4 summit 2023. Please share it in your circles! https://sel4.systems/news/2023#summit-program-2023 https://www.linkedin.com/posts/sel4_program-of-the-sel4-summit-2023-activit… Thanks! June

1 0

Fw: seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4
by Birgit Brecknell 23 Jun '23

23 Jun '23

Dear PC Richard Skowyra supplied further info on their submission, as requested. Please see below. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra(a)ll.mit.edu> Sent: Thursday, 22 June 2023 11:03 PM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Cc: summit(a)sel4.systems <summit(a)sel4.systems> Subject: RE: seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4 Hi Birgit, Sorry for the delayed response. Here’s the info you requested: Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program. * The work we’re reporting on is completed, but it is a part of a larger in-progress effort to build a secure software stack for high-assurance applications. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. * Title: Magnetite: Rust-Based OS Services for seL4 * Presenters: Richard Skowyra, Juliana Furgala, or Samuel Jero. We’ll let you know who is presenting by mid-July. Best, Rick Skowyra From: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Sent: Thursday, June 8, 2023 6:33 PM To: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra(a)ll.mit.edu> Cc: summit(a)sel4.systems Subject: [EXT] seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4 Dear Richard We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question ZjQcmQRYFpfptBannerStart This Message Is From an External Sender This message came from outside the Laboratory. ZjQcmQRYFpfptBannerEnd Dear Richard We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.) Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information. The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf. Thanks for your submission and we look forward to a successful summit! Kind regards Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

Fw: seL4 summit 2023: Incremental assurance for a network stack
by Birgit Brecknell 21 Jun '23

21 Jun '23

Dear PC Michal Podhradsky supplied further info on their submission, as requested. Please see below. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: Michal Podhradsky <mpodhradsky(a)galois.com> Sent: Wednesday, 21 June 2023 2:02 AM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Subject: Re: seL4 summit 2023: Incremental assurance for a network stack Hello Birgit, sorry about the delay. To your questions: Status of the work: It is work-in-progress. Because of the project funding and schedule, the verification work starts in the beginning of July and goes until September. I understand that makes presenting more complicated, but I believe it is better to announce our results as early as we have them, rather than waiting for the 2024 summit. Happy to chat more if you prefer? Title: Incremental assurance for a Rust network stack Presenter: [Michal Podhradsky, Tiago Ferreira, Ben Hamlin, Ed Sandberg, Mike Dodds] I haven't received any follow up instructions from the Linux Foundation - how would you like me to update the abstract? Regards Michal On Thu, Jun 8, 2023 at 3:37 PM Birgit Brecknell <birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>> wrote: Dear Michal We are pleased to notify you that your submission Incremental assurance for a network stack has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.) Action item: The PC requests more insight on the status of the work. Please provide more details in the abstract. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information. The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf. Thanks for your submission and we look forward to a successful summit! Kind regards Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

Fw: seL4 summit 2023: seL4 and how to make working with hardware enjoyable
by Birgit Brecknell 21 Jun '23

21 Jun '23

Dear PC Ed Sandberg supplied further info on their submission, as requested. Please see below. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: ed sandberg <ed.sandberg(a)galois.com> Sent: Wednesday, 21 June 2023 6:17 AM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Subject: Re: seL4 summit 2023: seL4 and how to make working with hardware enjoyable [You don't often get email from ed.sandberg(a)galois.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ] Hello Birgit, Sorry for the late reply. Responses inline. On 6/8/23 17:36, Birgit Brecknell wrote: > Dear Ed > > We are pleased to notify you that your submission *seL4 and how to make > working with hardware enjoyable *has been accepted for the seL4 Summit 2023. > > The PC thought that your submission will be best as a short talk (15 > mins, including question time). (The exact timing might change slightly > when we finalise the program.) > > *Action item:* The PC is interested in seeing this published as a cook > book/recipe. Please provide more details in the abstract. The work is ongoing but we will have more concrete results in time for the summit. When ready I would be happy to provide a Makefile for you to publish so anyone can re-create my experiments. > > *Action item:* Please send your finalised title and name of presenter > asap (by 15 Jun 22), so that we can advertise the program. If you are > not sure about the presenter yet, it is ok to have a list of presenters > for now. Title: seL4 and how to make working with hardware enjoyable Presenter: [Ed Sandberg, Michal Podhradsky, Tiago Ferreira, Ben Hamlin, Mike Dodds] > > *Action item:* You will receive further practical information soon, e.g. > regarding the talk schedule, uploading abstracts, etc. Please look out > for an email from the Linux Foundation with this information. > > The seL4 summit 2023 will be an in-person event, so speakers are > expected to present in person (unless there are last minute unforeseen > circumstances). If you are unable to attend in-person, please let us > know as soon as possible and please try to find someone who could > present in person on your behalf. > > Thanks for your submission and we look forward to a successful summit! > > Kind regards > Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee > > --- > > *Dr. Birgit Brecknell* > > Project Officer > > Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au > <mailto:birgit.brecknell@unsw.edu.au> > > seL4 Foundation, birgit(a)sel4.systems <mailto:birgit@sel4.systems> > > 0433 880 571 > > *Mon *9am-5pm > > *Wed*9am-12pm > > *Fri *9am-5pm > > -- Edward Sandberg Galois, Inc

1 0

seL4 summit 2023: draft program for comment
by Birgit Brecknell 19 Jun '23

19 Jun '23

Dear PC Please find attached the draft program for the seL4 summit 2023. We plan to announce the program on 16 Jun. Please send any feedback/comments by 15 Jun. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

3 6

summit 2023 panel session
by Birgit Brecknell 16 Jun '23

16 Jun '23

Dear PC As part of the summit, we'll be running a panel session "OS on seL4: so many options!" We compiled a list of groups who could send representatives: UNSW, Google, Gapfruit, Magnetite (MIT), Kry10, Hensoldt Cyber. We will reach out to the groups to ask for representatives (one per group) to sit on the panel. Please let us know by Wed 21 Jun if you would like us to modify the above, or if you have any further suggestions. cheers Birg, on behalf of the chairs, Darren and Ihor --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0