Lpc2018 Formal Methods For Kernel

url: https://linuxplumbersconf.org/event/2/contributions/60/ speaker: Catalin Marinas

https://linuxplumbersconf.org/event/2/sessions/30/#20181115 The main purpose of the Linux Plumbers 2018 Live

As part of the TMPA-2021 conference, Alexey Khoroshilov, Lead Researcher at Ivannikov Institute for System Programming of the ...

Slides: https://speakerdeck.com/efremov/

url: https://linuxplumbersconf.org/event/2/contributions/66/ speaker: Jason Donenfeld WireGuard [1] [2] is a new network tunneling ...

[Full Presentation] An I/O Separation Model for

Dr. Leemon Baird will present an introduction to how mathematical proofs can be checked by a computer, and how this can be ...

url: https://linuxplumbersconf.org/event/2/contributions/65/ speaker: Vlastimil Babka (SUSE) The physical memory management in ...

url: https://linuxplumbersconf.org/event/2/contributions/256/ speaker: Nick Desaulniers (Google)

Modeling parts of Linux has become a recurring topic. For instance, the memory model, the model for PREEMPT_RT ...

url: https://linuxplumbersconf.org/event/2/contributions/59/ speaker: Dan Williams (Intel) The first rule of

The closing event at the 2018 Linux Plumbers Conference (LPC) was led by Elena Zannoni (

Formal

url: https://linuxplumbersconf.org/event/2/contributions/249/ speaker: Ashish Bijlani (Georgia Institute of Technology)

url: https://linuxplumbersconf.org/event/2/contributions/100/ speaker: Anant Deepak (Facebook), Puneet Mehra (Facebook), ...

https://linuxplumbersconf.org/event/2/sessions/33/#20181114 The GNU Toolchain and Clang/LLVM play a critical role at the ...

url: https://linuxplumbersconf.org/event/2/contributions/80/ speaker: Mike Rapoport It is well known that developers do not like ...