Xen Summit 2026

Xen Summit 2026

arrow_back View All Dates

9:00am PDT

Robots Among Us: a Least-Privilege Xen Architecture for Safe Humanoid Robots HEADS office - Gold Room

9:30am PDT

Toward Reproducible OSS Reference Integration: Challenges in Automotive Xen-on-Arm BSP Integration HEADS office - Gold Room

10:00am PDT

ARINC 653 on Xen: A Unikraft Safety Architecture HEADS office - Gold Room

10:30am PDT

Morning Coffee Break HEADS office - Gold Room

10:45am PDT

Managing per-guest resources in Xen HEADS office - Gold Room

11:15am PDT

Secure Inter-Domain Communication: Implementing VSOCK over Xen Argo HEADS office - Gold Room

11:45am PDT

Improving Xen Traceability: More Than Just Livepatching HEADS office - Gold Room

12:15pm PDT

Compiler assisted Xen code elimination HEADS office - Gold Room

12:45pm PDT

Lunch Break HEADS office - Gold Room

1:45pm PDT

Xen Functional Safety Certification (an update) HEADS office - Gold Room

2:15pm PDT

Flight-Grade Xen: DO-178C Reverse Engineering for an example in list.h HEADS office - Gold Room

2:45pm PDT

Safety Cases as Data: The SPDX Functional Safety Profile and Lessons from Zephyr HEADS office - Gold Room

3:15pm PDT

Formal Methods for Xen's Safety and Security HEADS office - Gold Room

3:45pm PDT

Afternoon Coffee Break HEADS office - Gold Room

4:00pm PDT

Display Para-Virtualization HEADS office - Gold Room

4:30pm PDT

Preparing Xen on Arm for VHE-Always Hardware HEADS office - Gold Room

5:00pm PDT

Xen on RISC-V: From Dom0less to xl HEADS office - Gold Room

6:00pm PDT

Xen Project Social Dinner Social Dinner - TBD