# Ryan Beckett [[Microsoft]] 所属。[[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24)の唯一の Microsoft 側著者。ネットワーク構成検証の研究で知られ、本論文でも設定マイニングとデプロイ検証に形式手法の知見を持ち込んでいる。([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]]) - 本論文の参照に Beckett 自身の代表的研究が複数挙がる: "A general approach to network configuration verification"(SIGCOMM '17, 参照 [36])、"Formal methods for network performance analysis"(NSDI '23, 参照 [33])、[[Yiming Qiu]] らとの "Synthesizing runtime programmable switch updates"(NSDI '23, 参照 [58])。ネットワーク制御プレーン検証から、クラウド IaC の構成検証へ問題領域を広げた系譜が読み取れる。 ## 関連 - ソース: [[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]] - 所属: [[Microsoft]] - 共著者: [[Yiming Qiu]] / [[Patrick Tser Jern Kon]] / [[Ang Chen]] - 関連プロダクト: [[Zodiac]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]]