|
New England Database
Society sponsored by Netezza Corporation |
|
|
NEDS |
Declarative Constraint Optimizations in Distributed Systems
Boon Thau Loo
University of Pennsylvania
Friday, September 28, 2012, 4PM
HP/Vertica Computer Science Lounge (Volen
104),
Brandeis University
(preceded by a wine and cheese reception at 3:00 pm)
Abstract:
In this talk, I
present 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.
Boon Thau Loo is an
Assistant Professor in the Computer and Information Science
department at the University of Pennsylvania. He received his
Ph.D. degree in Computer Science from the University of
California at Berkeley in 2006. Prior to his Ph.D, he received
his M.S. degree from Stanford University in 2000, and his B.S.
degree with highest honors from UC Berkeley in 1999. His
research focuses on distributed data management systems,
Internet-scale query processing, and the application of
data-centric techniques and formal methods to the design,
analysis and implementation of networked systems. He was
awarded the 2006 David J. Sakrison Memorial Prize for the most
outstanding dissertation research in the Department of EECS at
UC Berkeley, and the 2007 ACM SIGMOD Dissertation Award. He is
a recipient of the NSF CAREER award (2009) and the Air Force
Office of Scientific Research (AFOSR) Young Investigator Award
(2012).
Maintained by Olga Papaemmanouil olga AT cs.brandeis.edu