Turing Complete FMはRui Ueyamaによるプログラミングについてのポッドキャストです。
16. プログラムの静的検証、システムズプログラミングの論文
ゲスト: うどん (@kw_udon_)
うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。

速度 x1.0 (遅く / 速く) -15秒 / -5秒 / +5秒 / +15秒
この時点にリンク
0:00イントロ
1:33Patreon
2:52Wikipediaに寄付するとどうなるか
7:57セキュキャン2018の講師やります
13:09プログラム検証とは何か
18:38Rustは型システムによってコンパイル時に安全性を検証できる
22:16線形論理と線形型
26:29定理証明支援系Coq
39:25関数型プログラミング言語に対するモデル検査
44:04プログラミング言語の研究が応用されるまでには時間がかかる
48:17Misreading Chat
49:38Stanford CS240
52:05「悪いほうが良い」エッセイ
56:41Eraserによる動的エラー検出
1:03:23割り込みハンドラが忙しすぎてマシンがハングアップする問題を解決する論文
1:09:23VMware ESXのメモリ管理の論文
1:20:03MicrosoftのMidori OS
1:21:29TCFMの話題のバリエーションについて
1:23:28ガラケーを自動操作するデバイスを自作