paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Kotless: A Serverless Framework for Kotlin

Kotless:面向 Kotlin 的无服务器框架
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 1/10 · 论文聚焦云无关的 Kotlin 无服务器框架与部署代码自动生成,属于软件工程/云基础设施与 DSL 方向,不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心研究方向。引用 9 inbox
Vladislav Tankov, Yaroslav Golubev, Timofey Bryksin
crossref: 2026-09-12

AI 速览

一句话:提出 Kotless,一个云无关的 Kotlin 无服务器框架,通过自动生成部署代码简化应用与云基础设施的集成。

无服务器应用开发中,开发者常需花费大量时间处理与云基础设施的交互,如重复上传更新文件等。为应对这些组织和技术挑战,本文提出 Kotless——一个 Kotlin 无服务器框架。Kotless 是一个云无关的工具包,通过将部署的应用交织进云基础设施,并自动生成必要的部署代码,使开发者无需手动集成和管理应用,从而专注于开发。Kotless 已在实际生产环境中用于开发多个无服务器应用,证明了其能力。其源代码和工具演示已公开。

问题
无服务器应用开发中,与云基础设施的交互带来组织和技术困难,开发者需要花费时间集成和管理应用,而非专注于开发。
方法
Kotless 是一个云无关的 Kotlin 无服务器框架,通过将应用与云基础设施交织并自动生成部署代码,减轻开发者的集成与管理负担。
评估
Kotless 已在实际生产环境中用于开发多个无服务器应用,验证了其能力;提供了开源代码和工具演示。
原文摘要(Abstract)

Recent trends in Web development demonstrate an increased interest in serverless applications, i.e. applications that utilize computational resources provided by cloud services on demand instead of requiring traditional server management. This approach enables better resource management while being scalable, reliable, and cost-effective. However, it comes with a number of organizational and technical difficulties which stem from the interaction between the application and the cloud infrastructure, for example, having to set up a recurring task of reuploading updated files. In this paper, we present Kotless - a Kotlin Serverless Framework. Kotless is a cloud-agnostic toolkit that solves these problems by interweaving the deployed application into the cloud infrastructure and automatically generating the necessary deployment code. This relieves developers from having to spend their time integrating and managing their applications instead of developing them. Kotless has proven its capabilities and has been used to develop several serverless applications already in production. Its source code is available at https://github.com/JetBrains/kotless, a tool demo can be found at https://www.youtube.com/watch?v=IMSakPNl3TY.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5266,
  title = {Kotless: A Serverless Framework for Kotlin},
  author = {Vladislav Tankov and Yaroslav Golubev and Timofey Bryksin},
  booktitle = {ASE},
  year = {2019},
  doi = {10.1109/ase.2019.00114}
}