# University of Michigan 米国 Ann Arbor の研究大学(UMich)。[[Ang Chen]] のグループがクラウド IaC × LLM エージェント研究を牽引し、本 wiki の IaC 系ソースの主所属。 - [[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24): IaC のセマンティックチェック発掘。4 著者のうち [[Yiming Qiu]]・[[Patrick Tser Jern Kon]]・[[Ang Chen]] の 3 名が所属([[Ryan Beckett]] のみ [[Microsoft]])。 - [[NSync]]([[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]]): IaC reconciliation。[[Amazon Web Services]] との共同。 - [[Lilac]]([[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]]): IaC lifting。[[University of California, San Diego]] との共同。Zodiac の [[Yiming Qiu]]・[[Patrick Tser Jern Kon]] が再び共著。 デプロイ前検証(Zodiac)・逆生成(Lilac)・drift 修復(NSync)という IaC ライフサイクルの 3 方向を、同一研究室が LLM + symbolic で並行して攻めている。 - [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]](OSR 2025): 上記 IaC 研究群を「SDK・CLI・IaC・ClickOps の 4 [[クラウド管理モダリティ]]」へ一般化するビジョン論文。著者 9 名のうち [[Yibo Huang]]・[[Yunming Xiao]]・[[Tongyuan Miao]]・[[Archit Bhatnagar]] を含む 8 名が当大学所属で、[[University of California, Berkeley]](Yiming Qiu の第 2 所属)・[[Andreessen Horowitz]]([[Martin Casado]])と共同。 ## 関連 - ソース: [[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]] / [[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]] / [[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]] / [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]] - 所属研究者: [[Ang Chen]] / [[Yiming Qiu]] / [[Patrick Tser Jern Kon]] / [[Zhenning Yang]] / [[Jingjia Peng]] / [[Archit Bhatnagar]] / [[Tongyuan Miao]] / [[Yunming Xiao]] / [[Yibo Huang]] - 関連プロダクト: [[Zodiac]] / [[NSync]] / [[Lilac]] - 関連組織: [[Amazon Web Services]] / [[University of California, San Diego]] / [[University of California, Berkeley]] / [[Andreessen Horowitz]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]]