Boon Thau Loo 

Department of Computer Information Science

"Evolving the Internet with Declarative Networking"

 

Abstract

In this talk, I present an overview of the NetDB@Penn research group, where in the past few years, we have focused our research efforts on the development of new programming tools and analysis techniques that improve the process of designing, implementing, and securing large-scale Internet-based systems. A unifying theme is use of the novel declarative networking framework, in which distributed systems are specified and implemented using a declarative recursive query language.

I first begin with an overview of declarative networking, tracing its original roots as a rapid prototyping framework, towards one that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. I will next present four ongoing projects based on different stages in the distributed systems development cycle.  These include: (i) the FSR (Formally Safe Routing) toolkit for synthesizing provably safe interdomain routing implementations, (ii) the NetTrails system for declarative forensics of distributed systems in the presence of byzantine faults, (iii) the DS2 (Declarative Secure Distributed Systems) platform for securing distributed systems, and (iv) the PUMA (Policy-based Multi-radio Architecture) engine for declaratively optimizing distributed protocols.

Details of the above projects are available at our NetDB@Penn website: http://netdb.cis.upenn.edu.

 

Refreshments will be served on the

2nd Floor Mezzanine Level

outside Wu & Chen

immediately following the talk.

____________________________________________________________________________