Sep 13 – 15, 2021
LPC Virtual
US/Mountain timezone
Kangrejos

Sep 13, 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

Sep 14, 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

Sep 15, 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
Esteban Blanc, Arthur Cohen, Martin Schmidt
Refereed Track/Virtual-Room