New Directions in Cloud Programming (2021) [pdf]

https://www.cidrdb.org/cidr2021/papers/cidr2021_paper16.pdf

by luu • 3 years ago

86 6 3 years ago

expede• 3 years ago

An absolute banger of a paper! (Hellerstein is a coauthor, so immediately expected to be good). Definitely some stuff in here that's further out, but a very clear articulation (or roadmap!) of where distributed systems could go.

Verified lifting is very cool but needs lots of research, though I'm unclear that's a hard requirement for this vision to become reality.

dpflan• 3 years ago

You're pretty hyped about this, would you mind providing more details about the sections you find interesting? I've yet to read the paper.

d0gsg0w00f• 3 years ago

Snippets like this do it for me

    𝑐𝑜𝑠𝑡(add_person, 𝑛𝑖) ≤ 0.01. The cost of running add_person
    on 𝑛𝑖
    instances of type 𝑖 machines must be less than the
    specified value. The value can either be specified by the
    end user or provided by the hosting platform.

    𝑖 𝑛𝑖 > 0. Allocate some machines to fulfill the workload.

asciii• 3 years ago

Is this not from 2021?

whynotmaybe• 3 years ago

https://www.cidrdb.org/cidr2021/program.html

Wednesday 2021/01/13, Session 6: Trends and New Directions

Youtube video of the presentation : https://www.youtube.com/watch?v=FeRg-7Sr1L8

Previous "discussions" (0 comment each) :

https://news.ycombinator.com/item?id=25815808

https://news.ycombinator.com/item?id=26061910

https://news.ycombinator.com/item?id=33310667

https://news.ycombinator.com/item?id=25748119

https://news.ycombinator.com/item?id=25948611

convolvatron• 3 years ago

This notion that procedural programs largely admit a declarative interpretation also shows up in simon peyton Jones’s verse effort

New Directions in Cloud Programming (2021) [pdf]

Related Stories