February 2023 - Summit-pc - lists.sel4.systems

(seL4 summit 23): share the CfP!
by June Andronick (seL4 Foundation) 20 Feb '23

20 Feb '23

Dear PC for the seL4 summit 2023, The Call for Presentations is out! [0] [1] We now count on all of you to circulate it in your own circles and encourage people to submit :) Remember, the aim is to assemble the program that we would really be keen to hear about (or that we think the community should know and hear about). So don’t hesitate to nudge specific people you’re keen to hear from and encourage them to submit. You can also let us know if you’d prefer that we contact them. Also note that we have slightly updated the technical planning, shifting it to take the delay into account: https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL4… Let us know if you have any questions, and thanks! June, Birg, Darren, Ihor [0] https://sel4.systems/Foundation/Summit/2023/cfp [1] https://www.linkedin.com/feed/update/urn:li:ugcPost:7033324568924618753/

1 0

Meet your fellow PC members + 2 small tasks
by June Andronick (seL4 Foundation) 13 Feb '23

13 Feb '23

Dear PC of the seL4 Summit 2023! We are thrilled that you accepted the invitation! Please find below [0] our awesome team, from various parts of the seL4 ecosystem. To get started, we have 2 small tasks for you: 1- Website: we aim to announce the PC next week, so please check, by Friday 10 Feb, that you are fine with your name/affiliation/link as below [0]. If we don't hear back from you, we'll assume it's all good and we'll go ahead with the announcement. For the people that were on the PC last year, we'll use the same picture as last year. If you prefer a different one, please send it to Birg and I by Friday as well. 2- Themes/topics for the Call for Presentations: we suggest we keep the same topics as last year [1], as they are still good and relevant. But your thoughts/suggestions are welcome. Please send them by Tuesday 14 Feb. If we don't hear back from you, we'll assume you're fine with reusing the same topics and we'll aim to publish the CfP around Wednesday 15th Feb. Your next task (hopefully next week) will be to help advertise for the CfP, encourage submissions, nudge specific people you'd like to hear about etc. Remember: we aim to maximise the take away value. So you should think of it as: what would an ideal seL4 summit look like for you? What is the cool seL4 work that you heard about and would love to hear more about? The Call For Presentation is lightweight and informal. The aim is to attract the work we want to hear about or want the community to hear about. I’m just adding a 3rd tiny task: 0- if you don’t need to reply to 1 and 2 above because you happen to be fine with the default, can you please still send Birg and I an “ACK” email so we know we got the mailing list right? :) If you have any questions, let us know. Thanks again, Birg, June, Darren & Ihor [0] PC of the seL4 Summit 2023: - Darren Cofer (Raytheon), co-chair, http://loonwerks.com/people/darren-cofer.html - Ihor Kuz (Kry10), co-chair, http://www.ikuz.org/ - Perry Alexander (U of Kansas), https://perry.alexander.name - June Andronick (Proofcraft), https://proofcraft.systems/#june - Todd Carpenter (Adventium Labs), https://www.adventiumlabs.com/team-member/todd-carpenter - Martin D2 (NCSC), https://www.ncsc.gov.uk - Alison Felizzi (Kry10) - Axel Heider (Hensoldt Cyber), https://www.linkedin.com/in/axelheider/ - Gernot Heiser (UNSW), https://trustworthy.systems/people/?cn=Gernot+Heiser - Lucy Parker (UNSW), https://trustworthy.systems/people/?cn=Lucy+Parker - Nick Spinale (Colias Group), https://nickspinale.com - Robbie VanVossen (Dornerworks), https://www.linkedin.com/in/robbie-vanvossen-gr/ [1] Themes for the seL4 summit’22 CfP: - seL4 on-going and planned R&D, mature or early stage: - seL4 research efforts - seL4 development efforts - work-in-progress seL4 development - student work on seL4 - new/missing/next-gen kernel mechanisms - seL4-related roadmaps: what you plan to work on and when - seL4 grand challenges - OS frameworks and services - seL4 userland with programming language support beyond C - High performance systems based on seL4: pushing the boundaries - seL4 experience reports - experience with deploying seL4 in the field, in commercial/deployed products - experience with teaching seL4 - experience with seL4 in certification schemes and application of industry standards - experience with “building a business case for using a verified kernel” - experience with porting software from other OSes - seL4 and hardware - ports to new hardware platforms or architectures - multicore systems - virtualisation - new/proposed hardware features or architectures, which could also enable or broaden the scope of formal reasoning (e.g. about time protection) - seL4 in embedded processors on FPGAs, and impact of assured separation - IOMMU solutions for various hardware architectures and impact for seL4 - seL4 and assurance: - application-level verification leveraging seL4 proofs - correctness, spatial separation, temporal separation, and real-time proofs - formalised interface between or composition of kernel-level proofs and user-level proofs - verification engineering at scale, scaling verification productivity - security/safety impact/assurance/certification for an seL4-based system

1 1

seL4 summit'23: 2 questions for you (by 26 Jan)
by June Andronick (seL4 Foundation) 08 Feb '23

08 Feb '23

Dear PC members of the seL4 summit 2022, Thanks again for serving in last summit’s PC. Now is time to work on the summit’23 :) starting with forming the PC. Firstly, I’m very glad to announce that Ihor has accepted to be the new “junior” co-chair for this year and Darren accepted to stay on board for another year as the “senior” co-chair. Many thanks to both of them. Now can you please all reply to me (CCing Birg): (a) telling me whether you would be happy to be on the PC for 2023 or not, and (b) suggesting 1 name for a new PC member we might want to consider (with a few words why if it’s not obvious). Some diversity in all dimensions would be great, as much as feasible. Current PC can be found on https://sel4.systems/Foundation/Summit/home.pml From there we will aim for a mix of "old and new blood” :) Please reply by the 26th Jan or earlier. If you need more time let me know. 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 year :) Oh and the vote for the location resulted in Minneapolis, and the dates we’re looking at would hopefully be either the week of Sep 18 or the week of Oct 9 (3 days to be determined in these weeks). Any questions let me know. Many thanks! June [0] https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL4… [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]): - Reply to this email and suggest a name for a new PC member (<1h) - 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

1 2