- MOSAIC: Declarative Platform for Dynamic Overlay Composition
- A Demonstration of the RapidMesh Development Toolkit Xiaozhou Li
- A Declarative Toolkit for Rapid Experimentation Wireless Mesh Networks
- Recursive Computation of Regions and Connectivity in Networks
- The Design and Implementation of Declarative Networks Boon Thau Loo
- Veracity: Practical Secure Network Coordinates via Vote-based Agreements Micah Sherr Matt Blaze Boon Thau Loo
- Analyzing BGP Instances in Maude Anduo Wang1
- Declarative Routing: Extensible Routing with Declarative Queries
- Maintaining Distributed Logic Programs Incrementally Vivek Nigam
- Boon Thau Loo Speaks Out on His SIGMOD Dissertation Award, Better Networking Through
- Research Statement Boon Thau Loo
- AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP
- A Policy-based Constraint-solving Platform Towards Extensible Wireless Channel Selection and Routing
- Formally Verifiable Networking Changbin Liu
- Declarative Networking Boon Thau Loo Tyson Condie Minos Garofalakis David E. Gay
- Message Models and Aggregation in Knowledge Based Middleware for Rich Sensor Systems
- Scalable Link-Based Relay Selection for Anonymous Routing
- DMaC: Distributed Monitoring and Checking Wenchao Zhou Oleg Sokolsky Boon Thau Loo Insup Lee
- MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition
- A Declarative Perspective on Adaptive MANET Routing Changbin Liu
- Trace-driven Analysis of an Internet-scale Cloud Computing Platform
- Towards Application-Aware Anonymous Routing Micah Sherr Boon Thau Loo Matt Blaze
- Implementing Declarative Overlays Boon Thau Loo
- The Case for a Hybrid P2P Search Infrastructure Boon Thau Loo1
- Efficient Querying and Maintenance of Network Provenance at Internet-Scale
- CIS 553 / TCOM 512 Networked Systems Project 2: PennSearch A DHT-based Search Engine
- Recursive Computation of Regions and Connectivity in Networks Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo
- Trace-driven Analysis of an Internet-scale Cloud Computing Platform
- OntoNet: Scalable Knowledge-Based Networking Joseph B. Kopena
- The Case for a Unified Extensible Data-centric Mobility Infrastructure
- Distributed Web Crawling over DHTs Boon Thau Loo Owen Cooper Sailesh Krishnamurthy
- Formally Verifiable Networking Anduo Wang1
- Declarative Network Verification Anduo Wang1
- 2009 Cisco Systems, Inc. All rights reserved. Cisco ConfidentialPresentation_ID 2009 Cisco Systems, Inc. All rights reserved. Cisco ConfidentialPresentation_ID Declarative Languages
- Hello my name is Petros and I'm a declaraholic
- Unified Declarative Platform for Secure Networked Information Systems
- COORDINATE-BASED ROUTING FOR HIGH PERFORMANCE ANONYMITY
- A UNIFIED DATA-CENTRIC APPROACH TOWARDS AN EXTENSIBLE INTERNET ARCHITECTURE
- RapidMesh: Declarative Toolkit for Rapid Experimentation of Wireless Mesh Networks
- D l ti T lkit f R id N t k P t lDeclarative Toolkit for Rapid Network ProtocolDeclarative Toolkit for Rapid Network Protocolp SSimulation and ExperimentationSimulation and ExperimentationS u at o a d pe e tat o
- Datalog and Emerging Applications: An Interactive Tutorial Shan Shan Huang
- Analyzing BGP Instances in Maude Anduo Wang1
- CIS-553/TCOM-512: Networked Systems Project 1 Code Documentation
- CIS 553 / TCOM 512 Networked Systems Project 1: Link State and Distance Vector Routing
- Querying and Routing in Next-Generation Networks Boon Thau Loo
- Formalizing Metarouting in PVS Department of Computer and
- A Demonstration of the RapidMesh Development Toolkit Xiaozhou Li
- Towards a Data-centric View of Cloud Security Wenchao Zhou Micah Sherr William R. Marczak Zhuoyao Zhang
- Ontologies for Distributed Command and Control Messaging
- Declarative Policy-based Adaptive MANET Routing Changbin Liu Ricardo Correa Xiaozhou Li Prithwish Basu Boon Thau Loo Yun Mao
- On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform
- Declarative Network Verification Anduo Wang1
- Querying at Internet Scale , Joseph M. Hellerstein
- CURRICULUM VITAE May 6, 2010 Boon Thau Loo
- Efficient Querying and Maintenance of Network Provenance at Internet-Scale
- Provenance-aware Secure Networks Wenchao Zhou Eric Cronin Boon Thau Loo
- Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation
- Veracity: A Fully Decentralized Service for Securing Network Coordinate Systems
- 5th International Workshop on Networking Meets Databases (NetDB 2009)
- TAP: Time-aware Provenance for Distributed Systems Wenchao Zhou Ling Ding Andreas Haeberlen Zachary Ives Boon Thau Loo
- Towards Secure Cloud Data Management Wenchao Zhou
- An Operational Semantics for Network Datalog Vivek Nigam1, Limin Jia2, Anduo Wang1, Boon Thau Loo1, Andre Scedrov1
- A Theorem Proving Approach Towards Declarative Networking
- Formalizing Metarouting with PVS Anduo Wang and Boon Thau Loo
- NetTrails: A Declarative Platform for Maintaining and Querying Provenance in Distributed Systems
- An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming
- Partial specification of routing configurations Alexander J. T. Gurney, Limin Jia, Anduo Wang and Boon Thau Loo
- Research Statement Boon Thau Loo, University of Pennsylvania
- A Batch of PNUTS: Experiences Connecting Cloud Batch and Serving Systems
- FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing
- Secure Network Provenance Wenchao Zhou
- Towards Self-Explaining Networks Wenchao Zhou Qiong Fei Andreas Haeberlen Boon Thau Loo Micah Sherr
- Partial specification of routing configurations Alexander J. T. Gurney1
- Declarative Policy-based Adaptive Mobile Ad Hoc Networking
- Declarative Automated Cloud Resource Orchestration Changbin Liu
- Having your Cake and Eating it too: Routing Security with Privacy Protections
- Recent Advances in Declarative Networking Boon Thau Loo1
- PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking
- Compiling and Installing A3 The A3 project can be built on GNU/Linux and Ubuntu right now. A3 uses the waf build system, a program that assists
- Reduction-based Formal Analysis of BGP Instances Anduo Wang1
- FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing
- Declarative Multicore Programming of Software-based Stateful Packet Processing
- Research Statement Wenchao Zhou
- Experiences in Teaching an Educational User-Level Operating Systems Implementation Project
- PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking
- Reduction-based Formal Analysis of BGP Instances Anduo Wang1
- Declarative Constraint Optimization in Distributed Systems Changbin Liu
- An Empirical Analysis of Scheduling Techniques for Real-time Cloud-based Data Processing
- PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking
