# Patrick Tser Jern Kon [[University of Michigan]] 所属。[[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24)の第 2 著者。本人の公開ページ(cs-pk.com)を運営し、グループの preprint を公開している([[Lilac]] の PDF もここで配布)。([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]]) - [[Lilac]]([[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]])の共著者でもある。 - クラウド管理のビジョン論文 [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]](OSR 2025)の共著者。同論文の参照 [20] IaC-Eval(クラウド IaC の code generation ベンチマーク, NeurIPS 2024)・[30] cloudless computing(HotNets '23)にも名を連ね、IaC 単体から 4 [[クラウド管理モダリティ]]の枠組みへ広がる研究系に継続的に関わる。 ## 関連 - ソース: [[@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]] - 共著者: [[Yiming Qiu]] / [[Ryan Beckett]] / [[Ang Chen]] / [[Jingjia Peng]] / [[Zhenning Yang]] - 概念: [[Infrastructure as Code]] / [[クラウド管理モダリティ]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]]