Boon Thau Loo
Affiliations: | Computer and Information Science | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Information Systems: Databases and Data ManagementGoogle:
"Boon Loo"Parents
Sign in to add mentorJoseph M. Hellerstein | grad student | 2006 | UC Berkeley | |
(The design and implementation of declarative networks.) |
Children
Sign in to add traineeYun Mao | grad student | 2008 | Penn |
Micah Sherr | grad student | 2009 | Penn |
Changbin Liu | grad student | 2012 | Penn |
Wenchao Zhou | grad student | 2012 | Penn |
Qizhen Zhang | grad student | 2022 | Penn |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Yuan Y, Lin D, Anil S, et al. (2018) NetEgg: A Scenario-Based Programming Toolkit for SDN Policies Ieee/Acm Transactions On Networking. 26: 2104-2117 |
Zhao M, Zhou W, Gurney AJT, et al. (2016) Private and verifiable interdomain routing decisions Ieee/Acm Transactions On Networking. 24: 1011-1024 |
Chen C, Jia L, Xu H, et al. (2015) A program logic for verifying secure routing protocols Logical Methods in Computer Science. 11 |
Wu Y, Chen A, Haeberlen A, et al. (2015) Automated network repair with Meta provenance Proceedings of the 14th Acm Workshop On Hot Topics in Networks, Hotnets-Xiv 2015 |
Chen A, Wu Y, Haeberlen A, et al. (2015) Differential provenance: Better network diagnostics with reference events Proceedings of the 14th Acm Workshop On Hot Topics in Networks, Hotnets-Xiv 2015 |
Chen C, Loh LK, Jia L, et al. (2015) Automated verification of safety properties of declarative networking programs Proceedings of the 17th International Symposium On Principles and Practice of Declarative Programming, Ppdp 2015. 79-90 |
Chen C, Liu C, Liu P, et al. (2015) A scalable multi-datacenter layer-2 network architecture Symposium On Software Defined Networking (Sdn) Research, Sosr 2015 |
Yuan Y, Alur R, Loo BT. (2014) NetEgg: Programming network policies by examples Proceedings of the 13th Acm Workshop On Hot Topics in Networks, Hotnets 2014 |
Arzani B, Gurney A, Cheng S, et al. (2014) Impact of path characteristics and scheduling policies on MPTCP performance Proceedings - 2014 Ieee 28th International Conference On Advanced Information Networking and Applications Workshops, Ieee Waina 2014. 743-748 |
Liu C, Correa R, Gill H, et al. (2014) PUMA: Policy-based unified multiradio architecture for agile mesh networking Ieee/Acm Transactions On Networking. 22: 1897-1910 |