| Kangrejos |
13 Sept 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 Sept 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 Sept 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 |