Boon Thau Loo

Department of Computer and Information Science

 

"Declarative Constraint Optimizations in Distributed Systems"

 

Abstract

In this talk, I will first provide a brief overview of our research within NetDB@Penn (netdb.cis.upenn.edu). The rest of the talk will  focus on Cologne, a declarative optimization platform that enables constraint optimization problems (COPs) to be declaratively specified and incrementally executed in distributed systems.  Cologne integrates a declarative networking engine with an off-the-shelf constraint solver. We have developed the Colog language that combines distributed Datalog used in declarative networking with language constructs for specifying goals and constraints used in COPs. Cologne uses novel query processing strategies for processing Colog programs, by combining the use of bottom-up distributed Datalog evaluation with top-down goal-oriented constraint solving.

 

Using case studies based on cloud and wireless network optimizations, we demonstrate that Cologne (1) can flexibly support a wide range of policy-based optimizations in distributed systems, (2) results in orders of magnitude less code compared to imperative implementations, and (3) is highly efficient with low overhead and fast convergence times. I will conclude the talk with a brief discussion of our ongoing work at using Cologne for enabling energy-efficient cloud analytics.

 

Refreshments will be served on the

2nd Floor Mezzanine Level

outside Wu & Chen

immediately following the talk.

____________________________________________________________________________