サーバーレスは操作的意味論の夢を見るか？

セッションタイトル (必須)

[X] セッションのタイトルをイシュー件名に最大40文字程度で入力しました

連絡先の登録 (必須)

[X] 私は、こちらのフォームに必要事項を記入してsubmitしました

セッションのアブストラクト (最大250文字) (必須)

サーバーレスの設計、難しいですよね！冪等性やトランザクションの扱いなど、特有の考慮事項が満載です。ところで皆さん、静的型付き言語はお好きですか？型は実行前に間違いを検出してくれる便利な仕組みですが、その便利さは「プログラムの正しさ」を厳密な数式で記述する操作的意味論に支えられています。そして近年では古典的なプログラムに留まらず、サーバーレス特有の事情を織り込んだ操作的意味論も登場してきました。本講演ではこれらの研究について、実際の AWS Lambda の挙動を例として取り上げて解説します。

セッションについての補足情報 (最大800文字) (任意)

想定受講者

AWS Lambda を利用したアプリケーションの開発について十分な予備知識を仮定します
プログラミング言語の意味論について予備知識は仮定しません。セッション内で解説します

参考文献

Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha. 2019. "Formal foundations of serverless computing." Proc. ACM Program. Lang. 3, OOPSLA, Article 149 (October 2019), 26 pages. https://doi.org/10.1145/3360575
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti and Stefano Pio Zingaro. 2019. "No more, no less - A formal model for serverless computing." COORDINATION. https://doi.org/10.1007/978-3-030-22397-7_9
Hossein Shafiei, Ahmad Khonsari, and Payam Mousavi. 2022. "Serverless Computing: A Survey of Opportunities, Challenges, and Applications." ACM Comput. Surv. Just Accepted (January 2022). https://doi.org/10.1145/3510611
Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, and Ana Milanova. 2020. “Formalizing Event-Driven Behavior of Serverless Applications.” In Service-Oriented and Cloud Computing, 19–29. Springer International Publishing. https://doi.org/10.1007/978-3-030-44769-4_2

セッション時間

45分

想定受講者の知識レベル（必須）

上級 - セッションの中心となるトピックを本番環境で利用・運用したことがある方向け

想定受講者の開発対象やロール・役割 (複数選択可) (必須)

Web バックエンド / サーバーサイド開発, その他

想定受講者の業種・業界・業態 (複数選択可) (任意)

No response

セッションのトピック (複数選択可) (必須)

Web バックエンド / サーバーサイド開発, プログラミング, アプリケーションアーキテクチャー, ソフトウェアテスト, その他

セッションの技術カテゴリー (複数選択可) (必須)

サーバーレス, その他

セッション内で登場する主な AWS サービス (任意)

AWS Lambda, Amazon DynamoDB, Amazon EventBridge, Amazon API Gateway, Amazon SNS

aws-events / aws-dev-day-online-japan-2022-cfp

サーバーレスは操作的意味論の夢を見るか？ #75