Home | Bio | C.V. | Research | Publications | Talks | Service

Selected Talks

  • Automated Analysis and Actuation for Software Defined Infrastructure.

  • Data Center, Co-location, Hosted Solutions - What is Best for my Business?

  • Declarative Networking.

  • Building a Start-Up in a Marketplace Ripe For Disruption.

  • Perspectives on University Technology Transfer.

  • Declarative Networking.

  • Automated Formal Analysis of Internet Routing Configurations.

  • Declarative Networking.

  • A Declarative Perspective on Programmable Networking.

  • Declarative Constraint Optimizations in Distributed Systems.

  • Recent Advances in Declarative Networking.

  • Evolving the Internet with Declarative Networking.

  • Declarative Secure Distributed Systems.

  • Declarative Networking: Present and Future.

  • Secure Time-aware Provenance for Distributed Systems.

  • Declarative Networking: Present and Future.

  • Datalog and Emerging Applications: An Interactive Tutorial. [PPTX]

  • Declarative Networking and Its Applications to Formally Safe Networking.

  • Declarative Networking and Its Applications to Reliable Embedded Networked Systems.

  • Declarative Secure Distributed Systems.

  • Declarative Policy-based Networking. [PDF]

  • Declarative Networking.

  • Declarative Secure Distributed Systems.

  • Declarative Techniques for Secure Network Routing.

  • Datalog and Its Application to Network Routing Design. [PDF]
  • Applying PL and Database Techniques to Networking. [PDF]

  • DS2: Declarative Secure Distributed Systems

  • MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. [PDF]

  • Declarative DSL: A Declarative Networking Perspective. [PDF]

  • Boon Thau Loo Speaks Out. (Interview) [PDF]

  • The Design and Implementation of Declarative Networks. [PPT]

  • Towards a Declarative Language and System for Secure Networking. [PPT]

  • Declarative Networking: Language, Execution and Optimization. [PPT]

  • Declarative Networking: Extensible Networks with Declarative Queries. [PPT]

  • Implementing Declarative Overlays. [PPT]

  • Declarative Routing: Extensible Routing with Declarative Queries. [PPT]
  • Customizable Routing with Declarative Queries. [PPT]

  • Enhancing P2P File-Sharing with an Internet-Scale Query Processor. [PPT]

  • The Case for a Hybrid P2P Search Infrastructure. [PPT]