Bill Marczak, TweetComputer science PhD student at UC Berkeley
Biography: Bill Marczak
Bill Marczak is a computer science PhD student at UC Berkeley. He is currently working with Joe Hellerstein on the BOOM project, which seeks to develop new programming languages and abstractions for distributed computing. Bill's research interests include distributed systems and security.
Presentation: TweetBLOOM: Using disorderly programming to build eventually-consistent distributed systems
Track: Modern Databases / Time: Wednesday 14:30 - 15:20 / Location: Kammermusiksalen, Musikhuset
The talk will introduce the BLOOM language (http://bloom-lang.org), an internal Ruby domain-specific language for writing eventually-consistent distributed systems. BLOOM is designed based on the principle of "disorderly programming", where concurrency is default, and programmers explicitly introduce sequentiality where required. Since BLOOM is based on a formal temporal logic, it is amenable to static analysis; the talk will present one such analysis that identifies code requiring additional programmer attention to ensure eventual consistency. You will gain an insight into this analysis as well as the concept of disorderly programming, and will learn enough BLOOM to begin rapidly developing eventually-consistent distributed systems in our language.
Keywords: cloud computing, eventual consistency, logic programming, ruby,
domain-specific language, design patterns
Target audience: Anyone interested in building eventually-consistent distributed systems.