13-15 September 2021
LPC Virtual
US/Mountain timezone
Kangrejos

13 Sep 2021

Time Refereed Track/Virtual-Room
09:00 Kickstart talk: Rust for Linux
Miguel Ojeda
Refereed Track/Virtual-Room
10:00 Discussion
Refereed Track/Virtual-Room
10:30 Break
11:00 Invited talk: High velocity kernel modules in Rust with Bento
Samantha Miller
Refereed Track/Virtual-Room
11:45 Invited talk: How can we formally verify Rust for Linux?
Alastair Reid
Refereed Track/Virtual-Room

14 Sep 2021

Time Refereed Track/Virtual-Room
09:00 Kickstart talk: Rust key concepts for the Linux kernel (I)
Miguel Ojeda
Refereed Track/Virtual-Room
10:00 Discussion
Refereed Track/Virtual-Room
10:30 Break
11:00 Invited talk: The Thread wrapper for Rust in Linux kernel
Boqun Feng
Refereed Track/Virtual-Room
11:45 Invited talk: Implementing the Iterator trait for seq_file
Adam Bratschi-Kaye
Refereed Track/Virtual-Room

15 Sep 2021

Time Refereed Track/Virtual-Room
09:00 Kickstart talk: Rust key concepts for the Linux kernel (II)
Wedson Almeida Filho
Refereed Track/Virtual-Room
10:00 Discussion
Refereed Track/Virtual-Room
10:30 Break
11:00 Invited talk: Writing an embedded SPI-based Linux driver in Rust
Martin Schmidt, Arthur Cohen, Esteban Blanc
Refereed Track/Virtual-Room