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@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@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@ll.mit.edu> Sent: Thursday, 22 June 2023 11:03 PM To: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Cc: summit@sel4.systems <summit@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@unsw.edu.au> Sent: Thursday, June 8, 2023 6:33 PM To: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra@ll.mit.edu> Cc: summit@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@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm