1 - 3 September | Vancouver, Canada BC View More Details & Registration The schedule is subject to change, so please check back before the event for the most up-to-date information.
Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.
Sign up or log in to add sessions to your schedule and sync them to your phone or calendar.
This talk will give an overview of the (systems) research and development activities at UNSW Sydney’s Trustworthy Systems (TS) group. It will provide the context for the other TS talks that follow, and will provide details of the activities not covered by separate talks, including:
- Microkit, driver framework and LionsOS progress - performance analysis of the seL4 SMP kernel vs the multikernel - re-establishing seL4’s worst-case execution time (WCET) analysis for the 64-bit MCS kernel on RISC-V - establishing sound instruction-latency bounds for WCET analysis - work on a clean model for IOMMU support - ... and whatever exciting things that happened in the meantime. Updates on verification work will be provided by Miki Tanaka and Rob Sison in their talks.
