Sveriges mest populära poddar
Type Theory Forall
Type Theory Forall

#27 Formalizing an OS: The seL4 - Gerwin Klein

1 tim 59 min•4 februari 2023

Om avsnittet

In this episode talk with Gerwin Klein about the formal verification of the microkernel seL4 which was done using Isabelle at NICTA / Data61 in Australia. We also talk a little about his PhD Project veryfing a piece of the Java Virtual Machine.

Links

Fler avsnitt

Visa alla avsnitt av Type Theory Forall

#64 PL Education in the Age of AI - Shriram Krishnamurthi

2 tim 44 min

#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

1 tim 46 min

#62 Dependent Haskell - Vladislav Zavialov

2 tim 5 min

#61 Zurihac Behind the Scenes - Farhad Mehta

2 tim 19 min

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

1 tim 53 min

#59 Category Theory and Inclusivity - Valeria de Paiva

2 tim 47 min

#58 Constructivism and Computational Content - Andrej Bauer

2 tim 19 min

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

59 min

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

1 tim 36 min

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

2 tim 38 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.