LPC2019 - Formal verification made easy (and fast)!

(1:9:1econd)

Kernel Recipes 2019 - Formal modeling made easy

(55:11)

LPC2019 - Integration of PM-runtime with System-wide Power Management

(44:43)

LPC2019 - The list is our process: An analysis of the kernel's email-based development process

(46:45)

LPC2019 - Tracing MC

(3:4:18)

LPC2019 - Toolchains - MC

(3:14:24)

LPC2019 - Real Time - MC

(2:55:20)

LPC 2020 - LLVM MC

(4:38:37)

Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18

(31:9)

LPC2019 - VFIO/IOMMU/PCI MC

(3:19:5)

LPC 2021 - BPF \u0026 Networking Summit

(7:5:42)

Mentorship Session: Demystifying the Linux Kernel Security Process

(1:10:15)

Mentorship Session: Fuzzing the Linux Kernel

(1:21:43)

Keynote: Formal Methods at Microsoft - Nikolaj Bjørner

(56:30)

LPC2018 - eBPF / XDP Based Firewall and Packet Filtering

(35:42)

2019 EuroLLVM Developers’ Meeting: M. Clow “Changes to the C++ standard library for C++20”

(29:1econd)

Marshall Lochbaum Outer Product as an Introduction to APL and a Pretty Cool Thing in General

(2:25:12)

LPC2019 - Deep Argument Inspection and Seccomp

(33:46)

LPC2019 - Power Management \u0026 Thermal - MC

(2:53:6)

LPC2019 - BPF - MC

(3:11:9)

LPC2019 - Testing and Fuzzing - MC

(3:8:51)

Formal Verification of High-Level Synthesis

(15:)

Formal verification of higher-order probabilistic programs by Marco Gaboardi

(1:11:53)

LPC2019 - RDMA - MC

(3:11:34)

LPC2019 - Multipath TCP Upstreaming

(46:37)

Cryptography and Formal Methods

(1:58)

LPC2019 - Scheduler MC

(3:1:14)