Boon Thau Loo

According to our database, Boon Thau Loo authored at least 175 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Towards Full Stack Adaptivity in Permissioned Blockchains.

Chenyuan Wu, Mohammad Javad Amiri, Haoyun Qin, Bhavana Mehta, Ryan Marcus, Boon Thau Loo

Proc. VLDB Endow., January, 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, Mohammad Sadoghi

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Synthesizing Formal Network Specifications From Input-Output Examples.

Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo

IEEE/ACM Trans. Netw., June, 2023

AdaChain: A Learned Adaptive Blockchain.

Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo

Proc. VLDB Endow., 2023

Towards Adaptive Fault-Tolerant Sharded Databases.

Bhavana Mehta, Neelesh C. A, Prashanth S. Iyer, Mohammad Javad Amiri, Boon Thau Loo, Ryan Marcus

Proceedings of the Joint Proceedings of Workshops at the 49th International Conference on Very Large Data Bases (VLDB 2023), Vancouver, Canada, August 28, 2023

Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain.

Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Templating Shuffles.

Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, Boon Thau Loo

Proceedings of the 13th Conference on Innovative Data Systems Research, 2023

2022

FlexChain: An Elastic Disaggregated Blockchain.

Chenyuan Wu, Mohammad Javad Amiri, Jared Asch, Heena Nagda, Qizhen Zhang, Boon Thau Loo

Proc. VLDB Endow., 2022

Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees.

Mohammad Javad Amiri, Boon Thau Loo, Divy Agrawal, Amr El Abbadi

Proc. VLDB Endow., 2022

Safety Verification of Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

CoRR, 2022

The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation.

Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi

CoRR, 2022

Automatic Repair for Network Programs.

Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Declarative smart contracts.

Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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, Boon Thau Loo

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

CompuCache: Remote Computable Caching using Spot VMs.

Qizhen Zhang, Philip A. Bernstein, Daniel S. Berger, Badrish Chandramouli, Vincent Liu, Boon Thau Loo

Proceedings of the 12th Conference on Innovative Data Systems Research, 2022

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, Boon Thau Loo

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Orion: Automatic Repair for Network Programs.

Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo

CoRR, 2021

Saguaro: Efficient Processing of Transactions in Wide Area Networks using a Hierarchical Permissioned Blockchain.

Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou

CoRR, 2021

Network Traffic Classification by Program Synthesis.

Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone.

Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

FDP: A Teaching and Demonstration Platform for Networking.

Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Flightplan: Dataplane Disaggregation and Placement for P4 Programs.

Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon, Boon Thau Loo

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Demo: Disaggregated Dataplanes.

Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

IPC evolution thru declarative interface generation.

Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo

Proceedings of the DAI-SNAC@CoNEXT 2021: Proceedings of the 2021 Workshop on Descriptive Approaches to IoT Security, 2021

2020

Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs.

Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo

Proc. VLDB Endow., 2020

Session-layer Attack Traffic Classification by Program Synthesis.

Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo

CoRR, 2020

RapidLearn: A General Purpose Toolkit for Autonomic Networking.

Jatin Sharma, Nikhilesh Behera, Priya Venkatraman, Boon Thau Loo

CoRR, 2020

Debugging strongly-compartmentalized distributed systems.

Henry Zhu, Nik Sultana, Boon Thau Loo

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

Provenance for Probabilistic Logic Programs.

Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, Chen Chen

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

FDP: a teaching and demo platform for SDN.

Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo

Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

Rethinking Data Management Systems for Disaggregated Data Centers.

Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

2019

Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame.

Henri Maxime Demoulin, Isaac Pedisich, Nikos Vasilakis, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Optimizing Declarative Graph Queries at Large Scale.

Qizhen Zhang, Akash Acharya, Hongzhi Chen, Simran Arora, Ang Chen, Vincent Liu, Boon Thau Loo

Proceedings of the 2019 International Conference on Management of Data, 2019

Hashtray: Turning the tables on Scalable Client Classification.

Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

An extensible evaluation system for DoS research.

Nik Sultana, Shilpi Bose, Boon Thau Loo

Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

Trace-based Behaviour Analysis of Network Servers.

Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo

Proceedings of the 15th International Conference on Network and Service Management, 2019

TMC: Pay-as-you-Go Distributed Communication.

Henri Maxime Demoulin, Nikos Vasilakis, John Sonchack, Isaac Pedisich, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan, Jonathan M. Smith, Irene Zhang

Proceedings of the 3rd Asia-Pacific Workshop on Networking, 2019

2018

Declarative Networking.

Timothy Roscoe, Boon Thau Loo

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies.

Yifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo

IEEE/ACM Trans. Netw., 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., 2018

Sunstar: A Cost-effective Multi-Server Solution for Reliable Video Delivery.

Behnaz Arzani, Nicholas Iodice, Steven Hwang, Prahalad Venkataramanan, Roch Geurin, Boon Thau Loo

CoRR, 2018

In-network computing to the rescue of faulty links.

Hans Giesen, Lei Shi, John Sonchack, Anirudh Chelluri, Nishanth Prabhu, Nik Sultana, Latha A. Kant, Anthony J. McAuley, Alexander Poylisher, André DeHon, Boon Thau Loo

Proceedings of the 2018 Morning Workshop on In-Network Computing, 2018

Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks.

Henri Maxime Demoulin, Isaac Pedisich, Linh Thi Xuan Phan, Boon Thau Loo

Proceedings of the Afternoon Workshop on Self-Driving Networks, 2018

007: Democratically Finding the Cause of Packet Drops.

Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks.

Raj Joshi, Ting Qu, Mun Choon Chan, Ben Leong, Boon Thau Loo

Proceedings of the 9th Asia-Pacific Workshop on Systems, 2018

Towards Example-Guided Network Synthesis.

Haoxian Chen, Anduo Wang, Boon Thau Loo

Proceedings of the 2nd Asia-Pacific Workshop on Networking, 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 Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

Distributed Provenance Compression.

Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Quantitative Network Monitoring with NetQRE.

Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers.

Henri Maxime Demoulin, Tavish Vaidya, Isaac Pedisich, Nik Sultana, Bowen Wang, Jingyu Qian, Yuankai Zhang, Ang Chen, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Closing the Network Diagnostics Gap with Vigil.

Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Harry Liu, Jitu Padhye, Geoff Outhred, Boon Thau Loo

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Automated Bug Removal for Software-Defined Networks.

Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics.

Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the Twelfth European Conference on Computer Systems, 2017

Architectural implications on the performance and cost of graph analytics systems.

Qizhen Zhang, Hongzhi Chen, Da Yan, James Cheng, Boon Thau Loo, Purushotham V. Bangalore

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis.

Qizhen Zhang, Tengyuan Ye, Meryem Essaidi, Shivani Agarwal, Vincent Liu, Boon Thau Loo

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead.

Ang Chen, Yang Wu, Andreas Haeberlen, Boon Thau Loo, Wenchao Zhou

Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017

2016

Private and Verifiable Interdomain Routing Decisions.

Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo

IEEE/ACM Trans. Netw., 2016

Scalable and Anonymous Group Communication with MTor.

Dong Lin, Micah Sherr, Boon Thau Loo

Proc. Priv. Enhancing Technol., 2016

Enabling Incremental Query Re-Optimization.

Mengmeng Liu, Zachary G. Ives, Boon Thau Loo

Proceedings of the 2016 International Conference on Management of Data, 2016

Collection, exploration and analysis of crowdfunding social networks.

Miao Cheng, Anand Sriramulu, Sudarshan Muralidhar, Boon Thau Loo, Laura Huang, Po-Ling Loh

Proceedings of the Third International Workshop on Exploratory Search in Databases and the Web, 2016

The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance.

Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Taking the Blame Game out of Data Centers Operations with NetPoirot.

Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Network functions virtualization with soft real-time guarantees.

Yang Li, Linh Thi Xuan Phan, Boon Thau Loo

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Dispersing Asymmetric DDoS Attacks with SplitStack.

Ang Chen, Akshay Sriraman, Tavish Vaidya, Yuankai Zhang, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015

Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

SIGMETRICS Perform. Evaluation Rev., 2015

A Program Logic for Verifying Secure Routing Protocols.

Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo

Log. Methods Comput. Sci., 2015

FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering.

Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han, Roch Guérin, Boon Thau Loo

CoRR, 2015

A scalable multi-datacenter layer-2 network architecture.

Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, Ling Ding

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Automated verification of safety properties of declarative networking programs.

Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Automating Platform Selection for MapReduce Processing in the Cloud.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

Automated Network Repair with Meta Provenance.

Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the 14th ACM Workshop on Hot Topics in Networks, Philadelphia, PA, USA, November 16, 2015

Differential Provenance: Better Network Diagnostics with Reference Events.

Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the 14th ACM Workshop on Hot Topics in Networks, Philadelphia, PA, USA, November 16, 2015

Scenario-based programming for SDN policies.

Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo

Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies, 2015

2014

PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking.

Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, Prithwish Basu

IEEE/ACM Trans. Netw., 2014

Parameterizable benchmarking framework for designing a MapReduce performance model.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Concurr. Comput. Pract. Exp., 2014

The design and implementation of the A³ application-aware anonymity platform.

Micah Sherr, Harjot Gill, Taher Saeed, Andrew Mao, William R. Marczak, Saravana Soundararajan, Wenchao Zhou, Boon Thau Loo, Matt Blaze

Comput. Networks, 2014

Declarative platform for high-performance network traffic analytics.

Harjot Gill, Dong Lin, Cam Nguyen, Tanveer Gill, Boon Thau Loo

Clust. Comput., 2014

A brief overview of the NEBULA future internet architecture.

Tom Anderson, Ken Birman, Robert M. Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William H. Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo

Comput. Commun. Rev., 2014

Diagnosing missing events in distributed systems with negative provenance.

Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Proof-based Verification of Software Defined Networks.

Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo

Proceedings of the Open Networking Summit 2014 - Research Track, 2014

Optimizing cost and performance trade-offs for MapReduce job processing in the cloud.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

A reduction-based approach towards scaling up formal analysis of internet configurations.

Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Deconstructing MPTCP Performance.

Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Guérin, Boon Thau Loo

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

NetEgg: Programming Network Policies by Examples.

Yifei Yuan, Rajeev Alur, Boon Thau Loo

Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

Exploiting cloud heterogeneity for optimized cost/performance MapReduce processing.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the Fourth International Workshop on Cloud Data and Platforms, 2014

Impact of Path Characteristics and Scheduling Policies on MPTCP Performance.

Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, Roch Guérin, Boon Thau Loo

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Performance Modeling and Optimization of Deadline-Driven Pig Programs.

Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo

ACM Trans. Auton. Adapt. Syst., 2013

AS-CRED: Reputation and Alert Service for Interdomain Routing.

Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky

IEEE Syst. J., 2013

Datalog and Recursive Query Processing.

Todd J. Green, Shan Shan Huang, Boon Thau Loo, Wenchao Zhou

Found. Trends Databases, 2013

Declarative secure distributed information systems.

Wenchao Zhou, Tao Tao, Boon Thau Loo, Yun Mao

Comput. Lang. Syst. Struct., 2013

Benchmarking approach for designing a mapreduce performance model.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Getting more for less in optimized MapReduce workflows.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Automated synthesis of reactive controllers for software-defined networks.

Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 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, Bart McManus

Proceedings of the Workshops Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the 10th International Conference on Autonomic Computing, 2013

Scalanytics: a declarative multi-core platform for scalable composable traffic analytics.

Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, Boon Thau Loo

Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

Answering why-not queries in software-defined networks with negative provenance.

Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

On the feasibility of automation for bandwidth allocation problems in data centers.

Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo

Proceedings of the Formal Methods in Computer-Aided Design, 2013

The NEBULA Future Internet Architecture.

Tom Anderson, Ken Birman, Robert M. Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William H. Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo

Proceedings of the Future Internet, 2013

Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments.

Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

Declarative Networking

Boon Thau Loo, Wenchao Zhou

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01886-2, 2012

FSR: formal analysis and implementation toolkit for safe interdomain routing.

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott

IEEE/ACM Trans. Netw., 2012

Declarative Policy-Based Adaptive Mobile Ad Hoc Networking.

Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao

IEEE/ACM Trans. Netw., 2012

Experiences in teaching an educational user-level operating systems implementation project.

Adam J. Aviv, Vin Mannino, Thanat Owlarn, Seth Shannin, Kevin Xu, Boon Thau Loo

ACM SIGOPS Oper. Syst. Rev., 2012

Distributed Time-aware Provenance.

Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr

Proc. VLDB Endow., 2012

Cologne: A Declarative Distributed Constraint Optimization Platform.

Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, Prithwish Basu

Proc. VLDB Endow., 2012

MOSAIC: Declarative platform for dynamic overlay composition.

Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith

Comput. Networks, 2012

Maintaining distributed logic programs incrementally.

Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov

Comput. Lang. Syst. Struct., 2012

Collaborative Red Teaming for Anonymity System Evaluation.

Sandy Clark, Chris Wacek, Matt Blaze, Boon Thau Loo, Micah Sherr, Clay Shields, Jonathan M. Smith

Proceedings of the 5th Workshop on Cyber Security Experimentation and Test, 2012

TROPIC: Transactional Resource Orchestration Platform in the Cloud.

Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernandez, Boon Thau Loo, Jacobus E. van der Merwe

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Reduction-Based Formal Analysis of BGP Instances.

Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Reduction-based analysis of BGP systems with BGPVerif.

Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Route shepherd: stability hints for the control plane.

Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

SP4: scalable programmable packet processing platform.

Harjot Gill, Dong Lin, Lohit Sarna, Robert Mead, Kenton C. T. Lee, Boon Thau Loo

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Brief announcement: a calculus of policy-based routing systems.

Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Recent Advances in Declarative Networking.

Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou

Proceedings of the Practical Aspects of Declarative Languages, 2012

Reduction-based security analysis of Internet routing protocols.

Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Automated profiling and resource management of pig programs for meeting service level objectives.

Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo

Proceedings of the 9th International Conference on Autonomic Computing, 2012

Meeting service level objectives of Pig programs.

Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo

Proceedings of the 2nd International Workshop on Cloud Computing Platforms, 2012

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, Prithwish Basu

Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012

Optimizing Completion Time and Resource Provisioning of Pig Programs.

Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP.

Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee

Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

TAP: Time-aware Provenance for Distributed Systems.

Wenchao Zhou, Ling Ding, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo

Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

Secure network provenance.

Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

An empirical analysis of scheduling techniques for real-time cloud-based data processing.

Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

NetTrails: a declarative platform for maintaining and querying provenance in distributed systems.

Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Datalog and emerging applications: an interactive tutorial.

Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

FSR: formal analysis and implementation toolkit for safe inter-domain routing.

Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Having your cake and eating it too: routing security with privacy protections.

Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Analyzing BGP Instances in Maude.

Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov

Proceedings of the Formal Techniques for Distributed Systems, 2011

Declarative automated cloud resource orchestration.

Changbin Liu, Boon Thau Loo, Yun Mao

Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

2010

Maintaining Recursive Views of Regions and Connectivity in Networks.

Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo

IEEE Trans. Knowl. Data Eng., 2010

SmartCIS: integrating digital and physical environments.

Mengmeng Liu, Svilen R. Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, Sudipto Guha

SIGMOD Rec., 2010

Efficient querying and maintenance of network provenance at internet-scale.

Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, Yun Mao

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

SecureBlox: customizable secure distributed data processing.

William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

A3: An Extensible Platform for Application-Aware Anonymity.

Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, Matt Blaze

Proceedings of the Network and Distributed System Security Symposium, 2010

PUMA: policy-based unified management architecture for wireless networking.

Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu

Proceedings of the 2010 ACM workshop on Wireless of the students, 2010

On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform.

Zhuoyao Zhang, Linh T. X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, Insup Lee

Proceedings of the 11th International Middleware Conference Industrial Track, Bangalore, India, November 29, 2010

An Operational Semantics for Network Datalog.

Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

Ontologies for Distributed Command and Control Messaging.

Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli

Proceedings of the Formal Ontology in Information Systems, 2010

A policy-based constraint-solving platform towards extensible wireless channel selection and routing.

Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu

Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, 2010

Towards a data-centric view of cloud security.

Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee

Proceedings of the Second International CIKM Workshop on Cloud Data Management, 2010

2009

5th international workshop on networking meets databases (NetDB 2009).

Boon Thau Loo, Stefan Saroiu

SIGMOD Rec., 2009

Declarative networking.

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica

Commun. ACM, 2009

Veracity: Practical Secure Network Coordinates via Vote-based Agreements.

Micah Sherr, Matt Blaze, Boon Thau Loo

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

<i>DMaC</i>: Distributed Monitoring and Checking.

Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Scalable Link-Based Relay Selection for Anonymous Routing.

Micah Sherr, Matt Blaze, Boon Thau Loo

Proceedings of the Privacy Enhancing Technologies, 9th International Symposium, 2009

Declarative Network Verification.

Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky

Proceedings of the Practical Aspects of Declarative Languages, 2009

RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks.

Shivkumar Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu

Proceedings of the 4th ACM International Workshop on Experimental Evaluation and Characterization, 2009

A demonstration of the RapidMesh development toolkit.

Xiaozhou Li, Shivkumar Muthukumar, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu

Proceedings of the 4th ACM International Workshop on Experimental Evaluation and Characterization, 2009

Declarative Policy-based Adaptive MANET Routing.

Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao

Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

Unified Declarative Platform for Secure Netwoked Information Systems.

Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi

Proceedings of the 25th International Conference on Data Engineering, 2009

Recursive Computation of Regions and Connectivity in Networks.

Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo

Proceedings of the 25th International Conference on Data Engineering, 2009

Formally Verifiable Networking.

Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu

Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

Message models and aggregation in knowledge based middleware for rich sensor systems.

Joseph B. Kopena, William C. Regli, Boon Thau Loo

Proceedings of the 6th Workshop on Data Management for Sensor Networks, 2009

Declarative Reconfigurable Trust Management.

William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo

Proceedings of the Fourth Biennial Conference on Innovative Data Systems Research, 2009

2008

A declarative perspective on adaptive manet routing.

Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, Boon Thau Loo

Proceedings of the ACM SIGCOMM 2008 Workshop on Programmable Routers for Extensible Services of Tomorrow, 2008

Veracity: a fully decentralized service for securing network coordinate systems.

Micah Sherr, Boon Thau Loo, Matt Blaze

Proceedings of the 7th international conference on Peer-to-peer systems, 2008

Provenance-aware secure networks.

Wenchao Zhou, Eric Cronin, Boon Thau Loo

Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

OntoNet: Scalable knowledge-based networking.

Joseph B. Kopena, Boon Thau Loo

Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

MOSAIC: unified declarative platform for dynamic overlay composition.

Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith

Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, 2008

2007

Towards Application-Aware Anonymous Routing.

Micah Sherr, Boon Thau Loo, Matt Blaze

Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Towards a Declarative Language and System for Secure Networking.

Martín Abadi, Boon Thau Loo

Proceedings of the Third International Workshop on Networking Meets Databases, 2007

Public Health for the Internet (PHI).

Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft

Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007

2006

Declarative networking: language, execution and optimization.

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

2005

Implementing declarative overlays.

Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Declarative routing: extensible routing with declarative queries.

Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, Raghu Ramakrishnan

Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005

The Architecture of PIER: an Internet-Scale Query Processor.

Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi

Proceedings of the Second Biennial Conference on Innovative Data Systems Research, 2005

2004

Enhancing P2P File-Sharing with an Internet-Scale Query Processor.

Boon Thau Loo, Joseph M. Hellerstein, Ryan Huebsch, Scott Shenker, Ion Stoica

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Querying at Internet-Scale.

Brent N. Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean C. Rhea, Scott Shenker, Ion Stoica

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

The Case for a Hybrid P2P Search Infrastructure.

Boon Thau Loo, Ryan Huebsch, Ion Stoica, Joseph M. Hellerstein

Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003

Querying the Internet with PIER.

Ryan Huebsch, Joseph M. Hellerstein, Nick Lanham, Boon Thau Loo, Scott Shenker, Ion Stoica

Proceedings of 29th International Conference on Very Large Data Bases, 2003

On the Feasibility of Peer-to-Peer Web Indexing and Search.

Jinyang Li, Boon Thau Loo, Joseph M. Hellerstein, M. Frans Kaashoek, David R. Karger, Robert Tappan Morris

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

2002

Complex Queries in DHT-based Peer-to-Peer Networks.

Matthew Harren, Joseph M. Hellerstein, Ryan Huebsch, Boon Thau Loo, Scott Shenker, Ion Stoica

Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

2001

Adaptive Precision Setting for Cached Approximate Values.

Chris Olston, Boon Thau Loo, Jennifer Widom

Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001