(seL4 summit) Task#1: themes/topics for CFP
Dear PC of the seL4 summit 2022, Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience. 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. The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education **Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.** In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback: - Keynotes: to be discussed in May. - "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May. - Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level. - Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**. - Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.** - Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.** **Any further comments/thoughts on the list above, or any new ideas is welcome.** Let the discussion begin, which we'll finalise at the meeting next week. Thanks all! June
Hi June et al, I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal. John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
Thanks John for the suggestion. @all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better. Thanks! June
On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com> wrote:
Hi June et al,
I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
Hello all, I think it would be interesting to hear from folks who are exploring hardware features which could enable or broaden the scope of formal reasoning about time protection [1]. The CFP’s list of topics could include research towards hardware which may be of interest to the seL4 community. [1] https://arxiv.org/pdf/1810.05345.pdf On Mon, Mar 14, 2022 at 1:13 AM June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Thanks John for the suggestion.
@all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better.
Thanks! June
On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com> wrote:
Hi June et al,
I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
Hi everyone -- I would like to hear about applications that have leveraged seL4 guarantees to achieve important application-level properties. How can seL4 proofs be connected to support proofs about safety/security-critical applications? Darren -----Original Message----- From: June Andronick (seL4 Foundation) <june@sel4.systems> Sent: Monday, March 14, 2022 3:13 AM To: John Launchbury <john@galois.com> Cc: summit-pc@sel4.systems; birgit@sel4.systems Subject: [External] [Summit-pc] Re: (seL4 summit) Task#1: themes/topics for CFP Thanks John for the suggestion. @all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better. Thanks! June
On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com> wrote:
Hi June et al,
I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
I like the idea of Birds of a Feather sessions. I think that it works best if there is someone responsible for leading/introducing topics in case discussion doesn't happen or isn't maintained organically. I'd be happy to contribute to that. Besides demo/advertising (which sounds more formal), I'd be interested in a "work in progress" session, a low hurdle session where people can present ideas, early stage work, show and tell something they've done, etc. Mentorship sounds like a good idea. It feels like that would combine well with, or could be an interesting alternative to, training. Another potential companion or alternative to training is a collaborative coding session (like a hackathon - I know everyone does these and it's a bit played out, but it might be interesting and fun for people to get together and work on a specific project together - So I'm thinking of something that's not a competition, nor with the intention of developing an impactful result, but more for the fun and social interaction of it) I think all the listed categories of talks are good. Another category of talks that I would be interested in would be "hardware" - things like seL4 ports to new hardware, new hardware features or architectures that could be interesting for seL4, proposals for hardware features that would work well with or improve seL4, etc. This also fits with John's suggestion. Beside hearing about seL4 in embedded systems, I'd also be interested to hear about seL4 in enterprise (server, cloud) systems. Ihor.
On 15 Mar 2022, at 20:05, Cofer, Darren D Collins via Summit-pc <summit-pc@sel4.systems> wrote:
Hi everyone --
I would like to hear about applications that have leveraged seL4 guarantees to achieve important application-level properties. How can seL4 proofs be connected to support proofs about safety/security-critical applications?
Darren
-----Original Message----- From: June Andronick (seL4 Foundation) <june@sel4.systems> Sent: Monday, March 14, 2022 3:13 AM To: John Launchbury <john@galois.com> Cc: summit-pc@sel4.systems; birgit@sel4.systems Subject: [External] [Summit-pc] Re: (seL4 summit) Task#1: themes/topics for CFP
Thanks John for the suggestion.
@all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better.
Thanks! June
On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com> wrote:
Hi June et al,
I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
Hi everyone, Some ideas: * Presentations about new/missing/next-gen kernel mechanisms that discuss existing limitations or opportunities presented by new/underutilized hardware mechanisms. * Presentations about verification engineering at scale or scaling verification productivity. * Similar to Darren's suggestion, presentations that explore what kinds of application-level security/safety properties you can achieve by leveraging seL4. * Any material about people's experiences trying to use seL4 and how they approached meeting any existing industry specific certification requirements . See you all tomorrow morning 🙂. Thanks, Kent. ________________________________ From: Ihor Kuz <ihor@kry10.com> Sent: Tuesday, March 15, 2022 10:26 PM To: June Andronick (seL4 Foundation) <june@sel4.systems> Cc: summit-pc@sel4.systems <summit-pc@sel4.systems>; birgit@sel4.systems <birgit@sel4.systems> Subject: [Summit-pc] Re: [External] Re: (seL4 summit) Task#1: themes/topics for CFP I like the idea of Birds of a Feather sessions. I think that it works best if there is someone responsible for leading/introducing topics in case discussion doesn't happen or isn't maintained organically. I'd be happy to contribute to that. Besides demo/advertising (which sounds more formal), I'd be interested in a "work in progress" session, a low hurdle session where people can present ideas, early stage work, show and tell something they've done, etc. Mentorship sounds like a good idea. It feels like that would combine well with, or could be an interesting alternative to, training. Another potential companion or alternative to training is a collaborative coding session (like a hackathon - I know everyone does these and it's a bit played out, but it might be interesting and fun for people to get together and work on a specific project together - So I'm thinking of something that's not a competition, nor with the intention of developing an impactful result, but more for the fun and social interaction of it) I think all the listed categories of talks are good. Another category of talks that I would be interested in would be "hardware" - things like seL4 ports to new hardware, new hardware features or architectures that could be interesting for seL4, proposals for hardware features that would work well with or improve seL4, etc. This also fits with John's suggestion. Beside hearing about seL4 in embedded systems, I'd also be interested to hear about seL4 in enterprise (server, cloud) systems. Ihor.
On 15 Mar 2022, at 20:05, Cofer, Darren D Collins via Summit-pc <summit-pc@sel4.systems> wrote:
Hi everyone --
I would like to hear about applications that have leveraged seL4 guarantees to achieve important application-level properties. How can seL4 proofs be connected to support proofs about safety/security-critical applications?
Darren
-----Original Message----- From: June Andronick (seL4 Foundation) <june@sel4.systems> Sent: Monday, March 14, 2022 3:13 AM To: John Launchbury <john@galois.com> Cc: summit-pc@sel4.systems; birgit@sel4.systems Subject: [External] [Summit-pc] Re: (seL4 summit) Task#1: themes/topics for CFP
Thanks John for the suggestion.
@all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better.
Thanks! June
On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com> wrote:
Hi June et al,
I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
Lots of good ideas on here already! I like the birds-of-a-feather idea. You could have a few example topics for them or those could be used as a way to do the hackathon that Ihor suggested. While this could technically be covered by one of the suggested topics, giving people the opportunity to just present their seL4 related roadmaps could be a good way to see what people plan to work on and when to help facilitate future collaboration. Thanks, Robbie From: Kent McLeod <kent@kry10.com> Sent: Tuesday, March 15, 2022 7:42 AM To: June Andronick (seL4 Foundation) <june@sel4.systems> Cc: summit-pc@sel4.systems; birgit@sel4.systems Subject: [Summit-pc] Re: [External] Re: (seL4 summit) Task#1: themes/topics for CFP CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. Hi everyone, Some ideas: * Presentations about new/missing/next-gen kernel mechanisms that discuss existing limitations or opportunities presented by new/underutilized hardware mechanisms. * Presentations about verification engineering at scale or scaling verification productivity. * Similar to Darren's suggestion, presentations that explore what kinds of application-level security/safety properties you can achieve by leveraging seL4. * Any material about people's experiences trying to use seL4 and how they approached meeting any existing industry specific certification requirements . See you all tomorrow morning 🙂. Thanks, Kent. ________________________________ From: Ihor Kuz <ihor@kry10.com<mailto:ihor@kry10.com>> Sent: Tuesday, March 15, 2022 10:26 PM To: June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> Cc: summit-pc@sel4.systems<mailto:summit-pc@sel4.systems> <summit-pc@sel4.systems<mailto:summit-pc@sel4.systems>>; birgit@sel4.systems<mailto:birgit@sel4.systems> <birgit@sel4.systems<mailto:birgit@sel4.systems>> Subject: [Summit-pc] Re: [External] Re: (seL4 summit) Task#1: themes/topics for CFP I like the idea of Birds of a Feather sessions. I think that it works best if there is someone responsible for leading/introducing topics in case discussion doesn't happen or isn't maintained organically. I'd be happy to contribute to that. Besides demo/advertising (which sounds more formal), I'd be interested in a "work in progress" session, a low hurdle session where people can present ideas, early stage work, show and tell something they've done, etc. Mentorship sounds like a good idea. It feels like that would combine well with, or could be an interesting alternative to, training. Another potential companion or alternative to training is a collaborative coding session (like a hackathon - I know everyone does these and it's a bit played out, but it might be interesting and fun for people to get together and work on a specific project together - So I'm thinking of something that's not a competition, nor with the intention of developing an impactful result, but more for the fun and social interaction of it) I think all the listed categories of talks are good. Another category of talks that I would be interested in would be "hardware" - things like seL4 ports to new hardware, new hardware features or architectures that could be interesting for seL4, proposals for hardware features that would work well with or improve seL4, etc. This also fits with John's suggestion. Beside hearing about seL4 in embedded systems, I'd also be interested to hear about seL4 in enterprise (server, cloud) systems. Ihor.
On 15 Mar 2022, at 20:05, Cofer, Darren D Collins via Summit-pc <summit-pc@sel4.systems<mailto:summit-pc@sel4.systems>> wrote:
Hi everyone --
I would like to hear about applications that have leveraged seL4 guarantees to achieve important application-level properties. How can seL4 proofs be connected to support proofs about safety/security-critical applications?
Darren
-----Original Message----- From: June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> Sent: Monday, March 14, 2022 3:13 AM To: John Launchbury <john@galois.com<mailto:john@galois.com>> Cc: summit-pc@sel4.systems<mailto:summit-pc@sel4.systems>; birgit@sel4.systems<mailto:birgit@sel4.systems> Subject: [External] [Summit-pc] Re: (seL4 summit) Task#1: themes/topics for CFP
Thanks John for the suggestion.
@all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better.
Thanks! June
On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com<mailto:john@galois.com>> wrote:
Hi June et al,
I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
John
On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> wrote:
Dear PC of the seL4 summit 2022,
Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience.
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.
The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education
**Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback:
- Keynotes: to be discussed in May.
- "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
- Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level.
- Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**.
- Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.**
- Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.**
**Any further comments/thoughts on the list above, or any new ideas is welcome.**
Let the discussion begin, which we'll finalise at the meeting next week.
Thanks all!
June _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems<mailto:summit-pc@sel4.systems> To unsubscribe send an email to summit-pc-leave@sel4.systems<mailto:summit-pc-leave@sel4.systems>
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems<mailto:summit-pc@sel4.systems> To unsubscribe send an email to summit-pc-leave@sel4.systems<mailto:summit-pc-leave@sel4.systems> _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems<mailto:summit-pc@sel4.systems> To unsubscribe send an email to summit-pc-leave@sel4.systems<mailto:summit-pc-leave@sel4.systems>
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems<mailto:summit-pc@sel4.systems> To unsubscribe send an email to summit-pc-leave@sel4.systems<mailto:summit-pc-leave@sel4.systems>
participants (7)
-
Cofer, Darren D Collins -
Ihor Kuz -
John Launchbury -
June Andronick (seL4 Foundation) -
Kent McLeod -
Nick Spinale -
Robert VanVossen