List all publications

Selected publications (by area)

2012

  • Cologne: A Declarative Distributed Constraint Optimization Platform. [Paper]
    Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu.
    38th International Conference on Very Large Databases (VLDB), Aug, 2012.
  • Private and Verifiable Interdomain Routing Decisions.
    Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, and Boon Thau Loo
    ACM SIGCOMM Conference on Data Communication, Helsinki, Finland, August 2012.
  • A Calculus of Policy-Based Routing Systems.
    Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo, and Andre Scedrov.
    31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2012. (Brief announcement)
  • TROPIC: Transactional Resource Orchestration Platform In the Cloud.
    Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernández, Boon Thau Loo, and Jacobus E. Van der Merwe.
    USENIX Annual Technical Conference (USENIX ATC), 2012. (18.4% acceptance)
  • Declarative Networking. [Link]
    Boon Thau Loo, and Wenchao Zhou.
    Morgan Claypool's Synthesis Lectures on Data Management, 2012.
  • Implementing Network Protocols as Distributed Logic Programs. [Link]
    Boon Thau Loo.
    Association of Logic Programming (ALP) Newsletter, Mar 2012. (invited article).
  • Maintaining Distributed Logic Programs Incrementally.
    Vivek Nigam, Limin Jia, Boon Thau Loo and Andre Scedrov.
    Computer Languages, Systems & Structures (COMLAN), Elsevier Publishing, 2012.
  • FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing. [Paper]
    Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott.
    IEEE/ACM Transactions on Networking (ToN), 2012.
  • Reduction-based Formal Analysis of BGP Instances. [Paper] [Technical report]
    Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo and Andre Scedrov.
    18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2012. (24.5% acceptance)
  • Recent Advances in Declarative Networking. [Paper]
    Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang and Wenchao Zhou.
    Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL), co-located with POPL, Jan 2012. (invited paper and keynote speech)
  • PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking (presentation and demo). [Paper] [Demo]
    Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, and Prithwish Basu.
    4th International Conference on Communication Systems and Networks (COMSNETS), Jan 2012. (27% acceptance)

2011

  • Experiences in Teaching an Educational User-Level Operating Systems Implementation Project. [Paper]
    Adam J. Aviv, Vin Mannino, Thanat Owlarn, Seth Shannin, Kevin Xu, and Boon Thau Loo
    ACM Operating Systems Review (OSR), 2012 (accepted).
  • Having your Cake and Eating it too: Routing Security with Privacy Protections. [Paper]
    Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, and Boon Thau Loo
    10th ACM Workshop on Hot Topics in Networks (HotNets-X), Cambridge, MA, November 2011. (20.2% acceptance)
  • Declarative Policy-based Adaptive Mobile Ad Hoc Networking. [Paper]
    Changbin Liu, Richardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao.
    IEEE/ACM Transactions on Networking (ToN), 2011.
  • MOSAIC: Declarative Platform for Dynamic Overlay Composition. [Paper] [Online]
    Yun Mao, Boon Thau Loo, Zachary G. Ives, and Jonathan M. Smith.
    Computer Networks (COMNET), Elsevier Publishing, 2011.
  • Secure Network Provenance. [Paper]
    Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr.
    23rd ACM Symposium on Operating Systems Principles (SOSP '11), Cascais, Portugal, Oct 2011. (18.4% acceptance)
  • Declarative Automated Cloud Resource Orchestration. [Paper]
    Changbin Liu, Boon Thau Loo, and Yun Mao.
    ACM Symposium on Cloud Computing (SOCC), Oct 2011. (16.9% acceptance)
  • An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming. [Paper] [Website]
    Harjot Gill, Taher Saeed, Qiong Fei, Zhuoyao Zhang, and Boon Thau Loo.
    ACM SIGCOMM Education Workshop, Toronto, Canada, Aug 2011.
  • FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing. [Paper] [Video]
    Yiqing Ren, Wenchao Zhou, Anduo Wang,  Limin Jia,  Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford.
    ACM SIGCOMM Conference on Data Communication (demonstration), Toronto, Canada, Aug, 2011.
    Runner-up for the ACM Student Research Competition at SIGCOMM'11.
  • NetTrails: A Declarative Platform for Provenance Maintenance and Querying in Distributed Systems. [Paper] [Video]
    Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr.
    ACM SIGMOD International Conference on Management of Data (demonstration), Athens, Greece, Jun 2011.
  • Datalog and Emerging Applications: An Interactive Tutorial. [Paper]
    Shan Shan Huang, Todd J. Green, and Boon Thau Loo.
    ACM SIGMOD International Conference on Management of Data (tutorial), Athens, Greece, Jun 2011.
  • Maintaining Distributed Logic Programs Incrementally. [Paper]
    Vivek Nigam, Limin Jia, Boon Thau Loo and Andre Scedrov.
    13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Odense, Denmark, July, 2011.
  • Analyzing BGP Instances in Maude. [Paper] [Technical Report]
    Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, and Andre Scedrov.
    International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE), Reykjavik, Iceland, June, 2011. (32.3% acceptance)

2010

  • Efficient Querying and Maintenance of Network Provenance at Internet-Scale. [Paper] [Talk]
    Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, and Yun Mao.
    ACM SIGMOD International Conference on Management of Data (SIGMOD), June 2010.
  • SecureBlox: Customizable Secure Distributed Data Processing. [Paper] [Talk]
    William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, and Molham Aref.
    ACM SIGMOD International Conference on Management of Data (SIGMOD), June 2010.
  • A3: An Extensible Platform for Application-Aware Anonymity. [Paper]
    Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou and Boon Thau Loo.
    17th Annual Network & Distributed System Security Symposium (NDSS), Feb 2010.
  • Maintaining Recursive Views of Regions and Connectivity in Networks. [Paper]
    Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo
    IEEE Transaction on Knowledge and Data Engineering (TKDE), 2010.
    Special Issue on Best papers of ICDE 2009.

2009

  • Formally Verifiable Networking. [Paper]
    Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwish Basu.
    8th Workshop on Hot Topics in Networks (ACM SIGCOMM HotNets-VIII), New York, Oct 2009.
  • (16.0% acceptance)
  • Declarative Networking. [Paper]
    Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica.
    Communications of the ACM (CACM), 2009.
  • Declarative Policy-based Adaptive MANET Routing. [Paper]
    Changbin Liu, Richardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao.
    17th IEEE International Conference on Network Protocols (ICNP), Princeton, New Jersey, Oct, 2009. [18.3% acceptance]
  • 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]

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]

Older publications

  • 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.
  • 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.