# Amazon Web Services クラウドプロバイダ(AWS)。本 wiki では [[NSync]]([[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]])の共同研究機関として登場し、Hui Guan・Victor Nicolet・Brandon Paulsen・Joey Dodds・Daniel Kroening らが [[University of Michigan]] と共同で IaC reconciliation を研究した。 NSync は AWS のサービス群を基盤に動く: API トレースは [[AWS CloudTrail]]、backbone LLM は AWS Bedrock 経由の Claude 3.7 Sonnet、クラウド接続は Boto3。drift 注入シナリオの主な出典も AWS Systems Manager(SSM)Automation runbook。 本 wiki の別文脈として、AIOps/時系列研究の文脈でも登場する。[[@2026__arXiv__ARFBench - Benchmarking Time Series Question Answering Ability for Software Incident Response]] の第 3 著者 [[Mononito Goswami]] の所属が AWS(Seattle)。ただし脚注で本研究は Amazon での職務と無関係と明記される。 データベースシステムの文脈では、AWS は [[Aurora Limitless Database]] を開発・運用する組織として登場する。同システムは Amazon Aurora PostgreSQL をルータ/シャード構成の分散 OLTP データベースへ拡張し、Amazon Time Sync Service、Aurora Serverless V2、Aurora 分散ストレージを統合して、PostgreSQL 互換性と強い整合性を維持した水平スケーリングを狙う。([[@2026__SIGMOD Companion__Aurora PostgreSQL Limitless Database - Building a Highly Scalable OLTP Database]]) 時系列基盤モデルの文脈では、傘下の [[AWS AI Labs]] が Chronos([[@2024__arXiv__Chronos Learning the Language of Time Series]]、TMLR 2024)・汎用時系列予測基盤モデル [[Chronos-2]](arXiv:2510.15821)を開発・公開した。Chronos は時系列値をスケーリング + 均一量子化でトークナイズし T5/GPT-2 そのままで確率的予測基盤モデルを構成するフレームワーク。Chronos-2 は group attention 機構により単変量・多変量・共変量付き予測を単一モデルでゼロショット処理する初の TSFM で、fev-bench・GIFT-Eval・Chronos Benchmark II の 3 ベンチマーク全てで当時の SOTA を達成した。中心的な研究者は [[Abdul Fatir Ansari]]・[[Lorenzo Stella]]・[[Oleksandr Shchur]]・[[Yuyang Wang]] ら。([[@2025__arXiv__Chronos-2 - From Univariate to Universal Forecasting]])Chronos-2 は group attention 機構により単変量・多変量・共変量付き予測を単一モデルでゼロショット処理する初の TSFM で、fev-bench・GIFT-Eval・Chronos Benchmark II の 3 ベンチマーク全てで当時の SOTA を達成した。中心的な研究者は [[Abdul Fatir Ansari]]・[[Oleksandr Shchur]]・[[Yuyang Wang]] ら。([[@2025__arXiv__Chronos-2 - From Univariate to Universal Forecasting]]) Vista の文脈では、Amazon RDS フリートで大規模展開された ML ベース性能トラブルシューティングフレームワークの開発組織として登場する。Vista は [[Vikramank Singh]]・Zhao Song・Balakrishnan (Murali) Narayanaswamy・Kapil Eknath Vaidya および [[Tim Kraska]] (MIT 兼任) により開発。数十万 RDS インスタンスで 2 年以上稼働し、毎日 >10K の偽アラームを防止してきた。Amazon DevOps Guru for RDS の機能として公開されている。([[@2023__Amazon Science__Vista - Machine Learning based Database Performance Troubleshooting Framework in Amazon RDS]]) ストレージノード検証の文脈では、AWS は Amazon S3 の新しいキーバリューストレージノード [[ShardStore]] を軽量形式手法(参照モデル + property-based testing + stateless model checking)で検証した開発組織として登場する。筆頭著者 [[James Bornholt]] ほか AWS 所属の研究者陣が本番投入前に 16 件の不具合を検出し、検証アーティファクトの保守を段階的にエンジニアリングチームへ引き継いだ。([[@2021__SOSP__Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3]]) サードパーティのクラウドデータウェアハウスの文脈では、AWS は [[Snowflake Computing]] が [[@2016__SIGMOD__The Snowflake Elastic Data Warehouse]] を稼働させる基盤プラットフォームとして登場する。同論文は AWS 選定理由として「最も成熟したクラウドプラットフォームであること」「最大の潜在ユーザープールを持つこと」の2点を挙げ、ストレージに Amazon S3、鍵管理の root key に AWS CloudHSM を利用する。Snowflake 自身は AWS の関連会社ではなく AWS 上に構築された第三者のクラウドデータウェアハウスであり、AWS が開発する [[Aurora Limitless Database]] とは別の組織・別のアーキテクチャ思想(Aurora はシェアードナッシング寄りのシャーディング拡張、Snowflake はストレージ・コンピュート分離のマルチクラスタ・シェアードデータ)である点に注意。 ## 関連 - ソース: [[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]] / [[@2026__arXiv__ARFBench - Benchmarking Time Series Question Answering Ability for Software Incident Response]] / [[@2026__SIGMOD Companion__Aurora PostgreSQL Limitless Database - Building a Highly Scalable OLTP Database]] / [[@2025__arXiv__Chronos-2 - From Univariate to Universal Forecasting]] / [[@2023__Amazon Science__Vista - Machine Learning based Database Performance Troubleshooting Framework in Amazon RDS]] / [[@2024__SIGMOD__Amazon MemoryDB - A Fast and Durable Memory-First Cloud Database]] / [[@2016__SIGMOD__The Snowflake Elastic Data Warehouse]] - 概念: [[Infrastructure as Code]] / [[時系列質問応答]] / [[分散 PostgreSQL]] / [[時系列基盤モデル]] / [[多変量時系列予測]] / [[データベース自律診断]] / [[データベース性能トラブルシューティング]] / [[ストレージ計算分離]] / [[インメモリデータベース]] / [[シェアードナッシング]] - エンティティ: [[NSync]] / [[AWS CloudTrail]] / [[Terraform]] / [[University of Michigan]] / [[Mononito Goswami]] / [[Aurora Limitless Database]] / [[Chronos-2]] / [[Abdul Fatir Ansari]] / [[Oleksandr Shchur]] / [[Yuyang Wang]] / [[Vikramank Singh]] / [[Tim Kraska]] / [[Amazon MemoryDB]] / [[Yacine Taleb]] / [[ShardStore]] / [[James Bornholt]] / [[Snowflake Computing]]