Google scholar (by year)

2014

  • Deconstructing MPTCP Performance.
    Behnaz Arzani, Alexander Gurney, Sitian Cheng, Roch Guerin, and Boon Thau Loo.
    22nd IEEE International Conference on Network Protocols (ICNP), 2014. (short paper)
  • Toward Automated Analysis and Actuation for Software Defined Infrastructure. [Link]
    Boon Thau Loo.
    SDN Central Invited article, 2014.
  • Diagnosing Missing Events in Distributed Systems with Negative Provenance.
    Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo.
    ACM SIGCOMM Conference on Data Communication, 2014.
  • A Program Logic for Verifying Secure Routing Protocols.
    Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou and Boon Thau Loo.
    34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), 2014.
  • Exploiting Cloud Heterogeneity for Optimized Cost/Performance MapReduce Processing.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    Fourth International Workshop on Cloud Data and Platforms (CloudDP 2014).
  • Declarative Platform for High-Performance Network Traffic Analytics.
    Harjot Gill, Dong Lin, Cam Nguyen, Tanveer Gill, and Boon Thau Loo.
    Cluster Computing journal, 2014.
    Special Issue on selected best papers of HPDC 2013.
  • Logic-based Verification of Software Defined Networks.
    Chen Chen, Limin Jia, Wenchao Zhou, and Boon Thau Loo.
    Open Networking Summit (ONS), 2014.
  • Optimizing Cost and Performance Trade-Offs for MapReduce Job Processing in the Cloud.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    IFIP/IEEE Network Operations and Management Symposium (NOMS 2014).
  • Impact of Path Selection and Scheduling Policies on MPTCP Performance.
    Behnaz Arzani, Alexander Gurney, Shuotian Cheng, Roch Guerin and Boon Thau Loo.
    4th International Workshop on Protocols and Applications with Multi-Homing Support (PAMS 2014).
  • A Reduction-based Approach Towards Scaling Up Formal Analysis of Internet Configurations.
    Anduo Wang, Alexander Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn Talcott, and Andre Scedrov.
    33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014.
  • Parameterizable Benchmarking Framework for Designing a MapReduce Performance Model.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    Concurrency and Computation: Practice and Experience journal, 2014.
    ICPE 2013 special issue.

2013

  • Datalog and Recursive Query Processing. [Link]
    Todd J. Green, Shan Shan Huang, Boon Thau Loo, and Wenchao Zhou.
    Foundations and Trends in Databases, Nov, 2013.
  • PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking.
    Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, and Prithwish Basu.
    IEEE/ACM Transactions on Networking (ToN), 2013.
  • The Design and Implementation of the A3 Application-Aware Anonymity Platform.
    Micah Sherr, Harjot Gill, Taher Aquil Saeed, Andrew Mao, William R. Marczak, Saravana Soundararajan, Wenchao Zhou, Boon Thau Loo, and Matt Blaze.
    Computer Networks (COMNET), Elsevier Publishing, 2013.
  • Answering Why-Not Queries in Software-Defined Networks with Negative Provenance.
    Yang Wu, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo.
    Twelfth ACM Workshop on Hot Topics in Networks (HotNets-XII), 2013.
  • Systems, Methods, and Articles of Manufacture to Provide Cloud Resource Orchestration.
    Yun Mao, Changbin Liu, Boon Thau Loo, and Jacobus Van der Merwe.
    US Patent 20130111033 A1, 2013.
  • Automated Synthesis of Reactive Controllers for Software-Defined Networks.
    Anduo Wang, Salar Moarref, Ufuk Topcu, Boon Thau Loo and Andre Scedrov.
    3rd International Workshop on Rigorous Protocol Engineering (WRiPE), 2013.
  • Performance Modeling and Optimization of Deadline-Driven Pig Programs.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2013.
    Journal version of ACM ICAC'12 best student paper award.
  • On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers.
    Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo.
    Formal Methods in Computer-Aided Design (FMCAD), 2013.
  • A Formal Framework for Secure Routing Protocols.
    Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou and Boon Thau Loo.
    Workshop on Foundations of Computer Security (FCS), co-located with CSF, New Orleans, Louisiana, June 2013.
  • The NEBULA Future Internet Architecture.
    The NSF NEBULA FIA Team.
    The Future Internet, Springer Berlin Heidelberg publisher, 2013.
  • Distributed Time-aware Provenance. [Paper]
    Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr.
    39th International Conference on Very Large Databases (VLDB), Aug 2013.
  • AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    9th ACM International Conference on Autonomic Computing (ICAC) Management of Big Data Systems (MBDS) track, June 2013.
  • Performance Modeling of MapReduce Jobs in Heterogeneous Environments.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    IEEE 6th International Conference on Cloud Computing (CLOUD), June, 2013.
  • Scalanytics: A Declarative Multi-core Platform for Scalable Composable Traffic Analytics.
    Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, and Boon Thau Loo.
    22nd International ACM Symposium on High Performance and Distributed Computing (HPDC), June, 2013. (15.3% acceptance)
  • Getting More for Less in Optimized MapReduce Workflows.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    IFIP/IEEE Integrated Network Management Symposium (IM), May 2013.
  • Benchmarking Approach for Designing a MapReduce Performance Model.
    Zhuoyao Zhang, Ludmila Cherkasova, and Boon Thau Loo.
    4th ACM/SPEC International Conference on Performance Engineering (ICPE), Apr 2013.
  • Towards Dynamic Pricing-Based Collaborative Optimizations for Green Data Centers.
    Yang Li, David Chiu, Changbin Liu, Linh T.X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, David Maier, and Bart McManus.
    Second International Workshop on Data Management in the Cloud (DMC), co-located with ICDE, Apr 2013.

2012

  • Declarative Secure Distributed Information Systems. [Link]
    Wenchao Zhou, Tao Tao, Boon Thau Loo, and Yun Mao.
    Computer Languages, Systems & Structures (COMLAN), Elsevier Publishing, 2012.
  • Reduction-based Security Analysis of Internet Routing Protocols.
    Chen Chen, Limin Jia, Boon Thau Loo, and Wenchao Zhou.
    2nd International Workshop on Rigorous Protocol Engineering (WRiPE), co-located with ICNP 2012, Oct 2012.
  • AS-CRED: Reputation and Alert Service for Inter-domain Routing.
    Jian Chang, Krishna Venkatasubramanian, Andrew West, Sampath Kannan, Insup Lee, Boon Thau Loo, and Oleg Sokolsky.
    IEEE Systems Journal (Special Issue on Security and Privacy of Complex Systems), 2012.
  • Collaborative Red Teaming for Anonymity System Evaluation. [Paper]
    Sandy Clark, Chris Wacek, Matt Blaze, Boon Thau Loo, Clay Shields, and Jonathan Smith.
    5th Workshop on Cyber Security Experimentation and Test (CSET), co-located with USENIX Security, 2012.
  • Automated Profiling and Resource Management of Pig Programs for Meeting Service Level Objectives. [Paper]
    Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, and Boon Thau Loo.
    9th ACM International Conference on Autonomic Computing (ICAC), Sept 2012. (24.2% acceptance)
    Best student paper award.
  • 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 SIGOPS Operating Systems Review (OSR), 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. [PDF]
    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.
  • Privacy-Preserving Collaborative Verification Protocols.
    Andreas Haeberlen, Mingchen Zhao, Wenchao Zhou, Alexander Gurney, Micah Sherr and Boon Thau Loo. 2012.
    Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2012), Madeira, July, 2012.
  • Brief Announcement: A Calculus of Policy-Based Routing Systems. [Paper]
    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), July, 2012.
  • TROPIC: Transactional Resource Orchestration Platform In the Cloud. [Paper]
    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)
  • Optimizing Completion Time and Resource Provisioning of Pig Programs.
    Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, and Boon Thau Loo.
    Workshop on Cloud Computing Optimization (CCOPT), May 2012.
  • Meeting Service Level Objectives of Pig Programs.
    Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, and Boon Thau Loo
    2nd International Workshop on Cloud Computing Platforms (CloudCP), Apr 2012.
  • Implementing Network Protocols as Distributed Logic Programs. [Link]
    Boon Thau Loo.
    Association of Logic Programming (ALP) Newsletter, Mar 2012. (invited article).
  • Declarative Networking. [Link]
    Boon Thau Loo, and Wenchao Zhou.
    Morgan & Claypool's Synthesis Lectures on Data Management, 2012.
  • Maintaining Distributed Logic Programs Incrementally. [Paper]
    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)
  • Towards a Secure and Verifiable Future Internet. [Paper]
    Limin Jia, Chen Chen, Sangeetha A. Jyothi, Wenchao Zhou, Suyog Mapara, and Boon Thau Loo.
    Off the Beaten Track: Underrepresented Problems for Programming Language Researchers, co-located with POPL, 2012.
  • Declarative Constraint Optimization in Distributed Systems. [Paper]
    Changbin Liu, and Boon Thau Loo.
    Workshop on Languages for Distributed Algorithms (LADA), co-located with POPL, Jan 2012.
  • Declarative Multicore Programming of Software-based Stateful Packet Processing.
    Harjot Gill, Dong Lin, Trisha Kothari and Boon Thau Loo.
    Declarative Aspects and Applications of Multicore Programming (DAMP), co-located with POPL, Jan 2012.
  • 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

  • An Empirical Analysis of Scheduling Techniques for Real-time Cloud-based Data Processing. [Paper]
    Linh P.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, and Insup Lee.
    4th IEEE International Workshop on Real-time Service-Oriented Architecture and Application (RTSOAA), Irvine, Dec 2011.
  • 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)
  • Partial Specifications of Routing Configurations. [Paper] [Extended TR]
    Alexander J. T. Gurney, Limin Jia, Anduo Wang, and Boon Thau Loo.
    1st International Workshop on Rigorous Protocol Engineering (WRiPE), co-located with ICNP 2011, Vancouver, Canada, Oct 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.
  • 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.
  • Towards Self-Explaining Networks. [Paper]
    Wenchao Zhou, Qiong Fei, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr.
    Future Internet Workshop (FIW), Philadelphia, June 2011
  • TAP: Time-aware Provenance for Distributed Systems. [Paper]
    Wenchao Zhou, Ling Ding, Andreas Haeberlen, Zachary Ives, and Boon Thau Loo
    3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP '11), Heraklion, Greece, June 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)
  • AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. [Paper]
    Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, and Insup Lee.
    4th International Conference on Trust and Trustworthy Computing (TRUST 2011), Pittsburgh, PA, June 2011.
  • 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.

2010

  • A Policy-based Constraint-solving Platform Towards Extensible Wireless Channel Selection and Routing. [Paper]
    Changbin Liu, Xiaozhou Li, Shivkumar C. Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, and Prithwish Basu.
    ACM Workshop on Programmable Routers for Extensible Services of TOmorrow (PRESTO), in conjunction with ACM CoNEXT, Philadelphia, PA, Dec 2010.
  • On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform. [Paper]
    Zhuoyao Zhang, Linh T.X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, and Insup Lee.
    ACM/IFIP/USENIX 11th International Middleware Conference (Industry Track), Bangalore, India, Dec 2010.
  • Towards a Data-centric View of Cloud Security. [Paper]
    Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee.
    Second International Workshop on Cloud Data Management (CloudDB), in conjunction with CIKM, Toronto, Canada, Oct 2010.
  • An Operational Semantics for Network Datalog. [Paper]
    Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, and Andre Scedrov.
    Third International Workshop on Logics, Agents, and Mobility (LAM), in conjunction with LICS, Edinburgh, Scotland, July 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.
  • 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), Indianapolis, Indiana, June 2010. (20.8% acceptance)
  • 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), Indianapolis, Indiana, June 2010. (20.8% acceptance)
  • Ontologies for Distributed Command and Control Messaging. [Paper]
    Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, and William C. Regli.
    6th International Conference on Formal Ontology in Information Systems (FOIS), Toronto, Canada, May 2010. (39% acceptance)
  • SmartCIS: Integrating Digital and Physical. [Paper]
    Mengmeng Liu, Svilen R. Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, and Sudipto Guha.
    ACM SIGMOD Record, Mar 2010.
  • A3: An Extensible Platform for Application-Aware Anonymity. [Paper]
    Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, and Matt Blaze.
    17th Annual Network & Distributed System Security Symposium (NDSS), San Diego, CA, Feb 2010. (15.4% acceptance)

2009

  • 5th International Workshop on Networking Meets Databases (NetDB 2009) [Report]
    Boon Thau Loo, and Stefan Saroiu
    ACM SIGMOD Record and the ACM Operating Systems Review (OSR), Dec 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]
  • RapidMesh: Declarative Toolkit for Rapid Experimentation of Wireless Mesh Networks. [Paper] [Talk] [Demo] [Demo videos]
    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]
  • SmartCIS: Integrating Digital and Physical Environments.
    Mengmeng Liu, Svilen Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, Sudipto Guha
    ACM SIGMOD International Conference on Management of Data (demo), Providence, RI, June 2009.
    Honorable Mention Award, one of the three top demos at SIGMOD 2009.
  • 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.