# Yiming Qiu [[University of Michigan]] 所属。[[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24)の筆頭著者。クラウド IaC のセマンティックチェック発掘を主導した。([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]]) - 本論文の参照([58])に、[[Ryan Beckett]]・[[Ang Chen]] との共著 "Synthesizing runtime programmable switch updates"(NSDI '23)があり、プログラマブルスイッチ更新の合成・ネットワーク検証の系譜から IaC へ移った構図がうかがえる。 - [[Lilac]]([[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]])の共著者でもあり、IaC のデプロイ前検証(Zodiac)から逆生成(lifting)へと、IaC ライフサイクルの別方向にも関わる。 - クラウド管理のビジョン論文 [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]](OSR 2025)の共同筆頭著者の一人。同論文では第 1 所属 [[University of Michigan]] に加え第 2 所属として [[University of California, Berkeley]] が併記される(著者中で唯一の二重所属)。 ## 関連 - ソース: [[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]] / [[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]] / [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]] - 所属: [[University of Michigan]] / [[University of California, Berkeley]] - 共著者: [[Patrick Tser Jern Kon]] / [[Ryan Beckett]] / [[Ang Chen]] / [[Jingjia Peng]] / [[Zhenning Yang]] - 概念: [[Infrastructure as Code]] / [[クラウド管理モダリティ]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]]