Boon Thau Loo

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 80

Top Venues

Publications

Heena Nagda, Shubhendra Pal Singhal, Mohammad Javad Amiri, Boon Thau Loo
Rashnu: Data-Dependent Order-Fairness. Proc. VLDB Endow. 17 (9) (2024)
Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation. NSDI (2024)
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Verifying Declarative Smart Contracts. ICSE (2024)
Chenyuan Wu, Mohammad Javad Amiri, Haoyun Qin, Bhavana Mehta, Ryan Marcus, Boon Thau Loo
Towards Full Stack Adaptivity in Permissioned Blockchains. Proc. VLDB Endow. 17 (5) (2024)
Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo
Distributed Transaction Processing in Untrusted Environments. SIGMOD Conference Companion (2024)
Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, Boon Thau Loo
Templating Shuffles. CIDR (2023)
Bhavana Mehta, Neelesh C. A, Prashanth S. Iyer, Mohammad Javad Amiri, Boon Thau Loo, Ryan Marcus
Towards Adaptive Fault-Tolerant Sharded Databases. VLDB Workshops (2023)
Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou
Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain. ICDE (2023)
Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo
AdaChain: A Learned Adaptive Blockchain. Proc. VLDB Endow. 16 (8) (2023)
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Trans. Netw. 31 (3) (2023)
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative smart contracts. ESEC/SIGSOFT FSE (2022)
Mohammad Javad Amiri, Boon Thau Loo, Divy Agrawal, Amr El Abbadi
Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. Proc. VLDB Endow. 15 (11) (2022)
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Safety Verification of Declarative Smart Contracts. CoRR (2022)
Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis, Boon Thau Loo
Towards Practical Application-level Support for Privilege Separation. ACSAC (2022)
Chenyuan Wu, Mohammad Javad Amiri, Jared Asch, Heena Nagda, Qizhen Zhang, Boon Thau Loo
FlexChain: An Elastic Disaggregated Blockchain. Proc. VLDB Endow. 16 (1) (2022)
Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation. CoRR (2022)
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative Smart Contracts. CoRR (2022)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
Automatic Repair for Network Programs. TACAS (2) (2022)
Qizhen Zhang, Philip A. Bernstein, Daniel S. Berger, Badrish Chandramouli, Vincent Liu, Boon Thau Loo
CompuCache: Remote Computable Caching using Spot VMs. CIDR (2022)
Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT. SIGMOD Conference (2022)
Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, Boon Thau Loo
Templating Shuffles. CoRR (2022)
Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo
AdaChain: A Learned Adaptive Blockchain. CoRR (2022)
Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon, Boon Thau Loo
Flightplan: Dataplane Disaggregation and Placement for P4 Programs. NSDI (2021)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
Orion: Automatic Repair for Network Programs. CoRR (2021)
Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang
When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone. SOSP (2021)
Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo
FDP: A Teaching and Demonstration Platform for Networking. SIGCSE (2021)
Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur
Network Traffic Classification by Program Synthesis. TACAS (1) (2021)
Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou
Saguaro: Efficient Processing of Transactions in Wide Area Networks using a Hierarchical Permissioned Blockchain. CoRR (2021)
Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo
IPC evolution thru declarative interface generation. DAI-SNAC@CoNEXT (2021)
Mohammad Javad Amiri, Boon Thau Loo, Divyakant Agrawal, Amr El Abbadi
Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. CoRR (2021)
Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo
Demo: Disaggregated Dataplanes. ICDCS (2021)
Jatin Sharma, Nikhilesh Behera, Priya Venkatraman, Boon Thau Loo
RapidLearn: A General Purpose Toolkit for Autonomic Networking. CoRR (2020)
Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs. Proc. VLDB Endow. 13 (9) (2020)
Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo
Session-layer Attack Traffic Classification by Program Synthesis. CoRR (2020)
Henry Zhu, Nik Sultana, Boon Thau Loo
Debugging strongly-compartmentalized distributed systems. IPDPS Workshops (2020)
Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, Chen Chen
Provenance for Probabilistic Logic Programs. EDBT (2020)
Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo
FDP: a teaching and demo platform for SDN. CoNEXT (2020)
Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo
Rethinking Data Management Systems for Disaggregated Data Centers. CIDR (2020)
Henri Maxime Demoulin, Isaac Pedisich, Nikos Vasilakis, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan
Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame. USENIX Annual Technical Conference (2019)
Nik Sultana, Shilpi Bose, Boon Thau Loo
An extensible evaluation system for DoS research. COMSNETS (2019)
Qizhen Zhang, Akash Acharya, Hongzhi Chen, Simran Arora, Ang Chen, Vincent Liu, Boon Thau Loo
Optimizing Declarative Graph Queries at Large Scale. SIGMOD Conference (2019)
Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo
Trace-based Behaviour Analysis of Network Servers. CNSM (2019)
Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo
Hashtray: Turning the tables on Scalable Client Classification. IM (2019)
Henri Maxime Demoulin, Nikos Vasilakis, John Sonchack, Isaac Pedisich, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan, Jonathan M. Smith, Irene Zhang
TMC: Pay-as-you-Go Distributed Communication. APNet (2019)
Henri Maxime Demoulin, Isaac Pedisich, Linh Thi Xuan Phan, Boon Thau Loo
Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks. SelfDN@SIGCOMM (2018)
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
DeDoS: Defusing DoS with Dispersion Oriented Software. ACSAC (2018)
Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
007: Democratically Finding the Cause of Packet Drops. NSDI (2018)
Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
007: Democratically Finding The Cause of Packet Drops. CoRR (2018)
Raj Joshi, Ting Qu, Mun Choon Chan, Ben Leong, Boon Thau Loo
BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks. APSys (2018)
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
In-network computing to the rescue of faulty links. NetCompute@SIGCOMM (2018)
Haoxian Chen, Anduo Wang, Boon Thau Loo
Towards Example-Guided Network Synthesis. APNet (2018)
Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou
Data Center Diagnostics with Network Provenance. IEEE Data Eng. Bull. 41 (1) (2018)
Behnaz Arzani, Nicholas Iodice, Steven Hwang, Prahalad Venkataramanan, Roch Geurin, Boon Thau Loo
Sunstar: A Cost-effective Multi-Server Solution for Reliable Video Delivery. CoRR (2018)
Yifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo
NetEgg: A Scenario-Based Programming Toolkit for SDN Policies. IEEE/ACM Trans. Netw. 26 (5) (2018)
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
A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers. SIGCOMM Posters and Demos (2017)
Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Harry Liu, Jitu Padhye, Geoff Outhred, Boon Thau Loo
Closing the Network Diagnostics Gap with Vigil. SIGCOMM Posters and Demos (2017)
Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo
Quantitative Network Monitoring with NetQRE. SIGCOMM (2017)
Qizhen Zhang, Tengyuan Ye, Meryem Essaidi, Shivani Agarwal, Vincent Liu, Boon Thau Loo
Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis. CIKM (2017)
Ang Chen, Yang Wu, Andreas Haeberlen, Boon Thau Loo, Wenchao Zhou
Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead. CIDR (2017)
Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
Automated Bug Removal for Software-Defined Networks. NSDI (2017)
Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
Distributed Provenance Compression. SIGMOD Conference (2017)
Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics. EuroSys (2017)
Qizhen Zhang, Hongzhi Chen, Da Yan, James Cheng, Boon Thau Loo, Purushotham V. Bangalore
Architectural implications on the performance and cost of graph analytics systems. SoCC (2017)
Ang Chen, Akshay Sriraman, Tavish Vaidya, Yuankai Zhang, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou
Dispersing Asymmetric DDoS Attacks with SplitStack. HotNets (2016)
Mengmeng Liu, Zachary G. Ives, Boon Thau Loo
Enabling Incremental Query Re-Optimization. SIGMOD Conference (2016)
Miao Cheng, Anand Sriramulu, Sudarshan Muralidhar, Boon Thau Loo, Laura Huang, Po-Ling Loh
Collection, exploration and analysis of crowdfunding social networks. ExploreDB@SIGMOD/PODS (2016)
Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo
Private and Verifiable Interdomain Routing Decisions. IEEE/ACM Trans. Netw. 24 (2) (2016)
Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance. SIGCOMM (2016)
Yang Li, Linh Thi Xuan Phan, Boon Thau Loo
Network functions virtualization with soft real-time guarantees. INFOCOM (2016)
Dong Lin, Micah Sherr, Boon Thau Loo
Scalable and Anonymous Group Communication with MTor. Proc. Priv. Enhancing Technol. 2016 (2) (2016)
Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred
Taking the Blame Game out of Data Centers Operations with NetPoirot. SIGCOMM (2016)
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
A Program Logic for Verifying Secure Routing Protocols. Log. Methods Comput. Sci. 11 (4) (2015)
Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing. SIGMETRICS Perform. Evaluation Rev. 42 (4) (2015)
Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, Ling Ding
A scalable multi-datacenter layer-2 network architecture. SOSR (2015)
Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han, Roch Guérin, Boon Thau Loo
FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering. CoRR (2015)
Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
Differential Provenance: Better Network Diagnostics with Reference Events. HotNets (2015)
Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo
Automated verification of safety properties of declarative networking programs. PPDP (2015)
Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo
Scenario-based programming for SDN policies. CoNEXT (2015)
Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
Automated Network Repair with Meta Provenance. HotNets (2015)
Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
Automating Platform Selection for MapReduce Processing in the Cloud. ICCAC (2015)
Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo
Proof-based Verification of Software Defined Networks. ONS (2014)
Mengmeng Liu, Zachary G. Ives, Boon Thau Loo
Enabling Incremental Query Re-Optimization. CoRR (2014)
Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
Diagnosing missing events in distributed systems with negative provenance. SIGCOMM (2014)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM (2014)
Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, Prithwish Basu
PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking. IEEE/ACM Trans. Netw. 22 (6) (2014)
Yifei Yuan, Rajeev Alur, Boon Thau Loo
NetEgg: Programming Network Policies by Examples. HotNets (2014)
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
A brief overview of the NEBULA future internet architecture. Comput. Commun. Rev. 44 (3) (2014)
Micah Sherr, Harjot Gill, Taher Saeed, Andrew Mao, William R. Marczak, Saravana Soundararajan, Wenchao Zhou, Boon Thau Loo, Matt Blaze
application-aware anonymity platform. Comput. Networks 58 (2014)
Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, Roch Guérin, Boon Thau Loo
Impact of Path Characteristics and Scheduling Policies on MPTCP Performance. AINA Workshops (2014)
Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
Parameterizable benchmarking framework for designing a MapReduce performance model. Concurr. Comput. Pract. Exp. 26 (12) (2014)
Harjot Gill, Dong Lin, Cam Nguyen, Tanveer Gill, Boon Thau Loo
Declarative platform for high-performance network traffic analytics. Clust. Comput. 17 (4) (2014)
Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
Exploiting cloud heterogeneity for optimized cost/performance MapReduce processing. CloudDP@EuroSys (2014)
Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Guérin, Boon Thau Loo
Deconstructing MPTCP Performance. ICNP (2014)
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
A Program Logic for Verifying Secure Routing Protocols. FORTE (2014)
Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
Optimizing cost and performance trade-offs for MapReduce job processing in the cloud. NOMS (2014)
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
The NEBULA Future Internet Architecture. Future Internet Assembly (2013)
Yang Li, David Chiu, Changbin Liu, Linh T. X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, David Maier, Bart McManus
Towards dynamic pricing-based collaborative optimizations for green data centers. ICDE Workshops (2013)
Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows. ICAC (2013)
Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, Boon Thau Loo
Scalanytics: a declarative multi-core platform for scalable composable traffic analytics. HPDC (2013)
Todd J. Green, Shan Shan Huang, Boon Thau Loo, Wenchao Zhou
Datalog and Recursive Query Processing. Found. Trends Databases 5 (2) (2013)

Boon Thau Loo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Boon Thau Loo