Summit slides videos posters photos

REUSE.toml

@@ -94,6 +94,7 @@ SPDX-License-Identifier = "CC-BY-SA-4.0"
 path = [
   "_includes/abstracts/*/*.html",
   "Summit/*/slides/*.pdf",
+  "Summit/*/posters/*.pdf",
 ]
 SPDX-FileCopyrightText = "Various. Each abstract and slide set is copyright of the talk author."
 SPDX-License-Identifier = "CC-BY-SA-4.0"

Summit/2026/abstracts2026.html

@@ -35,6 +35,8 @@
   presenter = "Martin Dehnel-Wild"
   affiliation = "Kry10"
   text = "abstracts/2026/proof-product-text-only.html"
+  slides = "slides/proof-product.pdf"
+  youtube = "https://youtu.be/u9jClxwVUm8?si=JKaw32vohCU5MuPy"
 %}
 
 {% include abstract-item.html
@@ -45,6 +47,8 @@
   presenter = "Anjana Rajan"
   affiliation = "Atalanta"
   text = "abstracts/2026/age-software-text-only.html"
+  slides = "slides/age-software.pdf"
+  youtube = "https://youtu.be/KfN00MYrFzQ?si=4_0SNB4-5SHz6jbx"
 %}
 
 {% include abstract-heading.html
@@ -60,6 +64,7 @@
   presenter = "Alistair Woodman"
   affiliation = "Erlang Ecosystem Foundation"
   text = "abstracts/2026/staying-red-text-only.html"
+  youtube = "https://youtu.be/zmxTnb2kw1g?si=xGA5JIG9YpoElBap"
 %}
 
 {% include abstract-item.html
@@ -70,6 +75,8 @@
   presenter = "David Hardin"
   affiliation = "Collins Aerospace"
   text = "abstracts/2026/trends-formal-text-only.html"
+  slides = "slides/trends-formal.pdf"
+  youtube = "https://youtu.be/6sxS06RJTzE?si=8ffsESNHgglD2VYN"
 %}
 
 {% include abstract-heading.html
@@ -92,6 +99,7 @@
         '
   abstract = "abstracts2026.html#a-panel"
   text = "abstracts/2026/panel-text-only.html"
+  youtube = "https://youtu.be/jAirEkULNsQ?si=ZkPxzFXNgK1lR0S-"
 %}
 
 {% include abstract-heading.html
@@ -107,6 +115,8 @@
   presenter = "June Andronick"
   affiliation = "Proofcraft and seL4 Foundation"
   text = "abstracts/2026/sel4-what-text-only.html"
+  slides = "slides/sel4-what.pdf"
+  youtube = "https://youtu.be/dF2qJdiaO4A?si=s25sdXgqAGj9yV1r"
 %}
 
 {% include abstract-item.html
@@ -117,6 +127,8 @@
   presenter = "Adam W1"
   affiliation = "NCSC"
   text = "abstracts/2026/ncsc-text-only.html"
+  slides = "slides/ncsc.pdf"
+  youtube = "https://youtu.be/KB64yT9nBUU?si=YmsZMM3_6_EZx5DB"
 %}
 
 {% include abstract-item.html
@@ -127,6 +139,8 @@
   presenter = "Ihor Kuz"
   affiliation = "Kry10"
   text = "abstracts/2026/kry10-os-text-only.html"
+  slides = "slides/kry10-os.pdf"
+  youtube = "https://youtu.be/0orNdV7DVAs?si=2D5QY8E8vB23Zqhh"
 %}
 
 {% include abstract-item.html
@@ -137,6 +151,8 @@
   presenter = "Jonathan Marshall"
   affiliation = "SafeShark"
   text = "abstracts/2026/navigating-cyber-text-only.html"
+  slides = "slides/navigating-cyber.pdf"
+  youtube = "https://youtu.be/WTA15_NBuMY?si=ARAIAl_MOjGvRzCO"
 %}
 
 {% include abstract-item.html
@@ -147,6 +163,8 @@
   presenter = "June Andronick"
   affiliation = "Proofcraft and seL4 Foundation"
   text = "abstracts/2026/formal-verification-text-only.html"
+  slides = "slides/formal-verification.pdf"
+  youtube = "https://youtu.be/JZ0XGySYX1c?si=bk_K7sydl89HhzoH"
 %}
 
 {% include abstract-item.html
@@ -157,6 +175,8 @@
   presenter = "Robbie VanVossen"
   affiliation = "Dornerworks"
   text = "abstracts/2026/cyber-hardened-text-only.html"
+  slides = "slides/cyber-hardened.pdf"
+  youtube = "https://youtu.be/mp2QJ9_GlG8?si=JQBZLL7--O6AWeZj"
 %}
 
 {% include abstract-item.html
@@ -167,6 +187,8 @@
   presenter = "Nathan Studer"
   affiliation = "Dornerworks"
   text = "abstracts/2026/throwing-sel4-text-only.html"
+  slides = "slides/throwing-sel4.pdf"
+  youtube = "https://youtu.be/DA6duKrxSN4?si=d_PDUdjwlcN2ob-A"
 %}
 
 {% include abstract-item.html
@@ -178,6 +200,8 @@
   affiliation = "Trusted Science and Technology (Trusted ST)"
   info = "<br><span class='text-dark text-sm sm:text-base'>Paul Pazandak,</span><br><span class='text-light text-sm sm:text-base'>Real-Time Innovations (RTI)</span>"
   text = "abstracts/2026/assured-robotics-text-only.html"
+  slides = "slides/assured-robotics.pdf"
+  youtube = "https://youtu.be/BBmW6RosnV8?si=0XRtUtZz30bFdADu"
 %}
 
 {% include abstract-item.html
@@ -188,6 +212,8 @@
   presenter = "Philipp Scholl"
   affiliation = "ABB Corporate Research"
   text = "abstracts/2026/evolving-legacy-text-only.html"
+  slides = "slides/evolving-legacy.pdf"
+  youtube = "https://youtu.be/LbQRX0uBs1E?si=d8ReXNmYzlS-tyvX"
 %}
 
 {% include abstract-item.html
@@ -198,6 +224,8 @@
   presenter = "Nils Brand"
   affiliation = "Fraunhofer IESE"
   text = "abstracts/2026/tsdx-text-only.html"
+  slides = "slides/tsdx.pdf"
+  youtube = "https://youtu.be/rqxFbrnAAb0?si=IfFaixARz_cfBXkQ"
 %}
 
 {% include abstract-item.html
@@ -208,6 +236,8 @@
   presenter = "Ryan Barry"
   affiliation = "Proofcraft"
   text = "abstracts/2026/sel4-security-text-only.html"
+  slides = "slides/sel4-security.pdf"
+  youtube = "https://youtu.be/y6_lAgqqcBo?si=79qnJeSbTPCCxNeI"
 %}
 
 {% include abstract-item.html
@@ -218,6 +248,8 @@
   presenter = "Gernot Heiser"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/trustworthy-systems-text-only.html"
+  slides = "slides/trustworthy-systems.pdf"
+  youtube = "https://youtu.be/iwjZ2zdqnTY?si=Lg2DrESoUikpYcpt"
 %}
 
 {% include abstract-item.html
@@ -228,6 +260,8 @@
   presenter = "Rob Sison"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/time-protection-text-only.html"
+  slides = "slides/time-protection.pdf"
+  youtube = "https://youtu.be/OpFlTLtLNwM?si=6jf_WXxBUeIDbo8p"
 %}
 
 {% include abstract-item.html
@@ -238,6 +272,8 @@
   presenter = "Miki Tanaka"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/pancake-text-only.html"
+  slides = "slides/pancake.pdf"
+  youtube = "https://youtu.be/xdMnlcZrOS4?si=R5oWyyDNNk3AmJ9v"
 %}
 
 {% include abstract-item.html
@@ -248,6 +284,8 @@
   presenter = "Gus O'Hanley"
   affiliation = "Galois"
   text = "abstracts/2026/verifying-sel4-text-only.html"
+  slides = "slides/verifying-sel4.pdf"
+  youtube = "https://youtu.be/p8dO5xXuE4U?si=EXKSdLk1odgSs-t6"
 %}
 
 {% include abstract-item.html
@@ -258,6 +296,8 @@
   presenter = "Liam Murphy"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/formalising-device-text-only.html"
+  slides = "slides/formalising-device.pdf"
+  youtube = "https://youtu.be/BseyKnmVRlk?si=WcArERdgavUNDhrp"
 %}
 
 {% include abstract-item.html
@@ -268,6 +308,8 @@
   presenter = "Daniel Neshyba-Rowe"
   affiliation = "Lewis & Clark College"
   text = "abstracts/2026/verification-udp-text-only.html"
+  slides = "slides/verification-udp.pdf"
+  youtube = "https://youtu.be/mRIyOmu7OBg?si=EFP0g2zrqVW3jk22"
 %}
 
 {% include abstract-item.html
@@ -278,6 +320,8 @@
   presenter = "Lesley Rossouw"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/simplifying-microkit-text-only.html"
+  slides = "slides/simplifying-microkit.pdf"
+  youtube = "https://youtu.be/9JK9P4k_08w?si=llkPEzX_dHm5PtmC"
 %}
 
 {% include abstract-item.html
@@ -288,6 +332,8 @@
   presenter = "Daniel Schwyn"
   affiliation = "Neutrality"
   text = "abstracts/2026/policy-free-text-only.html"
+  slides = "slides/policy-free.pdf"
+  youtube = "https://youtu.be/v0An0l3kIHc?si=6KTZu7NRAdGZck3L"
 %}
 
 {% include abstract-item.html
@@ -298,6 +344,8 @@
   presenter = "Guangtao Zhu"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/carrels-text-only.html"
+  slides = "slides/carrels.pdf"
+  youtube = "https://youtu.be/MqxP5Z8qUw4?si=frEPSiF4mChz5A25"
 %}
 
 {% include abstract-item.html
@@ -308,6 +356,8 @@
   presenter = "Scott Brookes, Gordon Stewart, David Swasey"
   affiliation = "Riverside Research"
   text = "abstracts/2026/single-kernel-text-only.html"
+  slides = "slides/single-kernel.pdf"
+  youtube = "https://youtu.be/W5CeUUCoS7o?si=yxy4oLCVznoZsozd"
 %}
 
 {% include abstract-item.html
@@ -318,6 +368,8 @@
   presenter = "Bill Nguyen"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/booting-windows-text-only.html"
+  slides = "slides/booting-windows.pdf"
+  youtube = "https://youtu.be/-8GFIiVdSUY?si=HF0Y19mAiYUbBrbB"
 %}
 
 {% include abstract-item.html
@@ -328,6 +380,7 @@
   presenter = "Laure Millet"
   affiliation = "Critical Systems Labs Inc."
   text = "abstracts/2026/from-formal-text-only.html"
+  youtube = "https://youtu.be/0_xJtZ9hTIQ?si=OylggG3S_nHeEq0p"
 %}
 
 {% include abstract-item.html
@@ -338,6 +391,8 @@
   presenter = "John Hatcliff"
   affiliation = "Kansas State University"
   text = "abstracts/2026/rigorous-agentic-text-only.html"
+  slides = "slides/rigorous-agentic.pdf"
+  youtube = "https://youtu.be/fP8jA9T0C9c?si=hmuN-9AbxTuq3Fuo"
 %}
 
 {% include abstract-item.html
@@ -348,6 +403,8 @@
   presenter = "Lesley Rossouw"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/modelling-performance-text-only.html"
+  slides = "slides/modelling-performance.pdf"
+  youtube = "https://youtu.be/leO2IxJ-X3k?si=fIXS6k5zJ7Od-uR9"
 %}
 
 {% include abstract-item.html
@@ -356,8 +413,9 @@
   type = "Talk"
   title = "Building safe display diodes with seL4"
   presenter = "Andrew Ruef"
-  affiliation = "Institute for Defense Analyses"
+  affiliation = "Inflection Points"
   text = "abstracts/2026/building-safe-text-only.html"
+  youtube = "https://youtu.be/mZ2KQ-Twvv8?si=ZYLJHaFaC6i_zEao"
 %}
 
 {% include abstract-item.html
@@ -368,6 +426,8 @@
   presenter = "Guangtao Zhu"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/efficient-user-level-text-only.html"
+  slides = "slides/efficient-user-level.pdf"
+  youtube = "https://youtu.be/0rB9rhGrJew?si=yzYOfe3EPYRdkT34"
 %}
 
 {% include abstract-heading.html
@@ -381,59 +441,67 @@
   presenter = "Guangtao Zhu"
   affiliation = "UNSW Sydney"
   text = "abstracts/2026/rethinking-sel4-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/rethinking-sel4.pdf"
 %}
 
 {% include abstract-item.html
   title = "Binary Verification for seL4"
   presenter = "Nick Spinale"
   affiliation = "Colias Group"
   text = "abstracts/2026/binary-verification-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/binary-verification.pdf"
 %}
 
 {% include abstract-item.html
   title = "Updates on Confidential Computing with seL4"
   presenter = "Alexander Weidinger"
   affiliation = "Fraunhofer AISEC"
   text = "abstracts/2026/updates-confidential-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/updates-confidential.pdf"
 %}
 
 {% include abstract-item.html
   title = "VM Composer Poster"
   presenter = "Robbie VanVossen"
   affiliation = "Dornerworks"
   text = "abstracts/2026/vm-composer-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/vm-composer.pdf"
 %}
 
 {% include abstract-item.html
   title = "TCCoE Overview & Update 2026"
   presenter = "Stuart Card"
   affiliation = "Critical Technologies Inc."
   text = "abstracts/2026/tccoe-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/tccoe.pdf"
 %}
 
 {% include abstract-item.html
   title = "NIO's SkyOS product line"
   presenter = "Yanyan Shen"
   affiliation = "NIO"
   text = "abstracts/2026/skyos-text-only.html"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/skyos.pdf"
 %}
 
 {% include abstract-item.html
   title = "OT Network Guard"
   presenter = "Martin Dehnel-Wild"
   affiliation = "Kry10"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/ot-network.pdf"
 %}
 
 {% include abstract-item.html
   title = "Join the seL4 Foundation today!"
   presenter = "June Andronick"
   affiliation = "Proofcraft and seL4 Foundation"
-  posters = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  postersession = "See Posters in program -  <a href='program.html#p-posters-day2'><span class='underline'>Day 2</span></a>, <a href='program.html#p-posters-day3'><span class='underline'>Day 3</span></a>"
+  poster = "posters/join-foundation.pdf"
 %}