Boon Thau Loo - RankMe

202 papers A* 23A 20B 12C 7Misc 14Journal 55Unranked 68

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Privacy Meets Regulations: Shaping the Future of Work. CIDR Mohammad Javad Amiri, Tristan Allard, Boon Thau Loo, Divyakant Agrawal, Amr El Abbadi
2025	J	`jnl`	Adaptive Sharding in Untrusted Environments. Proc. ACM Manag. Data Bhavana Mehta, Nupur Baghel, Mohammad Javad Amiri, Boon Thau Loo, Ryan Marcus
2025	Misc	`conf`	BFTBrain: Adaptive BFT Consensus with Reinforcement Learning. NSDI Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus
2025	J	`jnl`	DAG of DAGs: Order-Fairness Made Practical. Proc. ACM Manag. Data Heena Nagda, Sidharth Sankhe, Sakshi Sinha, Keon Attarha, Mohammad Javad Amiri, Boon Thau Loo
2025	—	`conf`	Multiplexed Heterogeneous LLM Serving via Stage-Aligned Parallelism. SoCC Tao Luo, Kelvin K. W. Ng, Zhen Ping Khor, Sidharth Sankhe, Boon Thau Loo, Vincent Liu
2025	C	`conf`	On the Automated Verification of BGP Convergence. PPDP Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott
2024	J	`jnl`	BFTBrain: Adaptive BFT Consensus with Reinforcement Learning. CoRR Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus
2024	J	`jnl`	BFTGym: An Interactive Playground for BFT Protocols. Proc. VLDB Endow. Haoyun Qin, Chenyuan Wu, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo
2024	—	`conf`	Distributed Transaction Processing in Untrusted Environments. SIGMOD Conference Companion Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo
2024	—	`conf`	Practical Declarative Smart Contracts Optimization. VLDB Workshops Lan Lu, Tao Luo, Jingyi Li, Hongxun Ding, Brendan Massey, Haoxian Chen, Boon Thau Loo
2024	J	`jnl`	Rashnu: Data-Dependent Order-Fairness. Proc. VLDB Endow. Heena Nagda, Shubhendra Pal Singhal, Mohammad Javad Amiri, Boon Thau Loo
2024	Misc	`conf`	The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation. NSDI Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
2024	J	`jnl`	Towards Full Stack Adaptivity in Permissioned Blockchains. Proc. VLDB Endow. Chenyuan Wu, Mohammad Javad Amiri, Haoyun Qin, Bhavana Mehta, Ryan Marcus, Boon Thau Loo
2024	J	`jnl`	Towards Truly Adaptive Byzantine Fault-Tolerant Consensus. ACM SIGOPS Oper. Syst. Rev. Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus
2024	A*	`conf`	Verifying Declarative Smart Contracts. ICSE Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2023	J	`jnl`	AdaChain: A Learned Adaptive Blockchain. Proc. VLDB Endow. Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo
2023	A*	`conf`	Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain. ICDE Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou
2023	J	`jnl`	Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Trans. Netw. Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
2023	A	`conf`	Templating Shuffles. CIDR Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, Boon Thau Loo
2023	—	`conf`	Towards Adaptive Fault-Tolerant Sharded Databases. VLDB Workshops Bhavana Mehta, Neelesh C. A, Prashanth S. Iyer, Mohammad Javad Amiri, Boon Thau Loo, Ryan Marcus
2022	J	`jnl`	AdaChain: A Learned Adaptive Blockchain. CoRR Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri, Ryan Marcus, Boon Thau Loo
2022	—	`conf`	Automatic Repair for Network Programs. TACAS (2) Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2022	A	`conf`	CompuCache: Remote Computable Caching using Spot VMs. CIDR Qizhen Zhang, Philip A. Bernstein, Daniel S. Berger, Badrish Chandramouli, Vincent Liu, Boon Thau Loo
2022	J	`jnl`	Declarative Smart Contracts. CoRR Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022	—	`conf`	Declarative smart contracts. ESEC/SIGSOFT FSE Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022	J	`jnl`	FlexChain: An Elastic Disaggregated Blockchain. Proc. VLDB Endow. Chenyuan Wu, Mohammad Javad Amiri, Jared Asch, Heena Nagda, Qizhen Zhang, Boon Thau Loo
2022	—	`conf`	Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT. SIGMOD Conference Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
2022	J	`jnl`	Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. Proc. VLDB Endow. Mohammad Javad Amiri, Boon Thau Loo, Divy Agrawal, Amr El Abbadi
2022	J	`jnl`	Safety Verification of Declarative Smart Contracts. CoRR Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2022	J	`jnl`	Templating Shuffles. CoRR Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, Boon Thau Loo
2022	J	`jnl`	The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation. CoRR Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
2022	A	`conf`	Towards Practical Application-level Support for Privilege Separation. ACSAC Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis, Boon Thau Loo
2021	A	`conf`	Demo: Disaggregated Dataplanes. ICDCS Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo
2021	A	`conf`	FDP: A Teaching and Demonstration Platform for Networking. SIGCSE Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo
2021	Misc	`conf`	Flightplan: Dataplane Disaggregation and Placement for P4 Programs. NSDI Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon, Boon Thau Loo
2021	—	`conf`	IPC evolution thru declarative interface generation. DAI-SNAC@CoNEXT Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo
2021	—	`conf`	Network Traffic Classification by Program Synthesis. TACAS (1) Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur
2021	J	`jnl`	Orion: Automatic Repair for Network Programs. CoRR Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2021	J	`jnl`	Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. CoRR Mohammad Javad Amiri, Boon Thau Loo, Divyakant Agrawal, Amr El Abbadi
2021	J	`jnl`	Saguaro: Efficient Processing of Transactions in Wide Area Networks using a Hierarchical Permissioned Blockchain. CoRR Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou
2021	A*	`conf`	When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone. SOSP Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang
2020	—	`conf`	Debugging strongly-compartmentalized distributed systems. IPDPS Workshops Henry Zhu, Nik Sultana, Boon Thau Loo
2020	A	`conf`	FDP: a teaching and demo platform for SDN. CoNEXT Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo
2020	—	`ed.`	Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Logic, Language, and Security Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
2020	B	`conf`	Provenance for Probabilistic Logic Programs. EDBT Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, Chen Chen
2020	J	`jnl`	RapidLearn: A General Purpose Toolkit for Autonomic Networking. CoRR Jatin Sharma, Nikhilesh Behera, Priya Venkatraman, Boon Thau Loo
2020	A	`conf`	Rethinking Data Management Systems for Disaggregated Data Centers. CIDR Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo
2020	J	`jnl`	Session-layer Attack Traffic Classification by Program Synthesis. CoRR Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo
2020	J	`jnl`	Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs. Proc. VLDB Endow. Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
2019	Misc	`conf`	An extensible evaluation system for DoS research. COMSNETS Nik Sultana, Shilpi Bose, Boon Thau Loo
2019	—	`conf`	Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame. USENIX ATC Henri Maxime Demoulin, Isaac Pedisich, Nikos Vasilakis, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan
2019	B	`conf`	Hashtray: Turning the tables on Scalable Client Classification. IM Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo
2019	—	`conf`	Optimizing Declarative Graph Queries at Large Scale. SIGMOD Conference Qizhen Zhang, Akash Acharya, Hongzhi Chen, Simran Arora, Ang Chen, Vincent Liu, Boon Thau Loo
2019	—	`conf`	TMC: Pay-as-you-Go Distributed Communication. APNet Henri Maxime Demoulin, Nikos Vasilakis, John Sonchack, Isaac Pedisich, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan, Jonathan M. Smith, Irene Zhang
2019	B	`conf`	Trace-based Behaviour Analysis of Network Servers. CNSM Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo
2018	J	`jnl`	007: Democratically Finding The Cause of Packet Drops. CoRR Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
2018	Misc	`conf`	007: Democratically Finding the Cause of Packet Drops. NSDI Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
2018	—	`conf`	Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks. SelfDN@SIGCOMM Henri Maxime Demoulin, Isaac Pedisich, Linh Thi Xuan Phan, Boon Thau Loo
2018	—	`conf`	BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks. APSys Raj Joshi, Ting Qu, Mun Choon Chan, Ben Leong, Boon Thau Loo
2018	J	`jnl`	Data Center Diagnostics with Network Provenance. IEEE Data Eng. Bull. Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou
2018	A	`conf`	DeDoS: Defusing DoS with Dispersion Oriented Software. ACSAC 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
2018	—	`ch.`	Declarative Networking. Encyclopedia of Database Systems (2nd ed.) Timothy Roscoe, Boon Thau Loo
2018	—	`conf`	In-network computing to the rescue of faulty links. NetCompute@SIGCOMM 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
2018	—	`conf`	Making Break-ups Less Painful: Source-level Support for Transforming Legacy Software into a Network of Tasks. FEAST@CCS Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Ke Zhong, Boon Thau Loo
2018	J	`jnl`	NetEgg: A Scenario-Based Programming Toolkit for SDN Policies. IEEE/ACM Trans. Netw. Yifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo
2018	J	`jnl`	Sunstar: A Cost-effective Multi-Server Solution for Reliable Video Delivery. CoRR Behnaz Arzani, Nicholas Iodice, Steven Hwang, Prahalad Venkataramanan, Roch Geurin, Boon Thau Loo
2018	—	`conf`	Towards Example-Guided Network Synthesis. APNet Haoxian Chen, Anduo Wang, Boon Thau Loo
2017	—	`conf`	A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers. SIGCOMM Posters and Demos 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
2017	—	`conf`	Architectural implications on the performance and cost of graph analytics systems. SoCC Qizhen Zhang, Hongzhi Chen, Da Yan, James Cheng, Boon Thau Loo, Purushotham V. Bangalore
2017	Misc	`conf`	Automated Bug Removal for Software-Defined Networks. NSDI Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2017	—	`conf`	Closing the Network Diagnostics Gap with Vigil. SIGCOMM Posters and Demos Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Harry Liu, Jitu Padhye, Geoff Outhred, Boon Thau Loo
2017	A	`conf`	Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead. CIDR Ang Chen, Yang Wu, Andreas Haeberlen, Boon Thau Loo, Wenchao Zhou
2017	—	`conf`	Distributed Provenance Compression. SIGMOD Conference Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
2017	A	`conf`	One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics. EuroSys Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2017	A	`conf`	Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis. CIKM Qizhen Zhang, Tengyuan Ye, Meryem Essaidi, Shivani Agarwal, Vincent Liu, Boon Thau Loo
2017	A*	`conf`	Quantitative Network Monitoring with NetQRE. SIGCOMM Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo
2016	—	`conf`	Collection, exploration and analysis of crowdfunding social networks. ExploreDB@SIGMOD/PODS Miao Cheng, Anand Sriramulu, Sudarshan Muralidhar, Boon Thau Loo, Laura Huang, Po-Ling Loh
2016	Misc	`conf`	Dispersing Asymmetric DDoS Attacks with SplitStack. HotNets Ang Chen, Akshay Sriraman, Tavish Vaidya, Yuankai Zhang, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou
2016	—	`conf`	Enabling Incremental Query Re-Optimization. SIGMOD Conference Mengmeng Liu, Zachary G. Ives, Boon Thau Loo
2016	A*	`conf`	Network functions virtualization with soft real-time guarantees. INFOCOM Yang Li, Linh Thi Xuan Phan, Boon Thau Loo
2016	J	`jnl`	Private and Verifiable Interdomain Routing Decisions. IEEE/ACM Trans. Netw. Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo
2016	J	`jnl`	Scalable and Anonymous Group Communication with MTor. Proc. Priv. Enhancing Technol. Dong Lin, Micah Sherr, Boon Thau Loo
2016	A*	`conf`	Taking the Blame Game out of Data Centers Operations with NetPoirot. SIGCOMM Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred
2016	A*	`conf`	The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance. SIGCOMM Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015	J	`jnl`	A Program Logic for Verifying Secure Routing Protocols. Log. Methods Comput. Sci. Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
2015	—	`conf`	A scalable multi-datacenter layer-2 network architecture. SOSR Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, Ling Ding
2015	Misc	`conf`	Automated Network Repair with Meta Provenance. HotNets Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015	C	`conf`	Automated verification of safety properties of declarative networking programs. PPDP Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo
2015	—	`conf`	Automating Platform Selection for MapReduce Processing in the Cloud. ICCAC Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2015	Misc	`conf`	Differential Provenance: Better Network Diagnostics with Reference Events. HotNets Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015	J	`jnl`	Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing. SIGMETRICS Perform. Evaluation Rev. Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2015	J	`jnl`	FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering. CoRR Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han, Roch Guérin, Boon Thau Loo
2015	A	`conf`	Scenario-based programming for SDN policies. CoNEXT Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo
2014	C	`conf`	A Program Logic for Verifying Secure Routing Protocols. FORTE Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
2014	J	`jnl`	A brief overview of the NEBULA future internet architecture. Comput. Commun. Rev. 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
2014	A*	`conf`	A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
2014	J	`jnl`	Declarative platform for high-performance network traffic analytics. Clust. Comput. Harjot Gill, Dong Lin, Cam Nguyen, Tanveer Gill, Boon Thau Loo
2014	B	`conf`	Deconstructing MPTCP Performance. ICNP Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Guérin, Boon Thau Loo
2014	A*	`conf`	Diagnosing missing events in distributed systems with negative provenance. SIGCOMM Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2014	J	`jnl`	Enabling Incremental Query Re-Optimization. CoRR Mengmeng Liu, Zachary G. Ives, Boon Thau Loo
2014	—	`conf`	Exploiting cloud heterogeneity for optimized cost/performance MapReduce processing. CloudDP@EuroSys Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2014	—	`conf`	Impact of Path Characteristics and Scheduling Policies on MPTCP Performance. AINA Workshops Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, Roch Guérin, Boon Thau Loo
2014	Misc	`conf`	NetEgg: Programming Network Policies by Examples. HotNets Yifei Yuan, Rajeev Alur, Boon Thau Loo
2014	B	`conf`	Optimizing cost and performance trade-offs for MapReduce job processing in the cloud. NOMS Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2014	J	`jnl`	PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking. IEEE/ACM Trans. Netw. Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, Prithwish Basu
2014	J	`jnl`	Parameterizable benchmarking framework for designing a MapReduce performance model. Concurr. Comput. Pract. Exp. Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2014	—	`conf`	Proof-based Verification of Software Defined Networks. ONS Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo
2014	J	`jnl`	The design and implementation of the A Comput. Networks Micah Sherr, Harjot Gill, Taher Saeed, Andrew Mao, William R. Marczak, Saravana Soundararajan, Wenchao Zhou, Boon Thau Loo, Matt Blaze
2013	J	`jnl`	AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky
2013	Misc	`conf`	Answering why-not queries in software-defined networks with negative provenance. HotNets Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2013	—	`conf`	AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows. ICAC Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2013	B	`conf`	Automated synthesis of reactive controllers for software-defined networks. ICNP Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov
2013	B	`conf`	Benchmarking approach for designing a mapreduce performance model. ICPE Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2013	J	`jnl`	Datalog and Recursive Query Processing. Found. Trends Databases Todd J. Green, Shan Shan Huang, Boon Thau Loo, Wenchao Zhou
2013	J	`jnl`	Declarative secure distributed information systems. Comput. Lang. Syst. Struct. Wenchao Zhou, Tao Tao, Boon Thau Loo, Yun Mao
2013	B	`conf`	Getting more for less in optimized MapReduce workflows. IM Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2013	B	`conf`	On the feasibility of automation for bandwidth allocation problems in data centers. FMCAD Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo
2013	J	`jnl`	Performance Modeling and Optimization of Deadline-Driven Pig Programs. ACM Trans. Auton. Adapt. Syst. Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo
2013	—	`conf`	Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments. IEEE CLOUD Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2013	A	`conf`	Scalanytics: a declarative multi-core platform for scalable composable traffic analytics. HPDC Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, Boon Thau Loo
2013	—	`conf`	The NEBULA Future Internet Architecture. Future Internet Assembly 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
2013	—	`conf`	Towards dynamic pricing-based collaborative optimizations for green data centers. ICDE Workshops Yang Li, David Chiu, Changbin Liu, Linh T. X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, David Maier, Bart McManus
2012	—	`conf`	Automated profiling and resource management of pig programs for meeting service level objectives. ICAC Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo
2012	A*	`conf`	Brief announcement: a calculus of policy-based routing systems. PODC Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
2012	—	`conf`	Collaborative Red Teaming for Anonymity System Evaluation. CSET Sandy Clark, Chris Wacek, Matt Blaze, Boon Thau Loo, Micah Sherr, Clay Shields, Jonathan M. Smith
2012	J	`jnl`	Cologne: A Declarative Distributed Constraint Optimization Platform CoRR Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, Prithwish Basu
2012	J	`jnl`	Cologne: A Declarative Distributed Constraint Optimization Platform. Proc. VLDB Endow. Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, Prithwish Basu
2012	—	`book`	Declarative Networking Boon Thau Loo, Wenchao Zhou
2012	J	`jnl`	Declarative Policy-Based Adaptive Mobile Ad Hoc Networking. IEEE/ACM Trans. Netw. Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao
2012	J	`jnl`	Distributed Time-aware Provenance. Proc. VLDB Endow. Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr
2012	J	`jnl`	Experiences in teaching an educational user-level operating systems implementation project. ACM SIGOPS Oper. Syst. Rev. Adam J. Aviv, Vin Mannino, Thanat Owlarn, Seth Shannin, Kevin Xu, Boon Thau Loo
2012	J	`jnl`	FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2012	J	`jnl`	MOSAIC: Declarative platform for dynamic overlay composition. Comput. Networks Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith
2012	J	`jnl`	Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2012	—	`conf`	Meeting service level objectives of Pig programs. CloudCP@EuroSys Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo
2012	B	`conf`	Optimizing Completion Time and Resource Provisioning of Pig Programs. CCGRID Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo
2012	Misc	`conf`	PUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking. COMSNETS Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, Prithwish Basu
2012	A*	`conf`	Private and verifiable interdomain routing decisions. SIGCOMM Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo
2012	C	`conf`	Recent Advances in Declarative Networking. PADL Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou
2012	A	`conf`	Reduction-Based Formal Analysis of BGP Instances. TACAS Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
2012	A*	`conf`	Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
2012	B	`conf`	Reduction-based security analysis of Internet routing protocols. ICNP Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou
2012	A*	`conf`	Route shepherd: stability hints for the control plane. SIGCOMM Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo
2012	A*	`conf`	SP4: scalable programmable packet processing platform. SIGCOMM Harjot Gill, Dong Lin, Lohit Sarna, Robert Mead, Kenton C. T. Lee, Boon Thau Loo
2012	—	`conf`	TROPIC: Transactional Resource Orchestration Platform in the Cloud. USENIX ATC Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernandez, Boon Thau Loo, Jacobus E. van der Merwe
2011	—	`conf`	AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee
2011	—	`conf`	An empirical analysis of scheduling techniques for real-time cloud-based data processing. SOCA Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee
2011	—	`conf`	Analyzing BGP Instances in Maude. FMOODS/FORTE Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov
2011	—	`conf`	Datalog and emerging applications: an interactive tutorial. SIGMOD Conference Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo
2011	—	`conf`	Declarative automated cloud resource orchestration. SoCC Changbin Liu, Boon Thau Loo, Yun Mao
2011	A*	`conf`	FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford
2011	Misc	`conf`	Having your cake and eating it too: routing security with privacy protections. HotNets Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo
2011	C	`conf`	Maintaining distributed logic programs incrementally. PPDP Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2011	—	`conf`	NetTrails: a declarative platform for maintaining and querying provenance in distributed systems. SIGMOD Conference Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr
2011	A*	`conf`	Secure network provenance. SOSP Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr
2011	—	`conf`	TAP: Time-aware Provenance for Distributed Systems. TaPP Wenchao Zhou, Ling Ding, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo
2010	—	`conf`	A policy-based constraint-solving platform towards extensible wireless channel selection and routing. PRESTO@CoNEXT Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu
2010	A*	`conf`	A3: An Extensible Platform for Application-Aware Anonymity. NDSS Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, Matt Blaze
2010	—	`conf`	An Operational Semantics for Network Datalog. LAM@LICS Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
2010	—	`conf`	Efficient querying and maintenance of network provenance at internet-scale. SIGMOD Conference Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, Yun Mao
2010	J	`jnl`	Maintaining Recursive Views of Regions and Connectivity in Networks. IEEE Trans. Knowl. Data Eng. Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo
2010	—	`conf`	On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform. Middleware (Industry Track) Zhuoyao Zhang, Linh T. X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, Insup Lee
2010	C	`conf`	Ontologies for Distributed Command and Control Messaging. FOIS Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli
2010	—	`conf`	PUMA: policy-based unified management architecture for wireless networking. S3@MobiCom Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu
2010	—	`conf`	SecureBlox: customizable secure distributed data processing. SIGMOD Conference William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref
2010	J	`jnl`	SmartCIS: integrating digital and physical environments. SIGMOD Rec. Mengmeng Liu, Svilen R. Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, Sudipto Guha
2010	—	`conf`	Towards a data-centric view of cloud security. CloudDB@CIKM Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee
2009	J	`jnl`	5th international workshop on networking meets databases (NetDB 2009). SIGMOD Rec. Boon Thau Loo, Stefan Saroiu
2009	J	`jnl`	5th international workshop on networking meets databases (NetDB 2009). ACM SIGOPS Oper. Syst. Rev. Boon Thau Loo, Stefan Saroiu
2009	—	`conf`	A demonstration of the RapidMesh development toolkit. WiNTECH Xiaozhou Li, Shivkumar Muthukumar, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu
2009	C	`conf`	Declarative Network Verification. PADL Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky
2009	B	`conf`	Declarative Policy-based Adaptive MANET Routing. ICNP Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao
2009	J	`jnl`	Declarative Reconfigurable Trust Management CoRR William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
2009	A	`conf`	Declarative Reconfigurable Trust Management. CIDR William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
2009	J	`jnl`	Declarative networking. Commun. ACM Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
2009	Misc	`conf`	Formally Verifiable Networking. HotNets Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu
2009	—	`conf`	Message models and aggregation in knowledge based middleware for rich sensor systems. DMSN Joseph B. Kopena, William C. Regli, Boon Thau Loo
2009	—	`conf`	RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks. WiNTECH Shivkumar Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu
2009	A*	`conf`	Recursive Computation of Regions and Connectivity in Networks. ICDE Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo
2009	A	`conf`	Scalable Link-Based Relay Selection for Anonymous Routing. Privacy Enhancing Technologies Micah Sherr, Matt Blaze, Boon Thau Loo
2009	—	`conf`	SmartCIS: integrating digital and physical environments. SIGMOD Conference Mengmeng Liu, Svilen R. Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, Sudipto Guha
2009	A*	`conf`	Unified Declarative Platform for Secure Netwoked Information Systems. ICDE Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi
2009	—	`conf`	Veracity: Practical Secure Network Coordinates via Vote-based Agreements. USENIX ATC Micah Sherr, Matt Blaze, Boon Thau Loo
2008	—	`conf`	A declarative perspective on adaptive manet routing. PRESTO Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, Boon Thau Loo
2008	A	`conf`	MOSAIC: unified declarative platform for dynamic overlay composition. CoNEXT Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith
2008	—	`conf`	OntoNet: Scalable knowledge-based networking. ICDE Workshops Joseph B. Kopena, Boon Thau Loo
2008	—	`conf`	Provenance-aware secure networks. ICDE Workshops Wenchao Zhou, Eric Cronin, Boon Thau Loo
2008	—	`conf`	Veracity: a fully decentralized service for securing network coordinate systems. IPTPS Micah Sherr, Boon Thau Loo, Matt Blaze
2007	A	`conf`	Public Health for the Internet (PHI). CIDR Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft
2007	—	`conf`	Towards Application-Aware Anonymous Routing. HotSec Micah Sherr, Boon Thau Loo, Matt Blaze
2007	—	`conf`	Towards a Declarative Language and System for Secure Networking. NetDB Martín Abadi, Boon Thau Loo
2006	—	`conf`	Declarative networking: language, execution and optimization. SIGMOD Conference Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
2005	A*	`conf`	Declarative routing: extensible routing with declarative queries. SIGCOMM Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, Raghu Ramakrishnan
2005	A*	`conf`	Implementing declarative overlays. SOSP Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica
2005	A	`conf`	The Architecture of PIER: an Internet-Scale Query Processor. CIDR Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi
2004	A*	`conf`	Enhancing P2P File-Sharing with an Internet-Scale Query Processor. VLDB Boon Thau Loo, Joseph M. Hellerstein, Ryan Huebsch, Scott Shenker, Ion Stoica
2004	—	`conf`	Querying at Internet-Scale. SIGMOD Conference 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
2004	—	`conf`	The Case for a Hybrid P2P Search Infrastructure. IPTPS Boon Thau Loo, Ryan Huebsch, Ion Stoica, Joseph M. Hellerstein
2003	—	`conf`	On the Feasibility of Peer-to-Peer Web Indexing and Search. IPTPS Jinyang Li, Boon Thau Loo, Joseph M. Hellerstein, M. Frans Kaashoek, David R. Karger, Robert Morris
2003	A*	`conf`	Querying the Internet with PIER. VLDB Ryan Huebsch, Joseph M. Hellerstein, Nick Lanham, Boon Thau Loo, Scott Shenker, Ion Stoica
2002	—	`conf`	Complex Queries in DHT-based Peer-to-Peer Networks. IPTPS Matthew Harren, Joseph M. Hellerstein, Ryan Huebsch, Boon Thau Loo, Scott Shenker, Ion Stoica
2001	—	`conf`	Adaptive Precision Setting for Cached Approximate Values. SIGMOD Conference Chris Olston, Boon Thau Loo, Jennifer Widom