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 |