Serverless computing (also known as functions as a service) is a new cloud computing
abstraction that makes it easier to write robust, large-scale web services. In serverless …

While serverless platforms substantially simplify the provisioning, configuration, and
management of cloud applications, implementing correct services on top of these platforms …

Software components are expected to communicate according to predetermined protocols
and APIs. Numerous methods have been proposed to check the correctness of …

In sequential languages, dynamic contracts are usually expressed as boolean functions
without externally observable effects, written within the language. We propose an analogous …

Behavioral software contracts allow programmers to strengthen the obligations and
promises that they express with conventional types. They lack expressive power, though …

Actor languages model concurrency as processes that communicate through asynchronous
message sends. Unfortunately, as the complexity of these systems increases, it becomes …

Choreographic programming is a paradigm where a concurrent or distributed system is
developed in a top-down fashion. Programs, called choreographies, detail the desired …

In the context of gradual ty**, type soundness guarantees the safety of typed code. When
untyped code fails to respect types, a runtime check finds the discrepancy. As for untyped …

Contract systems, especially of the higher-order flavor, go hand in hand with blame. The
pragmatic purpose of blame is to narrow down the code that a programmer needs to …

Design-by-contract is a software engineering practice where programmers annotate
program elements with contract specifications that make expectations towards the user and …