paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Infrastructure in Code: Towards Developer-Friendly Cloud Applications

代码中的基础设施:迈向开发者友好的云应用
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 1/10 · 该论文关注云应用中的“代码内基础设施”与 Kotlin serverless 框架 Kotless,属于软件工程/领域特定语言方向,与用户核心关注的静态分析、LLM/Agent 程序分析、浮点程序分析及贝叶斯程序分析无直接交集。引用 8 inbox
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, Timofey Bryksin
crossref: 2026-09-12

AI 速览

一句话:提出“代码内基础设施”概念,并实现面向 Kotlin 的可扩展、云无关 serverless 框架 Kotless。

云技术的普及催生了大量依赖云环境运行的应用,这些应用通常需要大量云基础设施。现有基础设施即代码(Infrastructure as Code)方法要求开发者用独立语言并行编写基础设施规格,增加了维护负担。本文提出“代码内基础设施”(Infrastructure in Code)概念,主张直接从应用代码本身推导基础设施,而无需单独规格。作者讨论了可归入该概念的现有方案及其局限,并实现了 Kotless——一个可扩展、云无关的 Kotlin serverless 框架,支持两类云厂商、三种 DSL 和两种运行时。最后通过将一个已有应用迁移到 serverless 环境,展示了 Kotless 的实用性与效率。

问题
云应用需要大量基础设施,而传统基础设施即代码要求与主应用并行维护独立的规格语言,增加了开发者的认知与维护负担。
方法
提出从应用代码自动推导基础设施的“代码内基础设施”概念,并实现 Kotless:一个可扩展、云无关的 Kotlin serverless 框架,支持多云厂商、多种 DSL 与运行时。
评估
通过将已有应用迁移到 serverless 环境,展示 Kotless 在迁移效率与实用性方面的效果。
原文摘要(Abstract)

The popularity of cloud technologies has led to the development of a new type of applications that specifically target cloud environments. Such applications require a lot of cloud infrastructure to run, which brought about the Infrastructure as Code approach, where the infrastructure is also coded using a separate language in parallel to the main application. In this paper, we propose a new concept of Infrastructure in Code, where the infrastructure is deduced from the application code itself, without the need for separate specifications. We describe this concept, discuss existing solutions that can be classified as Infrastructure in Code and their limitations, and then present our own framework called Kotless — an extendable cloud-agnostic serverless framework for Kotlin that supports two cloud providers, three DSLs, and two runtimes. Finally, we showcase the usefulness of Kotless by demonstrating its efficiency in migrating an existing application to a serverless environment.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6495,
  title = {Infrastructure in Code: Towards Developer-Friendly Cloud Applications},
  author = {Vladislav Tankov and Dmitriy Valchuk and Yaroslav Golubev and Timofey Bryksin},
  booktitle = {ASE},
  year = {2021},
  doi = {10.1109/ase51524.2021.9678943}
}