Publications

2009

• Declarative Policy-based Adaptive MANET Routing.
  Changbin Liu, Richardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao.
  17th IEEE International Conference on Network Protocols (ICNP 2009), Princeton, New Jersey, Oct, 2009. [18.3% acceptance]
• A Demonstration of the RapidMesh Development Toolkit. [Paper]
  Xiaozhou Li, Shivkumar C. Muthukumar, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Richardo Correa, Boon Thau Loo, and Prithwish Basu.
  4th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH 2009) demonstration, in conjunction with ACM MobiCom, Beijing, China, Sept, 2009.
• RapidMesh: Declarative Toolkit for Rapid Experimentation of Wireless Mesh Networks. [Paper]
  Shivkumar C. Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Richardo Correa, Boon Thau Loo, and Prithwish Basu.
  4th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH 2009), in conjunction with ACM MobiCom, Beijing, China, Sept, 2009.
• A Theorem Proving Approach towards Declarative Networking. [Paper]
  Anduo Wang, Boon Thau Loo, Changbin Liu, Oleg Sokolsky, and Prithwish Basu.
  22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs) emerging trends proceedings, Munich, Germany, Aug 2009.
• Message Models and Aggregation in Knowledge Based Middleware for Rich Sensor Systems. [Paper]
  Joseph B. Kopena, William C. Regli, and Boon Thau Loo.
  6th International Workshop on Data Management for Sensor Networks (DMSN), in conjunction with VLDB, Lyon, France, Aug 2009.
• Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation. [Paper]
  Shivkumar C. Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, and Boon Thau Loo.
  ACM SIGCOMM Conference on Data Communication (demo), Barcelona, Spain, Aug 2009.
• Scalable Link-Based Relay Selection for Anonymous Routing. [Paper]
  Micah Sherr, Matt Blaze, and Boon Thau Loo.
  9th Privacy Enhancing Technologies Symposium (PETS), Seattle, WA, Aug 2009. [31.8% acceptance]
• DMaC: Distributed Monitoring and Checking. [Paper] [Talk]
  Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, and Insup Lee.
  9th International Workshop on Runtime Verification (RV), Grenoble, France, Jun 2009.
• Formalizing Metarouting in PVS. [Paper] [Talk]
  Anduo Wang, and Boon Thau Loo.
  Automated Formal Methods (AFM), in conjunction with CAV, Grenoble, France, Jun 2009.
• Veracity: Practical Secure Network Coordinates via Vote-based Agreements. [Paper]
  Micah Sherr, Matt Blaze, and Boon Thau Loo.
  USENIX Annual Technical Conference, San Diego, CA, June 2009. [16.8% acceptance]
• Recursive Computation of Regions and Connectivity in Networks. [Paper] [Extended TR]
  Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary Ives, and Boon Thau Loo.
  25th International Conference on Data Engineering (ICDE), Shanghai, China, Apr 2009. [16.8% acceptance]
• Unified Declarative Platform for Secure Networked Information Systems. [Paper] [Talk]
  Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martín Abadi.
  25th International Conference on Data Engineering (ICDE), Shanghai, China, Apr 2009. [16.8% acceptance]
• Declarative Reconfigurable Trust Management. [Paper] [Talk]
  William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, and Boon Thau Loo.
  4th Biennial Conference on Innovative Data Systems Research (CIDR) Proceedings Track, Pacific Grove, CA, Jan 2009. [27.1% acceptance]
• Declarative Network Verification. [Paper] [Talk]
  Anduo Wang, Prithwish Basu, Boon Thau Loo, and Oleg Sokolsky.
  11th International Symposium on Practical Aspects of Declarative Languages (PADL), in conjunction with POPL, Savannah, Georgia, Jan 2009.

2008

• MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. [Paper] [Talk]
  Yun Mao, Boon Thau Loo, Zachary Ives, and Jonathan M. Smith
  4th Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT), Madrid, Spain, Dec 2008. [17.5% acceptance]
• A Declarative Perspective on Adaptive MANET Routing. [Paper] [Talk]
  Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, and Boon Thau Loo.
  ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of TOmorrow (PRESTO), Seattle, WA, Aug 2008. [46.2% acceptance]
• Trace-driven Analysis of an Internet-scale Cloud Computing Platform (Poster). [Paper] [Poster]
  Harrison Duong, Boon Thau Loo, and Godfrey Tan
  USENIX Annual Technical Conference, Boston, MA, June 2008.
• OntoNet: Scalable Knowledge-Based Networking. [Paper] [Talk]
  Joseph B. Kopena and Boon Thau Loo.
  4th International Workshop on Networking meets Databases (NetDB), in conjunction with ICDE, Cancun, Mexico, Apr 2008.
• Provenance-aware Secure Networks. [Paper] [Talk]
  Wenchao Zhou, Eric Cronin and Boon Thau Loo.
  4th International Workshop on Networking meets Databases (NetDB), in conjunction with ICDE, Cancun, Mexico, Apr 2008.
• Veracity: A Fully Decentralized Service for Securing Network Coordinate Systems. [Paper]
  Micah Sherr, Boon Thau Loo, and Matt Blaze
  7th International Workshop on Peer-to-Peer Systems (IPTPS), Tampa Bay, Florida, Feb 2008. [30.9% acceptance]

2007

• The Case for a Unified Extensible Data-centric Mobility Infrastructure. [Paper] [Talk]
  Yun Mao, Boon Thau Loo, Zachary Ives, and Jonathan M. Smith.
  2nd ACM International Workshop on Mobility in the Evolving Internet Architecture (MobiArch), in conjunction with SIGCOMM, Kyoto, Japan, Aug 2007. [23.9% acceptance]
• Boon Thau Loo Speaks Out. (Interview) [Paper]
  Courtesy of Marianne Winslett and ACM SIGMOD Record (Sept 2007 edition).
• Towards Application-Aware Anonymous Routing. [Paper]
  Micah Sherr, Boon Thau Loo, and Matt Blaze
  2nd USENIX Workshop on Hot Topics in Security (HotSec), in conjunction with USENIX Security Symposium, Boston, MA, Aug 2007. [33.3% acceptance]
• Towards a Declarative Language and System for Secure Networking. [Paper]
  Martín Abadi and Boon Thau Loo.
  3rd International Workshop on Networking meets Databases (NetDB), in conjunction with NSDI, Cambridge, MA, Apr 2007.

Older Publications

• Public Health for the Internet (PHI): Towards a New Grand Challenge for Information Management. [Paper]
  Joseph M. Hellerstein, Tyson Condie, Minos Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, and Nina Taft.
  3rd Biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, Jan 2007.
• The Design and Implementation of Declarative Networks. [Paper]
  Boon Thau Loo.
  UC Berkeley Ph.D. Thesis, Dec 2006.
  2007 ACM SIGMOD Dissertation Award.
• Declarative Networking: Language, Execution and Optimization. [Paper]
  Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica.
  ACM SIGMOD International Conference on Management of Data, Chicago, June 2006.
• Implementing Declarative Overlays. [Paper]
  Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, and Ion Stoica.
  20th ACM Symposium on Operating Systems Principles (SOSP), Brighton, UK, October 2005.
• Declarative Routing: Extensible Routing with Declarative Queries. [Paper]
  Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, and Raghu Ramakrishnan.
  ACM SIGCOMM Conference on Data Communication, Philadelphia, PA, Aug 2005.
• The Architecture of PIER: an Internet-Scale Query Processor. [Paper]
  Ryan Huebsch, Brent Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, and Aydan R. Yumerefendi.
  2nd Biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, Jan 2005.
• Customizable Routing with Declarative Queries. [Paper]
  Boon Thau Loo, Joseph M. Hellerstein, and Ion Stoica.
  3rd Workshop on Hot Topics in Networks (ACM SIGCOMM HotNets-III), San Diego, CA, Nov 2004.
• Enhancing P2P File-Sharing with an Internet-Scale Query Processor. [Paper]
  Boon Thau Loo, Joseph M. Hellerstein, Ryan Huebsch, Scott Shenker, and Ion Stoica.
  30th International Conference on Very Large Databases (VLDB), Toronto, Canada, Sep 2004.
• Querying and Routing in Next-Generation Networks [Paper]
  Boon Thau Loo.
  Ph.D. Qualifying Examination Proposal, Aug 2004.
• Querying Network Graphs with Recursive Queries. [Paper]
  Boon Thau Loo.
  UC Berkeley Technical Report UCB//CSD-4-1332, Jun 2004.
• Querying at Internet-Scale (Demo). [Paper]
  Brent Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean C. Rhea, Scott Shenker, and Ion Stoica.
  ACM SIGMOD, Paris, France, Jun 2004.
• The Case for a Hybrid P2P Search Infrastructure. [Paper]
  Boon Thau Loo, Ryan Huebsch, Ion Stoica, and Joseph M. Hellerstein.
  3rd International Workshop on Peer-to-Peer Systems (IPTPS), San Diego, CA, Feb 2004.
• Distributed Web Crawling over DHTs. [Paper]
  Boon Thau Loo, Sailesh Krishnamurthy, and Owen Cooper.
  UC Berkeley Technical Report UCB//CSD-4-1305, Feb 2004.
• Analyzing P2P Overlays with Recursive Queries. [Paper]
  Boon Thau Loo, Ryan Huebsch, Joseph M. Hellerstein, Timothy Roscoe, and Ion Stoica.
  Intel Research Technical Report, IRB-TR-03-045, Nov 2003.
• Measurement and Analysis of Ultrapeer-based P2P Search Networks. [Paper]
  Boon Thau Loo, Joseph Hellerstein, Ryan Huebsch, Scott Shenker and Ion Stoica.
  UC Berkeley Technical Report UCB//CSD-3-1277, Nov 2003
• Querying the Internet with PIER. [Paper]
  Ryan Huebsch, Joseph M. Hellerstein, Nick Lanham, Boon Thau Loo, Scott Shenker, and Ion Stoica.
  29th International Conference on Very Large Databases (VLDB), Berlin, Germany, Sep 2003.
• On the Feasibility of Peer-to-Peer Web Indexing and Search. [Paper]
  Jinyang Li, Boon Thau Loo, Joseph M. Hellerstein, Frans Kaashoek, David Karger, and Robert Morris.
  2nd International Workshop on Peer-to-Peer Systems (IPTPS), Berkeley, CA, Feb 2003.
• Peer-to-Peer Backup for Personal Area Networks. [Paper]
  Boon Thau Loo, Anthony LaMarca, and Gaetano Borriello.
  Intel Research Technical Report IRS-TR-02-015, Oct 2002.
• Complex Queries in DHT-based Peer-to-Peer Networks. [Paper]
  Matthew Harren, Joseph M. Hellerstein, Ryan Huebsch, Boon Thau Loo, Scott Shenker, and Ion Stoica.
  1st International Workshop on Peer-to-Peer Systems (IPTPS), Cambridge, MA, Mar 2002.
• Adaptive Precision Setting for Cached Approximate Values. [Paper]
  Chris Olston, Boon Thau Loo, and Jennifer Widom.
  ACM SIGMOD International Conference on Management of Data 2001, Santa Barbara, California, May 2001.