Publications

2024

  • Towards Full Stack Adaptivity in Permissioned Blockchains [Vision Paper]. Chenyuan Wu, Mohammad Javad Amiri, Haoyun Qin, Bhavana Mehta, Ryan Marcus, and Boon Thau Loo. 50th International Conference on Very Large Databases (VLDB), 2024.
  • Verifying Declarative Smart Contracts. Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo. 46th International Conference on Software Engineering (ICSE), April, 2024.
  • The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation. Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, and Mohammad Sadoghi. USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2024.
  • Error correction for network packets. Changbin Liu and Boon Thau Loo. US Patent US11863318B2, Jan 2024.

2023

  • Towards Adaptive Fault-Tolerant Sharded Databases (Extended Abstracts). Bhavana Mehta, Neelesh C A, Prashanth S Iyer, Mohammad Javad Amiri, Boon Thau Loo, and Ryan Marcus. 5th International Workshop on Applied AI for Database Systems and Applications (AIDB), Aug 2023.
  • AdaChain: A Learned Adaptive Blockchain. Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri, Ryan Marcus, and Boon Thau Loo. 49th conference on Very Large Databases (VLDB), Aug 2023.
  • FlexChain: An Elastic Disaggregated Blockchain. Chenyuan Wu, Mohammad Javad Amiri, Jared Asch, Heena Nagda, Qizhen Zhang, and Boon Thau Loo. 49th conference on Very Large Databases (VLDB), Aug 2023.
  • Saguaro: An Edge Computing-enabled Hierarchical Permissioned Blockchain. Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, and Wenchao Zhou. 39th IEEE International Conference on Data Engineering (ICDE), Apr 2023.
  • Towards Practical Application-level Support for Privilege Separation. Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis and Boon Thau Loo. Hot Topics in the Science of Security (HotSoS), 2023.
  • Templating Shuffles. Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, and Boon Thau Loo. Conference on Innovative Data Systems Research (CIDR), Jan 2023.
  • Offloading operations from a primary processing device to a secondary processing device. Changbin Liu and Boon Thau Loo. US Patent US11568089B2, Jan 2023.

2022

  • Towards Practical Application-level Support for Privilege Separation. Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijay Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilaki, and Boon Thau Loo. Annual Computer Security Applications Conference (ACSAC), 2022.
  • Synthesizing Formal Network Specifications from Input-Output Examples. Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, and Boon Thau Loo. IEEE/ACM Transactions on Networking (ToN), 2022.
  • Declarative Smart Contracts. Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, and Boon Thau Loo. 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Nov 2022.
  • Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. Mohammad Javad Amiri, Boon Thau Loo, Divy Agrawal, and Amr El Abbadi, 48th conference on Very Large Databases (VLDB), Aug 2022.
  • Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT. Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, and Boon Thau Loo. ACM SIGMOD International Conference on Management of Data, June 2022.
  • Automatic Repair for Network Programs. Lei Shi, Yuepeng Wang, Boon Thau Loo and Rajeev Alur. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2022.
  • The Use of Crowdfunding and Social Media Platforms in Strategic Start-up Communication: A Big-data Analysis. Sun-Young Park and Boon Thau Loo. International Journal of Strategic Communication 16 (2), 313-331, Mar 2022.
  • CompuCache: Remote Computable Caching with Spot VMs. Qizhen Zhang, Philip Bernstein, Daniel Berger, Badrish Chandramouli, Vincent Liu, and Boon Thau Loo. Conference on Innovative Data Systems Research (CIDR), Jan 2022.

2021

  • Switching between Network Protocols for a Data Storage System. Changbin Liu and Boon Thau Loo. US Patent US11212349 B1, Dec 2021.
  • IPC Evolution Through Declarative Interface Generation. Nik Sultana, Saket Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, and Boon Thau Loo. Descriptive Approaches to IoT Security, Network, and Application Configuration (DAI-SNAC), Dec, 2021 (co-located with CoNEXT).
  • When Idling is Ideal: Optimizing Tail-Latency for Highly-Dispersed Datacenter Workloads with Perséphone. Max Demoulin, Josh Fried, Issac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, and Irene Zhang, 28th ACM Symposium on Operating Systems Principles (SOSP), October 2021.
  • Flightplan: Dataplane Disaggregation and Placement for P4 Programs. Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, Andre Dehon, and Boon Thau Loo. USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2021.
  • Network Traffic Classification by Program Synthesis. Lei Shi, Yahui Li, Boon Thau Loo and Rajeev Alur. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2021.
  • FDP: A Teaching and Demonstration Platform for Networking. Heena Nagda, Rakesh Nagda, Nik Sultana, Swapneel Sheth and Boon Thau Loo. SIGCSE Technical Symposium (Demo), Mar 2021. [Link]

2020

  • A Case Study of Fine-Grained Software Compartmentalization using cURL. Stephen Carrasquillo, Junyong Zhao, Henry Zhu, Nil Sultana, and Boon Thau Loo. 2020 Annual Computer Security Applications Conference (ACSAC Posters), Dec 2020.
  • The Usability of a Debugger Designed for Compartmentalized Systems. Junyong Zhao, Henry Zhu, Nik Sultana and Boon Thau Loo. 2020 Annual Computer Security Applications Conference (ACSAC Posters), Dec 2020.
  • FDP: A Teaching and Demo Platform for P4-based SDN. Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, and Boon Thau Loo. 16th International Conference on emerging Networking EXperiments and Technologies (CONEXT 2020 Posters), Dec 2020.
  • Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, Edited by Vivek Nigam, Tanjanan Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, and Mitsuhiro Okada, Lecture Notes in Computer Science, 12300, Springer International Publishing, Oct 2020.
  • Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs. Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, and Boon Thau Loo, 46th conference on Very Large Databases (VLDB), Aug 2020.
  • FDP: A Teaching and Demo Platform for P4-based SDN. Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, and Boon Thau Loo. ACM SIGCOMM 2020 Networking Networking Women Professional Development Workshop (N2Women), Aug 2020. Runner-up award.
  • Debugging Strongly-compartmentalized Distributed Systems. [Paper] [Video] Henry Zhu, Nik Sultana and Boon Thau Loo. 22nd Workshop on Advances in Parallel and Distributed Computational Models (APDCM), May 2020.
  • Provenance for Probabilistic Logic Programs. [Paper] [Video] Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson and Chen Chen. 23rd International Conference on Extending Database Technology, (EDBT), Apr 2020. Best paper award.
  • Rethinking Data Management Systems for Disaggregated Data Centers. Qizhen Zhang, Yifai Cai, Sebastian Angel, Ang Chen, Vincent Liu, and Boon Thau Loo. Conference on Innovative Data Systems Research (CIDR), Jan, 2020.

2019

  • Trace-based Behaviour Analysis of Network Servers. Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, and Boon Thau Loo. International Conference on Network and Service Management (CNSM), 2019.
  • TMC: Pay-as-you-Go Distributed Communication. Max Demoulin, Nikos Vasilakis, John Sonchack, Isaac Pedisich, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan, Jonathan M. Smith, Irene Zhang. 3rd Asia-Pacific Workshop on Networking (APNET), Aug 2019.
  • Detecting Application-layer Denial-of-Service Attacks with FineLame. Henri Maxime Demoulin, Isaac Pedisich, Nikos Vasilakis. Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan. 2019 USENIX Annual Technical Conference (ATC), July 2019.
  • Hashtray: Turning the Tables on Scalable Client Classification. Nik Sultana, Pardis Pashakhanloo, Achala Rao, Zihao Jin, and Boon Thau Loo. 4th IEEE/IFIP International Workshop on Analytics for Network and Service Management (AnNet), Apr 2019.
  • Optimizing Declarative Graph Queries at Large Scale. Qizhen Zhang, Akash Acharya, Hongzhi Chen, Simran Arora, Ang Chen, Vincent Liu, and Boon Thau Loo. ACM SIGMOD International Conference on Management of Data, June, 2019.
  • An Extensible Evaluation System for DoS Research. Nik Sultana, Shilpi Bose, and Boon Thau Loo. 11th International Conference on COMmunication Systems & NETworks (COMSNETS), 2019.

2018

  • DeDoS: Defusing DoS with Dispersion Oriented Software. Henri Maxime Demoulin*, Tavish Vaidya*, Isaac Pedisich, Bob Dimaiolo, Jingyu Qian, Chirag Shah, Yuankai Zhang, Ang Chen, Andreas Haeberlen, Boon Loo, Linh Phan, Micah Sherr, Clay Shields and Wenchao Zhou. Annual Computer Security Applications Conference (ACSAC), 2018. *Lead students are listed alphabetically.
  • Making Break-ups Less Painful: Source-level Support for Transforming Legacy Software into a Network of Tasks. Nik Sultana, Achala Rao, Zihao Jin, Henry Zhu, Ke Zhong, and Boon Thau Loo. Workshop on Forming an Ecosystem Around Software Transformation (FEAST), co-located with CCS, 2018.
  • Big data and crowdfunding for startups: An application of social capital theory. Sun-Young Park, and Boon Thau Loo. Association for Education in Journalism and Mass Communication (AEJMC), August 2018.
  • BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks. Raj Joshi, Ting Qu, Mun Choon Chan, Ben Leong and Boon Thau Loo. ACM Asia-Pacific Workshop on Systems (APSys), August 2018.
  • NetEgg: A Scenario-based Programming Toolkit for SDN Policies. Yifei Yuan, Dong Lin, Anil Siri, Harsh Verma, Anirudh Chelluri, Rajeev Alur, and Boon Thau Loo. ACM/IEEE Transactions on Networking (ToN), 2018. [Paper]
  • Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks Henri Maxime Demoulin, Isaac Pedisich, Linh Thi Xuan Phan, and Boon Thau Loo. ACM SIGCOMM Workshop on Self-Driving Networks (SDN), August 2018. [Paper]
  • In-network Computing to the Rescue of Faulty Links Hans Giesen, Lei Shi, John Sonchack, Anirudh Chelluri, Nishant Prabhu, Nik Sultana, Latha Kant, Anthony J. McAuley, Alexander Poylisher, Andre Dehon, and Boon Thau Loo. ACM SIGCOMM 2018 Workshop on In-Network Computing (NetCompute), August 2018.
  • Towards Example-Guided Network Synthesis Haoxian Chen, Anduo Wang, and Boon Thau Loo. Second Asia-Pacific Workshop on Networking (APNet), August 2018.
  • Data Center Diagnostics with Network Provenance Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou. IEEE Data Eng. Bull. 41(1): 74-85 (2018)
  • 007: Democratically Finding The Cause of Packet Drops Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Geoff Outhred, and Boon Thau Loo. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Apr, 2018.

2017

  • Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis Qizhen Zhang, Tengyuan Ye, Meryem Essaidi, Shivani Agarwal, Vincent Liu and Boon Thau Loo International Conference on Information and Knowledge Management (CIKM), Nov 2017.
  • Architectural Implications on the Performance and Cost of Graph Analytics Systems Qizhen Zhang, Hongzhi Chen, Da Yan, James Cheng, Boon Thau Loo, and Purushotham Bangalore ACM Symposium on Cloud Computing (SoCC), Sept, 2017.
  • Quantitative Network Monitoring with NetQRE Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, and Boon Thau Loo ACM SIGCOMM Conference on Data Communication, Aug, 2017.
  • A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers (demo) [Video] Henri Maxime Demoulin*, Tavish Vaidya*, Isaac Pedisich, Nik Sultana, Jingyu Qian, Bowen Wang, Yuankai Zhang, Ang Chen, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou. ACM SIGCOMM demonstration, Aug, 2017. (*Lead students are listed alphabetically.) First prize for the ACM Student Research Competition at SIGCOMM’17.
  • Closing the Network Diagnostics Gap with Vigil (Poster) Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Geoff Outhred, and Boon Thau Loo ACM SIGCOMM poster, Aug 2017.
  • Methods, Systems, and Computer Readable Media for Generating Software Defined Networking (SDN) Policies Yifei Yuan, Rajeev Alur, and Boon Thau Loo US patent US20170093924 A1, July 2017.
  • Distributed Provenance Compression Chen Chen, Harshal Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, and Wenchao Zhou ACM SIGMOD International Conference on Management of Data, June, 2017.
  • One Primitive to Diagnose Them All: Architectual Support for Internet Diagnostics Ang Chen, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo EuroSys, Apr, 2017.
  • Automated Bug Removal for Software-Defined Networks Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Apr, 2017.
  • Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead Ang Chen*, Yang Wu*, Andreas Haeberlen, Boon Thau Loo, and Wenchao Zhou. 8th Biennial Conference on Innovative Data Systems Research (CIDR) Proceedings Track, Jan, 2017. *Student authors are listed alphabetically with equal contributions.

2016

  • Dispersing Asymmetric DDoS Attacks with SplitStack Ang Chen*, Akshay Sriraman*, Tavish Vaidya*, Yuankai Zhang*, Andreas Haeberlen, Boon Thau Loo, Linh T. X. Phan, Micah Sherr, Clay Shields, and Wenchao Zhou. Fifteenth ACM Workshop on Hot Topics in Networks (HotNets), Nov, 2016. *Student authors are listed alphabetically with equal contributions.
  • The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance [Paper] Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. ACM SIGCOMM Conference on Data Communication, Aug, 2016. (17.3% acceptance)
  • Taking the Blame Game out of Data Centers Operations with NetPoirot [Paper] [Video] Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, and Geoff Outhred. ACM SIGCOMM Conference on Data Communication, Aug, 2016. (17.3% acceptance)
  • Scalable and Anonymous Group Communication with MTor [Paper] Dong Lin, Micah Sherr, and Boon Thau Loo. Proceedings on Privacy Enhancing Technologies (PoPETS), July, 2016
  • Enabling Incremental Query Re-Optimization [Paper] Mengmeng Liu, Zachary Ives, and Boon Thau Loo. ACM SIGMOD International Conference on Management of Data, June, 2016.
  • Collection, Exploration and Analysis of Crowdfunding Social Networks. [Link] Miao Cheng, Anand Sriramulu, Sudarshan Muralidhar, Boon Thau Loo, Laura Huang and Po-Ling Loh. 3rd International Workshop on Exploratory Search in Databases and the Web (ExploreDB), co-located with SIGMOD, June, 2016.
  • Network Functions Virtualization with Soft Real-Time Guarantees [Paper] Yang Li, Linh T.X. Phan, and Boon Thau Loo. IEEE International Conference on Computer Communications (INFOCOM), Apr, 2016 (18.25% acceptance).

2015

  • FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering [Link] Behnaz Arzani, Alexander Gurney, Bo Li, Xianglong Han, Roch Guerin, Boon Thau Loo. arXiv:1511.08791m, 2015.
  • A Program Logic for Verifying Secure Routing Protocols. [Paper] Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, and Boon Thau Loo. Logical Methods in Computer Science Journal, 2015.
  • Scenario-based Programming for SDN Policies. [Paper] Yifei Yuan, Dong Lin, Rajeev Alur, and Boon Thau Loo. 11th Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT), Heidelberg, Germany, Dec 2015. [20.9% acceptance] One of 5 papers nominated for best paper award.
  • Differential Provenance: Better Network Diagnostics with Reference Events. [Paper] Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 14th ACM Workshop on Hot Topics in Networks (HotNets), 2015.
  • Automated Network Repair with Meta Provenance. [Paper] Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 14th ACM Workshop on Hot Topics in Networks (HotNets), 2015.
  • Automating Platform Selection for MapReduce Processing in the Cloud. [Link] Zhuoyao Zhang, Lucy Cherkasova, and Boon Thau Loo. 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), 2015.
  • Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing. [Paper] Zhuoyao Zhang, Lucy Cherkasova, and Boon Thau Loo. ACM SIGMETRICS Performance Evaluation Review, (PER), Special Issue on Performance and Resource Management in Big Data Applications, March, 2015.
  • Automated Verification of Safety Properties in Declarative Networking Programs. [Paper] Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, and Boon Thau Loo. 17th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), July, 2015.
  • A Scalable Multi-Datacenter Layer-2 Network Architecture. [Paper] Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, and Ling Ding. Symposium on SDN Research (SOSR), 2015.
  • Private and Verifiable Interdomain Routing Decisions. Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, and Boon Thau Loo IEEE/ACM Transactions on Networking (ToN), 2015.

2014

  • A Brief Overview of the NEBULA Future Internet Architecture [Paper] The Nebula FIA team ACM SIGCOMM Computer Communication Review, 2014.
  • NetEgg: Programming Network Policies by Examples. [Paper] Yifei Yuan, Rajeev Alur, and Boon Thau Loo. 13th ACM Workshop on Hot Topics in Networks (HotNets-XIV), 2014.
  • Deconstructing MPTCP Performance. [Link] 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

  • 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) Best papers of HPDC 2013. Commercialized as Netsil Inc. acquired by Nutanix Inc.
  • 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. [Paper] 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. [Paper] 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).
  • 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.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.