Kangrejos (13-September 15, 2021) · Indico

Kangrejos

from Monday, September 13, 2021 (9:00 AM) to Wednesday, September 15, 2021 (12:30 PM)

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

9:00 AM Kickstart talk: Rust for Linux - Miguel Ojeda

10:00 AM Discussion

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

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

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

10:00 AM Discussion

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

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

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

10:00 AM Discussion

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