Declarative Networking

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. Wenchao Zhou is a Ph.D. student in the Computer and Information Science department at the University of Pennsylvania. He received his B.S. degree from Tsinghua University in 2006 and M.S. Degree from the University of Pennsylvania in 2009. His research interests are in distributed systems, focusing on logic-based declarative approach for verifiable secure distributed systems, and the application of data-centric techniques to secure forensics and diagnosis in potentially adversarial environments.

• Introduction.- Declarative Networking Language.- Declarative Networking Overview.- Distributed Recursive Query Processing.- Declarative Routing.- Declarative Overlays.- Optimization of NDlog.- Recent Advances in Declarative Networking.- Conclusion.