14th USENIX Symposium on Operating Systems Design and Implementation で個人的に興味のある論文の一覧です。概ね興味の順番にソートしてあります。 最近のシステム系国際会議は分野が発散してきているので、興味のある分野に絞ったリストを作ることが必要そうです(それでも数が多いですが)。 目次 概要 論文リスト OS系 安全なオペレーティングシステムにおける隔離と通信 Theseus:OSの構造と状態管理の実験 カーネル内仮想マシンのためのジャスト・イン・タイム・コンパイラの仕様、実装及び検証 OSの抽象化はFPGA上で意味があるか? …