Synthesizing Formal Network Specifications From Input-Output Examples
Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, Loo, Boon Thau
Published in IEEE/ACM transactions on networking (01.06.2023)
Published in IEEE/ACM transactions on networking (01.06.2023)
Get full text
Journal Article
Automated synthesis of reactive controllers for software-defined networks
Anduo Wang, Moarref, Salar, Boon Thau Loo, Topcu, Ufuk, Scedrov, Andre
Published in 2013 21st IEEE International Conference on Network Protocols (ICNP) (01.10.2013)
Published in 2013 21st IEEE International Conference on Network Protocols (ICNP) (01.10.2013)
Get full text
Conference Proceeding
Network functions virtualization with soft real-time guarantees
Li, Yang, Xuan Phan, Linh Thi, Loo, Boon Thau
Published in IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications (01.04.2016)
Published in IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications (01.04.2016)
Get full text
Conference Proceeding
Verifying Declarative Smart Contracts
Chen, Haoxian, Lu, Lan, Massey, Brendan, Wang, Yuepeng, Loo, Boon Thau
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
NetEgg: A Scenario-Based Programming Toolkit for SDN Policies
Yuan, Yifei, Lin, Dong, Anil, Siri, Verma, Harsh, Chelluri, Anirudh, Alur, Rajeev, Loo, Boon Thau
Published in IEEE/ACM transactions on networking (01.10.2018)
Published in IEEE/ACM transactions on networking (01.10.2018)
Get full text
Journal Article
Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain
Amiri, Mohammad Javad, Lai, Ziliang, Patel, Liana, Loo, Boon Thau, Lo, Eric, Zhou, Wenchao
Published in 2023 IEEE 39th International Conference on Data Engineering (ICDE) (01.04.2023)
Published in 2023 IEEE 39th International Conference on Data Engineering (ICDE) (01.04.2023)
Get full text
Conference Proceeding
An extensible evaluation system for DoS research
Sultana, Nik, Bose, Shilpi, Loo, Boon Thau
Published in 2019 11th International Conference on Communication Systems & Networks (COMSNETS) (01.01.2019)
Published in 2019 11th International Conference on Communication Systems & Networks (COMSNETS) (01.01.2019)
Get full text
Conference Proceeding
Private and Verifiable Interdomain Routing Decisions
Mingchen Zhao, Wenchao Zhou, Gurney, Alexander J. T., Haeberlen, Andreas, Sherr, Micah, Boon Thau Loo
Published in IEEE/ACM transactions on networking (01.04.2016)
Published in IEEE/ACM transactions on networking (01.04.2016)
Get full text
Journal Article
PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking
Changbin Liu, Correa, Ricardo, Gill, Harjot, Gill, Tanveer, Xiaozhou Li, Muthukumar, Shivkumar, Saeed, Taher, Boon Thau Loo, Basu, Prithwish
Published in IEEE/ACM transactions on networking (01.12.2014)
Published in IEEE/ACM transactions on networking (01.12.2014)
Get full text
Journal Article
Deconstructing MPTCP Performance
Arzani, Behnaz, Gurney, Alexander, Sitian Cheng, Guerin, Roch, Boon Thau Loo
Published in 2014 IEEE 22nd International Conference on Network Protocols (01.10.2014)
Published in 2014 IEEE 22nd International Conference on Network Protocols (01.10.2014)
Get full text
Conference Proceeding
Declarative Policy-Based Adaptive Mobile Ad Hoc Networking
Changbin Liu, Correa, R., Xiaozhou Li, Basu, P., Boon Thau Loo, Yun Mao
Published in IEEE/ACM transactions on networking (01.06.2012)
Published in IEEE/ACM transactions on networking (01.06.2012)
Get full text
Journal Article
Optimizing cost and performance trade-offs for MapReduce job processing in the cloud
Zhuoyao Zhang, Cherkasova, Ludmila, Boon Thau Loo
Published in 2014 IEEE Network Operations and Management Symposium (NOMS) (01.05.2014)
Published in 2014 IEEE Network Operations and Management Symposium (NOMS) (01.05.2014)
Get full text
Conference Proceeding
A Program Logic for Verifying Secure Routing Protocols
Chen, Chen, Jia, Limin, Xu, Hao, Luo, Cheng, Zhou, Wenchao, Loo, Boon Thau
Published in Logical methods in computer science (29.12.2015)
Published in Logical methods in computer science (29.12.2015)
Get full text
Journal Article
The design and implementation of the A3 application-aware anonymity platform
Sherr, Micah, Gill, Harjot, Saeed, Taher Aquil, Mao, Andrew, Marczak, William R., Soundararajan, Saravana, Zhou, Wenchao, Loo, Boon Thau, Blaze, Matt
Published in Computer networks (Amsterdam, Netherlands : 1999) (15.01.2014)
Published in Computer networks (Amsterdam, Netherlands : 1999) (15.01.2014)
Get full text
Journal Article
AS-CRED: Reputation and Alert Service for Interdomain Routing
Jian Chang, Venkatasubramanian, Krishna K., West, Andrew G., Kannan, Sampath, Insup Lee, Boon Thau Loo, Sokolsky, Oleg
Published in IEEE systems journal (01.09.2013)
Published in IEEE systems journal (01.09.2013)
Get full text
Journal Article
Maintaining distributed logic programs incrementally
Nigam, Vivek, Jia, Limin, Thau Loo, Boon, Scedrov, Andre
Published in Computer languages, systems & structures (01.07.2012)
Published in Computer languages, systems & structures (01.07.2012)
Get full text
Journal Article
Maintaining Recursive Views of Regions and Connectivity in Networks
Mengmeng Liu, Taylor, Nicholas E, Wenchao Zhou, Ives, Zachary G, Boon Thau Loo
Published in IEEE transactions on knowledge and data engineering (01.08.2010)
Published in IEEE transactions on knowledge and data engineering (01.08.2010)
Get full text
Journal Article
The case for a hybrid P2P search infrastructure
BOON THAU LOO, HUEBSCH, Ryan, STOICA, Ion, HELLERSTEIN, Joseph M
Published in Lecture notes in computer science (2004)
Get full text
Published in Lecture notes in computer science (2004)
Conference Proceeding