BEGIN:VCALENDAR X-ORIGINAL-URL:http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Bloom-Disorderly-Programming-for-a-Distributed-World VERSION:2.0 METHOD:PUBLISH BEGIN:VEVENT DESCRIPTION;LANGUAGE=en:I will present Bloom\, a programming language targeted at developers of complex cloud computing and distributed systems. \; Bloom is a 'disorderly' language: it differentiates itself from most common programming languages by embracing rather than resisting the disorderly realities of distributed computing architectures. \; Building on recent theoretical results including the CALM Theorem\, Bloom supports a powerful new programming analysis framework for analyzing the correctness and consistency of distributed programs. \; To demonstrate Bloom's utility\, I will present examples of distributed system infrastructure and applications\, including delivery protocols\, a key-value store and a replicated shopping cart application. \; I will then show how Bloom's analysis tools allow the programmer to compare and evaluate these implementations. LOCATION;LANGUAGE=en: SUMMARY;LANGUAGE=en:Bloom: Disorderly Programming for a Distributed World CONTACT;LANGUAGE=en:Peter Alvaro UID:Code: X-ALT-DESC;FMTTYPE=text/html:

I will present Bloom, a programming language targeted at developers of complex cloud computing and distributed systems.  Bloom is a 'disorderly' language: it differentiates itself from most common programming languages by embracing rather than resisting the disorderly realities of distributed computing architectures.  Building on recent theoretical results including the CALM Theorem, Bloom supports a powerful new programming analysis framework for analyzing the correctness and consistency of distributed programs.  To demonstrate Bloom's utility, I will present examples of distributed system infrastructure and applications, including delivery protocols, a key-value store and a replicated shopping cart application.  I will then show how Bloom's analysis tools allow the programmer to compare and evaluate these implementations.

DTSTART;VALUE=DATE-TIME:20120403T164000Z DTEND;VALUE=DATE-TIME:20120403T172000Z END:VEVENT END:VCALENDAR