Connecting...

W1siziisimnvbxbpbgvkx3rozw1lx2fzc2v0cy9zawduawz5lxrly2hub2xvz3kvanbnl2jhbm5lci1kzwzhdwx0lmpwzyjdxq

Towards Language Support for Distributed Systems by Heather Miller

W1siziisijiwmtkvmdyvmjuvmtyvmtqvmtevmzuwl3blegvscy1wag90by0xntqxndeuanblzyjdlfsiccisinrodw1iiiwiotawedkwmfx1mdazzsjdxq

It can be difficult to bridge and manage different distributed systems! However, what if you could avoid certain aspects to build up richer computations? 

Check out this talk from Strange Loop Conference where Heather Miller discussed how she bridged distributed systems and programming languages research.

 

Towards Language Support for Distributed Systems

Building and managing different sorts of distributed systems is notoriously difficult; of course nodes can fail, but we are also often connecting many different services with many different underlying assumptions behind each. This means that not only can individual components fail, but so can entire inter-connected groups of services. But what if we could leave some of these headaches, like making sure that certain invariants hold between two inter-connected services, to our programming language to worry about? 
 
In this talk, Heather will talk about some recent work bridging distributed systems and programming languages research by shifting reasoning for two classes of problems into the programming language; building up richer computations making use of CRDTs, and building up richer computations implemented as compositions of serverless functions.
 
 
 
 
This talk was given by Heather Miller at Strange Loop Conference 2018.