Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDBoon Thau Loo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[c128]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: 17-21- [c127]Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo:
Demo: Disaggregated Dataplanes. ICDCS 2021: 1095-1097 - [c126]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: 571-592 - [c125]Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo:
FDP: A Teaching and Demonstration Platform for Networking. SIGCSE 2021: 1376 - [c124]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: 621-637 - [c123]Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur:
Network Traffic Classification by Program Synthesis. TACAS (1) 2021: 430-448 - [i11]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 abs/2101.08819 (2021) - [i10]Mohammad Javad Amiri, Boon Thau Loo, Divyakant Agrawal, Amr El Abbadi:
Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. CoRR abs/2107.10836 (2021) - [i9]Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo:
Orion: Automatic Repair for Network Programs. CoRR abs/2110.06303 (2021) - 2020
- [j28]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): 1568-1581 (2020) - [c122]Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo:
Rethinking Data Management Systems for Disaggregated Data Centers. CIDR 2020 - [c121]Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo:
FDP: a teaching and demo platform for SDN. CoNEXT 2020: 524-525 - [c120]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: 145-156 - [c119]Henry Zhu, Nik Sultana, Boon Thau Loo:
Debugging strongly-compartmentalized distributed systems. IPDPS Workshops 2020: 538-547 - [e1]Vivek Nigam
, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada:
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 12300, Springer 2020, ISBN 978-3-030-62076-9 [contents] - [i8]Jatin Sharma, Nikhilesh Behera, Priya Venkatraman, Boon Thau Loo:
RapidLearn: A General Purpose Toolkit for Autonomic Networking. CoRR abs/2009.04586 (2020) - [i7]Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo:
Session-layer Attack Traffic Classification by Program Synthesis. CoRR abs/2010.06135 (2020)
2010 – 2019
- 2019
- [c118]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: 15-21 - [c117]Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo:
Trace-based Behaviour Analysis of Network Servers. CNSM 2019: 1-5 - [c116]Nik Sultana, Shilpi Bose, Boon Thau Loo:
An extensible evaluation system for DoS research. COMSNETS 2019: 344-351 - [c115]Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo:
Hashtray: Turning the tables on Scalable Client Classification. IM 2019: 67-70 - [c114]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: 1411-1428 - [c113]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: 693-708 - 2018
- [j27]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): 74-85 (2018) - [j26]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): 2104-2117 (2018) - [c112]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: 712-722 - [c111]Haoxian Chen, Anduo Wang, Boon Thau Loo:
Towards Example-Guided Network Synthesis. APNet 2018: 65-71 - [c110]Raj Joshi, Ting Qu, Mun Choon Chan, Ben Leong, Boon Thau Loo:
BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks. APSys 2018: 8:1-8:8 - [c109]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: 419-435 - [c108]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: 1-6 - [c107]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: 36-42 - [r1]Timothy Roscoe, Boon Thau Loo:
Declarative Networking. Encyclopedia of Database Systems (2nd ed.) 2018 - [i6]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 abs/1802.07222 (2018) - [i5]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 abs/1812.00109 (2018) - 2017
- [c106]Ang Chen, Yang Wu, Andreas Haeberlen, Boon Thau Loo, Wenchao Zhou:
Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead. CIDR 2017 - [c105]Qizhen Zhang, Tengyuan Ye, Meryem Essaidi, Shivani Agarwal, Vincent Liu, Boon Thau Loo:
Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis. CIKM 2017: 1937-1946 - [c104]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: 40-51 - [c103]Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo:
One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics. EuroSys 2017: 374-388 - [c102]Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo:
Automated Bug Removal for Software-Defined Networks. NSDI 2017: 719-733 - [c101]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: 40-42 - [c100]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: 71-73 - [c99]Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo:
Quantitative Network Monitoring with NetQRE. SIGCOMM 2017: 99-112 - [c98]Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou:
Distributed Provenance Compression. SIGMOD Conference 2017: 203-218 - 2016
- [j25]Dong Lin, Micah Sherr, Boon Thau Loo:
Scalable and Anonymous Group Communication with MTor. Proc. Priv. Enhancing Technol. 2016(2): 22-39 (2016) - [j24]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): 1011-1024 (2016) - [c97]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: 197-203 - [c96]Yang Li, Linh Thi Xuan Phan, Boon Thau Loo:
Network functions virtualization with soft real-time guarantees. INFOCOM 2016: 1-9 - [c95]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: 115-128 - [c94]Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred:
Taking the Blame Game out of Data Centers Operations with NetPoirot. SIGCOMM 2016: 440-453 - [c93]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: 25-30 - [c92]Mengmeng Liu, Zachary G. Ives, Boon Thau Loo:
Enabling Incremental Query Re-Optimization. SIGMOD Conference 2016: 1705-1720 - 2015
- [j23]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) - [j22]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing. SIGMETRICS Perform. Evaluation Rev. 42(4): 38-50 (2015) - [c91]Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo:
Scenario-based programming for SDN policies. CoNEXT 2015: 34:1-34:13 - [c90]Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo:
Differential Provenance: Better Network Diagnostics with Reference Events. HotNets 2015: 25:1-25:7 - [c89]Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo:
Automated Network Repair with Meta Provenance. HotNets 2015: 26:1-26:7 - [c88]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Automating Platform Selection for MapReduce Processing in the Cloud. ICCAC 2015: 125-136 - [c87]Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo:
Automated verification of safety properties of declarative networking programs. PPDP 2015: 79-90 - [c86]Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, Ling Ding:
A scalable multi-datacenter layer-2 network architecture. SOSR 2015: 8:1-8:12 - [i4]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 abs/1511.08791 (2015) - 2014
- [j21]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): 81-86 (2014) - [j20]Harjot Gill, Dong Lin, Cam Nguyen, Tanveer Gill, Boon Thau Loo:
Declarative platform for high-performance network traffic analytics. Clust. Comput. 17(4): 1121-1137 (2014) - [j19]Micah Sherr, Harjot Gill, Taher Saeed, Andrew Mao, William R. Marczak, Saravana Soundararajan, Wenchao Zhou, Boon Thau Loo, Matt Blaze:
The design and implementation of the A3 application-aware anonymity platform. Comput. Networks 58: 206-227 (2014) - [j18]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Parameterizable benchmarking framework for designing a MapReduce performance model. Concurr. Comput. Pract. Exp. 26(12): 2005-2026 (2014) - [j17]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): 1897-1910 (2014) - [c85]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: 743-748 - [c84]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Exploiting cloud heterogeneity for optimized cost/performance MapReduce processing. CloudDP@EuroSys 2014: 1:1-1:6 - [c83]Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo:
A Program Logic for Verifying Secure Routing Protocols. FORTE 2014: 117-132 - [c82]Yifei Yuan, Rajeev Alur, Boon Thau Loo:
NetEgg: Programming Network Policies by Examples. HotNets 2014: 20:1-20:7 - [c81]Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Guérin, Boon Thau Loo:
Deconstructing MPTCP Performance. ICNP 2014: 269-274 - [c80]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: 637-645 - [c79]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Optimizing cost and performance trade-offs for MapReduce job processing in the cloud. NOMS 2014: 1-8 - [c78]Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo:
Proof-based Verification of Software Defined Networks. ONS 2014 - [c77]Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo:
Diagnosing missing events in distributed systems with negative provenance. SIGCOMM 2014: 383-394 - [i3]Mengmeng Liu, Zachary G. Ives, Boon Thau Loo:
Enabling Incremental Query Re-Optimization. CoRR abs/1409.6288 (2014) - 2013
- [j16]Wenchao Zhou, Tao Tao, Boon Thau Loo, Yun Mao:
Declarative secure distributed information systems. Comput. Lang. Syst. Struct. 39(1): 1-24 (2013) - [j15]Todd J. Green, Shan Shan Huang, Boon Thau Loo, Wenchao Zhou:
Datalog and Recursive Query Processing. Found. Trends Databases 5(2): 105-195 (2013) - [j14]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky:
AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. 7(3): 396-409 (2013) - [j13]Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo:
Performance Modeling and Optimization of Deadline-Driven Pig Programs. ACM Trans. Auton. Adapt. Syst. 8(3): 14:1-14:28 (2013) - [c76]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments. IEEE CLOUD 2013: 839-846 - [c75]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: 16-26 - [c74]Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo:
On the feasibility of automation for bandwidth allocation problems in data centers. FMCAD 2013: 42-45 - [c73]Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo:
Answering why-not queries in software-defined networks with negative provenance. HotNets 2013: 3:1-3:7 - [c72]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: 61-72 - [c71]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows. ICAC 2013: 175-181 - [c70]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: 272-278 - [c69]Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov:
Automated synthesis of reactive controllers for software-defined networks. ICNP 2013: 1-6 - [c68]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Getting more for less in optimized MapReduce workflows. IM 2013: 93-100 - [c67]Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo:
Benchmarking approach for designing a mapreduce performance model. ICPE 2013: 253-258 - 2012
- [b1]Boon Thau Loo, Wenchao Zhou:
Declarative Networking. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2012 - [j12]Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. 38(2): 158-180 (2012) - [j11]Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith:
MOSAIC: Declarative platform for dynamic overlay composition. Comput. Networks 56(1): 64-84 (2012) - [j10]Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, Prithwish Basu:
Cologne: A Declarative Distributed Constraint Optimization Platform. Proc. VLDB Endow. 5(8): 752-763 (2012) - [j9]Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr:
Distributed Time-aware Provenance. Proc. VLDB Endow. 6(2): 49-60 (2012) - [j8]Adam J. Aviv, Vin Mannino, Thanat Owlarn, Seth Shannin, Kevin Xu, Boon Thau Loo:
Experiences in teaching an educational user-level operating systems implementation project. ACM SIGOPS Oper. Syst. Rev. 46(2): 80-86 (2012) - [j7]Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao:
Declarative Policy-Based Adaptive Mobile Ad Hoc Networking. IEEE/ACM Trans. Netw. 20(3): 770-783 (2012) - [j6]Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012) - [c66]Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo:
Optimizing Completion Time and Resource Provisioning of Pig Programs. CCGRID 2012: 811-816 - [c65]Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, Prithwish Basu:
PUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking. COMSNETS 2012: 1-10 - [c64]Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo:
Meeting service level objectives of Pig programs. CloudCP@EuroSys 2012: 8:1-8:6 - [c63]Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo:
Automated profiling and resource management of pig programs for meeting service level objectives. ICAC 2012: 53-62 - [c62]Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou:
Reduction-based security analysis of Internet routing protocols. ICNP 2012: 1-6 - [c61]Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou:
Recent Advances in Declarative Networking. PADL 2012: 1-16 - [c60]Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov:
Brief announcement: a calculus of policy-based routing systems. PODC 2012: 343-344 - [c59]Harjot Gill, Dong Lin, Lohit Sarna, Robert Mead, Kenton C. T. Lee, Boon Thau Loo:
SP4: scalable programmable packet processing platform. SIGCOMM 2012: 75-76 - [c58]Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov:
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM 2012: 89-90 - [c57]Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo:
Route shepherd: stability hints for the control plane. SIGCOMM 2012: 91-92 - [c56]Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo:
Private and verifiable interdomain routing decisions. SIGCOMM 2012: 383-394 - [c55]Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov:
Reduction-Based Formal Analysis of BGP Instances. TACAS 2012: 283-298 - [c54]Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernandez, Boon Thau Loo, Jacobus E. van der Merwe:
TROPIC: Transactional Resource Orchestration Platform in the Cloud. USENIX Annual Technical Conference 2012: 183-190 - [c53]Sandy Clark, Chris Wacek, Matt Blaze, Boon Thau Loo, Micah Sherr, Clay Shields, Jonathan M. Smith:
Collaborative Red Teaming for Anonymity System Evaluation. CSET 2012 - [i2]Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, Prithwish Basu:
Cologne: A Declarative Distributed Constraint Optimization Platform. CoRR abs/1204.6080 (2012) - 2011
- [c52]Changbin Liu, Boon Thau Loo, Yun Mao:
Declarative automated cloud resource orchestration. SoCC 2011: 26 - [c51]Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov:
Analyzing BGP Instances in Maude. FMOODS/FORTE 2011: 334-348 - [c50]Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo:
Having your cake and eating it too: routing security with privacy protections. HotNets 2011: 15 - [c49]Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. PPDP 2011: 125-136 - [c48]Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford:
FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM 2011: 440-441 - [c47]Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo:
Datalog and emerging applications: an interactive tutorial. SIGMOD Conference 2011: 1213-1216 - [c46]Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr:
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems. SIGMOD Conference 2011: 1323-1326 - [c45]Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee:
An empirical analysis of scheduling techniques for real-time cloud-based data processing. SOCA 2011: 1-8 - [c44]Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr:
Secure network provenance. SOSP 2011: 295-310 - [c43]Wenchao Zhou, Ling Ding, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo:
TAP: Time-aware Provenance for Distributed Systems. TaPP 2011 - [c42]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee:
AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST 2011: 262-276 - 2010
- [j5]Mengmeng Liu, Svilen R. Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, Sudipto Guha:
SmartCIS: integrating digital and physical environments. SIGMOD Rec. 39(1): 48-53 (2010) - [j4]Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo:
Maintaining Recursive Views of Regions and Connectivity in Networks. IEEE Trans. Knowl. Data Eng. 22(8): 1126-1141 (2010) - [c41]Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee:
Towards a data-centric view of cloud security. CloudDB@CIKM 2010: 25-32 - [c40]Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu:
A policy-based constraint-solving platform towards extensible wireless channel selection and routing. PRESTO@CoNEXT 2010: 9:1-9:6 - [c39]Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli:
Ontologies for Distributed Command and Control Messaging. FOIS 2010: 373-384 - [c38]