Boon Thau Loo

Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Information Systems: Databases and Data Management
"Boon Loo"


Sign in to add trainee
Micah Sherr grad student 2009 Penn
Changbin Liu grad student 2012 Penn
BETA: Related 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.

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
Wu Y, Zhao M, Haeberlen A, et al. (2015) Diagnosing missing events in distributed systems with negative provenance Computer Communication Review. 44: 383-394
Zhang Z, Cherkasova L, Loo BT. (2015) Automating Platform Selection for MapReduce Processing in the Cloud Proceedings - 2015 International Conference On Cloud and Autonomic Computing, Iccac 2015. 125-136
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
Anderson T, Birman K, Broberg R, et al. (2014) A brief overview of the NEBULA future internet architecture Computer Communication Review. 44: 81-86
See more...