-
10:00
Security Features status update
-
Justin Stitt
(Google)
Kees Cook
(Google)
-
10:30
Compiler-Based Context Analysis for Compile-Time Lock Safety
-
Marco Elver
(Google)
-
11:00
BPF support in the GNU Toolchain
-
Cupertino Miranda
David Faust
Jose E. Marchesi
(GNU Project, Oracle Inc.)
Vineet Gupta
-
12:00
Are your types the same as mine?
-
Kris Van Hees
(Oracle USA)
-
12:30
Towards real-time ABI compatibility assurance and smarter module versioning with libctf
-
Nick Alcock
-
13:00
Adding C library wrappers for all Linux syscalls - The Return
-
Carlos O'Donell
(Red Hat)
Florian Weimer
(Red Hat)
-
15:00
Advancing PGO, AutoFDO, and Propeller in the Linux Kernel
-
Rong Xu
(Google)
-
15:30
Upgrading Runtime Leaks to Compile-Time Errors: Adopting Clang’s require_explicit_initialization
-
Ian Rogers
(Google)
-
16:00
Kage: device driver isolation in the Linux kernel with LFI
-
Zachary Yedidia
(Stanford University and Google)
-
17:00
GCC Rust support for Linux
-
David Edelsohn
(NVIDIA)
Philip Herron
(Embecosm)
-
17:30
Crossing borders between user space and kernel space: GDB/Valgrind/drgn close cooperation
-
Alexandra Petlanova Hajkova
-
17:45
Beyond Coverage: Per-Task Function Boundary Extraction for Kernel Contract Verification
-
Yunseong Kim
(Ericsson Software Technology)