add summit program and abstracts#589
Draft
bbrcknl wants to merge 4 commits into
Draft
Conversation
bbrcknl
commented
Jun 26, 2026
bbrcknl
commented
Collaborator
- add 2026 summit program
- add abstracts
- minor changes to includes for formatting purposes
- add news item about program and abstracts
- add 2026 summit program - add abstracts - minor changes to includes for formatting purposes Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here The HTML5 validator found some issues! |
fix whitespace; fix id issues Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here The HTML5 validator found some issues! |
fix html errors Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here The link checker found some issues! The HTML5 validator found some issues! |
|
Preview your changes here |
june-andronick
approved these changes
Jun 26, 2026
june-andronick
left a comment
june-andronick
left a comment
Contributor
There was a problem hiding this comment.
Thanks for al this work!
I added some comments here and there.
One general one: do we have a way to know who's presenting when there are several authors? Can one be bold?
Thanks
| type = "" | ||
| title = "Formal Verification now in European Cyber Resiliency standard for OS" | ||
| presenter = "June Andronick" | ||
| affiliation = "Proofcraft" |
Contributor
There was a problem hiding this comment.
Suggested change
| affiliation = "Proofcraft" | |
| affiliation = "Proofcraft and seL4 Foundation" |
| type = "" | ||
| title = "seL4: What, Why, Who and Where?" | ||
| presenter = "June Andronick" | ||
| affiliation = "Proofcraft" |
Contributor
There was a problem hiding this comment.
Suggested change
| affiliation = "Proofcraft" | |
| affiliation = "Proofcraft and seL4 Foundation" |
| type = "" | ||
| title = "Formal Verification now in European Cyber Resiliency standard for OS" | ||
| presenter = "June Andronick" | ||
| affiliation = "Proofcraft" |
Contributor
There was a problem hiding this comment.
Suggested change
| affiliation = "Proofcraft" | |
| affiliation = "Proofcraft and seL4 Foundation" |
| The presentation reports on experiences gained while evaluating a mixed-criticality platform based on seL4 [2], [3]. The focus is on consolidating hard real-time, safety-critical protection and control functions with non-critical services on shared hardware, while preserving determinism and isolation. An architectural mechanism is also presented that enables software updates of non-safety-critical components without violating the isolation, timing, and trust assumptions of certified functions. This supports regulatory compliance while minimizing recertification effort. Based on this experience, the presentation discusses lessons learned, limitations, and open challenges encountered when implementing seL4 for such real-time, secured, and legacy-driven protection and control systems. | ||
| </p> | ||
| <p> | ||
| [1] Council of the European Union, “Regulation (EU) 2024/2847.” 2024. Available: https://eur-lex.europa.eu/eli/reg/2024/2847/oj |
Contributor
There was a problem hiding this comment.
can urls be actual links?
| Riverside Research presents an seL4 prototype called SKMS: Single Kernel Multicore seL4. SKMS is a proof-of-concept implementation of a previously proposed multicore microkernel architecture [1] for 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 usperspace 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 “proving” a version of seL4 that can schedule processes across many cores is presented for community feedback. | ||
| </p> | ||
| <p> | ||
| [1] Scott Brookes and Stephen Taylor. 2016. Rethinking operating system design: asymmetric multiprocessing for security and performance. In Proceedings of the 2016 New Security Paradigms Workshop (NSPW '16). Association for Computing Machinery, New York, NY, USA, 68–79. https://doi.org/10.1145/3011883.3011886 |
Contributor
There was a problem hiding this comment.
can urls be actual links?
| </h2> | ||
| <p>Poster sessions will held during lunch on Days 2 & 3.</p> | ||
| </div> | ||
| </div> |
Contributor
There was a problem hiding this comment.
(not critical / nice to have ) I like this section for Posters. Can we have similar sections for “Keynotes” and "Voices from Nearby”? Maybe with some links/buttons at the top?
| presenter = "Guangtao Zhu, Julia Vassiliki" | ||
| affiliation = "UNSW Sydney" | ||
| text = "abstracts/2026/rethinking-sel4-text-only.html" | ||
| %} |
Contributor
There was a problem hiding this comment.
(nice to have) can we have a link back to the program, eg “See Posters in program” under each Poster’s abstract?
| id = "p-panel" | ||
| time = "16:00 - 17:00" | ||
| type = "Panel" | ||
| title = "To be announced" |
Contributor
There was a problem hiding this comment.
Suggested change
| title = "To be announced" | |
| title = "Panel (topic to be announced)" |
| </p> | ||
| <p> | ||
| The 2026 edition of the seL4 summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. The event will offer an ideal opportunity for people new to seL4 or who are still developing their familiarity to gain a high-level view of the landscape and ecosystem. | ||
| </p> |
Contributor
There was a problem hiding this comment.
The [program] of the [seL4 Summit 2026] is now available!
The 2026 edition of the seL4 summit features a full first day dedicated to high-level overviews and perspectives, followed by Days 2 and 3 focusing on more technical insights and updates. Have a look at the [abstracts] from our exciting keynotes and voices-from-nearby presenters, and the great line-up of interesting seL4-related research, development, field reports and technical discussions.
The event will offer an ideal opportunity for people new to seL4 and to formally verified systems to increase their understanding of the landscape and ecosystem, and meet with seL4 developers, adopters and enthusiasts. Don't forget to [register] and see you soon in Vancouver.
| The 2026 edition of the seL4 summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. The event will offer an ideal opportunity for people new to seL4 or who are still developing their familiarity to gain a high-level view of the landscape and ecosystem. | ||
| </p> | ||
| <p> | ||
| Also, check out the <a href="{{ '/Summit/2026/program.html#social' | relative_url }}">informal social activities</a> on 31 August. |
Contributor
There was a problem hiding this comment.
(Maybe not needed here)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.