ML p(r)ior | CPL: A Core Language for Cloud Computing -- Technical Report

CPL: A Core Language for Cloud Computing -- Technical Report

2016-02-02
Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable complexity of these tasks resulted in the emergence of declarative JSON-based domain-specific deployment languages to develop deployment programs. However, existing deployment programs unsafely compose artifacts written in different languages, leading to bugs that are hard to detect before run time. Furthermore, deployment languages do not provide extension points for custom implementations of existing cloud services such as application-specific load balancing policies. To address these shortcomings, we propose CPL (Cloud Platform Language), a statically-typed core language for programming both distributed applications as well as their deployment on a cloud platform. In CPL, application services and deployment programs interact through statically typed, extensible interfaces, and an application can trigger further deployment at run time. We provide a formal semantics of CPL and demonstrate that it enables type-safe, composable and extensible libraries of service combinators, such as load balancing and fault tolerance.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations

Related Articles

2019-05-17

In recent years, a plethora of deployment technologies evolved, many following a declarative approac… show more
PDF

Highlights - Most important sentences from the article

2018-09-15

Session types are a rich type discipline, based on linear types, that lifts the sort of safety claim… show more
PDF

Highlights - Most important sentences from the article

2018-11-28
1811.11317 | cs.PL

We present three projects concerned with applications of proof assistants in the area of programming… show more
PDF

Highlights - Most important sentences from the article

2018-09-15

qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a q… show more
PDF

Highlights - Most important sentences from the article

2018-08-20

Incremental computations attempt to exploit input similarities over time, reusing work that is unaff… show more
PDF

Highlights - Most important sentences from the article

2019-02-15

A robust, large-scale web service can be difficult to engineer. When demand spikes, it must configur… show more
PDF

Highlights - Most important sentences from the article

2018-03-17

We introduce Meta-F*, a tactics and metaprogramming framework for the F* program verifier. The main … show more
PDF

Highlights - Most important sentences from the article

2018-12-13

Network Function Virtualization (NFV) and Software Defined Networking (SDN) are technologies that re… show more
PDF

Highlights - Most important sentences from the article

2019-01-31

Tierless Web programming languages allow programmers to combine client-side and server-side programm… show more
PDF

Highlights - Most important sentences from the article

2018-08-14

We equip dynamic geometry software (DGS) with a user-friendly method that enables massively parallel… show more
PDF

Highlights - Most important sentences from the article

2012-05-26

We study the problem of maximizing the average hourly profit earned by a Software-as-a-Service (SaaS… show more
PDF

Highlights - Most important sentences from the article

2012-12-17

Secure orchestration is an important concern in the internet of service. Next to providing the requi… show more
PDF

Highlights - Most important sentences from the article

2014-12-12
1412.4054 | cs.DC

The vision of the Internet-of-Things (IoT) embodies the seam- less discovery, configuration, and int… show more
PDF

Highlights - Most important sentences from the article

2014-12-29

This article describes a very high-level language for clear description of distributed algorithms an… show more
PDF

Highlights - Most important sentences from the article

2017-09-14

Novel user interfaces based on artificial intelligence, such as natural-language agents, present new… show more
PDF

Highlights - Most important sentences from the article

2015-04-10

To harness the power of multi-core and distributed platforms, and to make the development of concurr… show more