Kangrejos (13-15 September 2021) · Indico

Kangrejos

from Monday, 13 September 2021 (09:00) to Wednesday, 15 September 2021 (12:30)

Monday, 13 September 2021
09:00 Kangrejos day 1
Kangrejos day 1
09:00 - 12:30
Room: Refereed Track/Virtual-Room
Contributions

09:00 Kickstart talk: Rust for Linux - Miguel Ojeda

10:00 Discussion

11:00 Invited talk: High velocity kernel modules in Rust with Bento - Samantha Miller

11:45 Invited talk: How can we formally verify Rust for Linux? - Alastair Reid
Tuesday, 14 September 2021
09:00 Kangrejos day 2
Kangrejos day 2
09:00 - 12:30
Room: Refereed Track/Virtual-Room
Contributions

09:00 Kickstart talk: Rust key concepts for the Linux kernel (I) - Miguel Ojeda

10:00 Discussion

11:00 Invited talk: The Thread wrapper for Rust in Linux kernel - Boqun Feng

11:45 Invited talk: Implementing the Iterator trait for seq_file - Adam Bratschi-Kaye
Wednesday, 15 September 2021
09:00 Kangrejos day 3
Kangrejos day 3
09:00 - 12:30
Room: Refereed Track/Virtual-Room
Contributions

09:00 Kickstart talk: Rust key concepts for the Linux kernel (II) - Wedson Almeida Filho

10:00 Discussion

11:00 Invited talk: Writing an embedded SPI-based Linux driver in Rust - Arthur Cohen Esteban Blanc Martin Schmidt