GOTO is a vendor independent international software development conference with more that 90 top speaker and 1300 attendees. The conference cover topics such as .Net, Java, Open Source, Agile, Architecture and Design, Web, Cloud, New Languages and Processes

<< previous speaker next speaker >>

Bill Marczak, Computer science PhD student at UC Berkeley

Bill Marczak

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.

Academic website: http://www.cs.berkeley.edu/~wrm/
BLOOM Language: http://bloom-lang.org/
BOOM Project: http://boom.cs.berkeley.edu/

Presentation: BLOOM: 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.