English
Related papers

Related papers: Formalizing Event-Driven Behavior of Serverless Ap…

200 papers

As an emerging application paradigm, serverless computing attracts attention from more and more attackers. Unfortunately, security tools for conventional applications cannot be easily ported to serverless, and existing serverless security…

Cryptography and Security · Computer Science 2020-11-11 Deepak Sirone Jegan , Liang Wang , Siddhant Bhagat , Thomas Ristenpart , Michael Swift

Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the…

Programming Languages · Computer Science 2023-11-01 Giuseppe De Palma , Saverio Giallorenzo , Cosimo Laneve , Jacopo Mauro , Matteo Trentin , Gianluigi Zavattaro

Function-as-a-Service (FaaS) is an event-driven serverless cloud computing model in which small, stateless functions are invoked in response to events, such as HTTP requests, new database entries, or messages. Current FaaS platform assume…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-14 Natalie Carl , Trever Schirmer , Niklas Kowallik , Joshua Adamek , Tobias Pfandzelter , Sergio Lucia , David Bermbach

Serverless Computing is a virtualisation-related paradigm that promises to simplify application management and to solve the last challenges in the field: scale down and easy to use. The implied cost reduction, coupled with a simplified…

Cryptography and Security · Computer Science 2022-01-28 Eduard Marin , Diego Perino , Roberto Di Pietro

Serverless computing paradigm has become more ingrained into the industry, as it offers a cheap alternative for application development and deployment. This new paradigm has also created new kinds of problems for the developer, who needs to…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-14 Gor Safaryan , Anshul Jindal , Mohak Chadha , Michael Gerndt

The serverless cloud computing model offers a framework where the service provider abstracts the underlying infrastructure management from developers. In this serverless model, FaaS provides an event-driven, function-oriented computing…

Software Engineering · Computer Science 2025-10-06 Siddharth Agarwal , Maria A. Rodriguez , Rajkumar Buyya

In a fully managed serverless environment, the cloud service provider is responsible for securing the cloud infrastructure, thereby reducing the operational and maintenance efforts of application developers. However, this environment limits…

We describe a system for serverless computing where users, programs, and the underlying platform share a common representation of a computation: a deterministic procedure, run in an environment of well-specified data or the outputs of other…

Operating Systems · Computer Science 2025-11-04 Yuhan Deng , Akshay Srivatsan , Sebastian Ingino , Francis Chua , Yasmine Mitchell , Matthew Vilaysack , Keith Winstein

Function-as-a-Service (FaaS) is at the core of serverless computing, enabling developers to easily deploy applications without managing computing resources. With an Infrastructure-as-Code (IaC) approach, frameworks like the Serverless…

Software Engineering · Computer Science 2025-08-05 Angel C. Chavez-Moreno , Cristina L. Abad

Serverless computing has emerged as a very popular cloud technology, together with its companion Function-as-a-Service (FaaS) programming model enabling invocations of stateless functions from clients. An evolution of serverless is now…

Networking and Internet Architecture · Computer Science 2022-08-29 Carlo Puliafito , Claudio Cicconetti , Marco Conti , Enzo Mingozzi , Andrea Passarella

Automatic network management strategies have become paramount for meeting the needs of innovative real-time and data-intensive applications, such as in the Internet of Things. However, meeting the ever-growing and fluctuating demands for…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-18 Fatemeh Banaie , Karim Djemame , Abdulaziz Alhindi , Vasilios Kelefouras

Although historically the term serverless was also used in the context of peer-to-peer systems, it is more frequently associated with the architectural style for developing cloud-native applications. From the developer's perspective,…

Cryptography and Security · Computer Science 2020-11-26 Vladimir Yussupov , Ghareeb Falazi , Uwe Breitenbücher , Frank Leymann

The promise of ultimate elasticity and operational simplicity of serverless computing has recently lead to an explosion of research in this area. In the context of data analytics, the concept sounds appealing, but due to the limitations of…

Databases · Computer Science 2020-05-11 Ingo Müller , Renato Marroquín , Gustavo Alonso

The serverless computing paradigm promises many desirable properties for cloud applications - low-cost, fine-grained deployment, and management-free operation. Consequently, the paradigm has underwent rapid growth: there currently exist…

Serverless computing is increasingly popular because of its lower cost and easier deployment. Several cloud service providers (CSPs) offer serverless computing on their public clouds, but it may bring the vendor lock-in risk. To avoid this…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-08 Junfeng Li , Sameer G. Kulkarni , K. K. Ramakrishnan , Dan Li

We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on abstract states comprising centralised, global key-value…

Logic in Computer Science · Computer Science 2019-10-07 Shale Xiong , Andrea Cerone , Azalea Raad , Philippa Gardner

This article develops a novel operational semantics for probabilistic control-flow graphs (pCFGs) of probabilistic imperative programs with random assignment and "observe" (or conditioning) statements. The semantics transforms probability…

Programming Languages · Computer Science 2017-11-08 Torben Amtoft , Anindya Banerjee

Cloud Native Application CNApp (as a distributed system) is a collection of independent components (micro-services) interacting via communication protocols. This gives rise to present an abstract architecture of CNApp as dynamically…

Computation and Language · Computer Science 2025-07-24 Stanislaw Ambroszkiewicz , Waldemar Bartyna , Stanislaw Bylka

As more applications are being moved to the Cloud thanks to serverless computing, it is increasingly necessary to support native life cycle execution of those applications in the data center. But existing systems either focus on…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-18 Pedro García-López , Aitor Arjona , Josep Sampe , Aleksander Slominski , Lionel Villard

This paper explores resource allocation in serverless cloud computing platforms and proposes an optimization approach for autoscaling systems. Serverless computing relieves users from resource management tasks, enabling focus on application…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-31 Harold Ship , Evgeny Shindin , Chen Wang , Diana Arroyo , Asser Tantawi