# 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]])と共同。 - Orion([[@2008__OSDI__Automating Network Application Dependency Discovery - Experiences, Limitations, and New Solutions]], OSDI '08): エンタープライズネットワーク依存性自動発見。[[Xu Chen]]・[[Z. Morley Mao]] が所属し [[Microsoft Research]] と共同開発。 - [[TrainCheck]]([[@2025__OSDI__Training with Confidence - Catching Silent Errors in Deep Learning Training with Automated Proactive Checks]], OSDI '25): DL 訓練サイレントエラー検知。[[OrderLab]](PI: [[Peng Huang]])、筆頭著者 [[Yuxuan Jiang]]。訓練不変条件の自動推論・継続検証による実運用向けフレームワーク。 ## 関連 - ソース: [[@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]] / [[@2008__OSDI__Automating Network Application Dependency Discovery - Experiences, Limitations, and New Solutions]] - 所属研究者: [[Ang Chen]] / [[Yiming Qiu]] / [[Patrick Tser Jern Kon]] / [[Zhenning Yang]] / [[Jingjia Peng]] / [[Archit Bhatnagar]] / [[Tongyuan Miao]] / [[Yunming Xiao]] / [[Yibo Huang]] / [[Xu Chen]] / [[Z. Morley Mao]] / [[Peng Huang]] / [[Yuxuan Jiang]] - 関連プロダクト: [[Zodiac]] / [[NSync]] / [[Lilac]] / [[TrainCheck]] - 関連研究室: [[OrderLab]] - 関連組織: [[Amazon Web Services]] / [[University of California, San Diego]] / [[University of California, Berkeley]] / [[Andreessen Horowitz]] / [[Microsoft Research]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]]