Disorderly Programming: Experience and Conjectures in Distributed Logic
Speaker: Joseph M. Hellerstein , UC-BerkeleyContact:
Date: October 13 2010
Time: 4:00PM to 5:00PM
Host: Sam Madden, CSAIL
Sheila Marian, x3-1996, email@example.com
The rise of multicore processors and cloud computing is putting enormous pressure on the software community to find solutions to the difficulty of parallel and distributed programming. At the same time, there is more—and more varied—interest in data-centric programming languages than at any time in computing history, in part because the inherently unordered nature of these languages encourages programs that parallelize easily. This juxtaposition suggests that the theory of logic programming and deductive database languages can provide a foundation for a new generation of distributed and parallel programming languages.
In this talk I will reflect on my group’s experience over seven years using Datalog extensions to build networking protocols and distributed systems. I will introduce a temporal logic called Dedalus, and a prototype of our more practical Bloom programming language for cloud programming. I will also discuss a number of theoretical conjectures we have formulated, including the CALM conjecture relating the distributed systems notion of eventual consistency to monotonicity in logic.
This is a revised version of a keynote at ACM PODS.
BIO: Joseph M. Hellerstein is a Professor of Computer Science at Berkeley, visiting MIT on sabbatical this year. His work focuses on data-centric systems and the way they drive computing. He is an ACM Fellow, and his research has been recognized by multiple awards including an Alfred P. Sloan Research Fellowship and two ACM-SIGMOD "Test of Time" awards. In 2010, Fortune Magazine included him in their list of 50 smartest people in technology. MIT's Technology Review included his work on Cloud Programming on their 2010 TR10 list of the 10 technologies most likely to change our world; in 1999 he was on their inaugural TR100 list of young innovators. Key ideas from his research have been incorporated into commercial and open-source software from IBM, Oracle, and PostgreSQL. He is a past director of Intel Research Berkeley, and currently serves on the technical advisory boards of a number of computing companies.
See other events that are part of
See other events happening in October 2010