Synthesizing Formal Network Specifications From Input-Output Examples by Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, Loo, Boon Thau

Get full text

Verifying Declarative Smart Contracts by Chen, Haoxian, Lu, Lan, Massey, Brendan, Wang, Yuepeng, Loo, Boon Thau

Get full text

The Use of Crowdfunding and Social Media Platforms in Strategic Start-up Communication: A Big-data Analysis by Park, Sun-Young, Loo, Boon Thau

Get full text

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies by Yuan, Yifei, Lin, Dong, Anil, Siri, Verma, Harsh, Chelluri, Anirudh, Alur, Rajeev, Loo, Boon Thau

Get full text

Automated synthesis of reactive controllers for software-defined networks by Anduo Wang, Moarref, Salar, Boon Thau Loo, Topcu, Ufuk, Scedrov, Andre

Request full text

Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain by Amiri, Mohammad Javad, Lai, Ziliang, Patel, Liana, Loo, Boon Thau, Lo, Eric, Zhou, Wenchao

Request full text

An extensible evaluation system for DoS research by Sultana, Nik, Bose, Shilpi, Loo, Boon Thau

Request full text

Private and Verifiable Interdomain Routing Decisions by Mingchen Zhao, Wenchao Zhou, Gurney, Alexander J. T., Haeberlen, Andreas, Sherr, Micah, Boon Thau Loo

Get full text

PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking by Changbin Liu, Correa, Ricardo, Gill, Harjot, Gill, Tanveer, Xiaozhou Li, Muthukumar, Shivkumar, Saeed, Taher, Boon Thau Loo, Basu, Prithwish

Get full text

Deconstructing MPTCP Performance by Arzani, Behnaz, Gurney, Alexander, Sitian Cheng, Guerin, Roch, Boon Thau Loo

Request full text

Declarative Policy-Based Adaptive Mobile Ad Hoc Networking by Changbin Liu, Correa, R., Xiaozhou Li, Basu, P., Boon Thau Loo, Yun Mao

Get full text

Optimizing cost and performance trade-offs for MapReduce job processing in the cloud by Zhuoyao Zhang, Cherkasova, Ludmila, Boon Thau Loo

Request full text

A Program Logic for Verifying Secure Routing Protocols by Chen, Chen, Jia, Limin, Xu, Hao, Luo, Cheng, Zhou, Wenchao, Loo, Boon Thau

Get full text

Recursive Computation of Regions and Connectivity in Networks by Mengmeng Liu, Taylor, N.E., Wenchao Zhou, Ives, Z.G., Boon Thau Loo

Request full text

The design and implementation of the A3 application-aware anonymity platform by Sherr, Micah, Gill, Harjot, Saeed, Taher Aquil, Mao, Andrew, Marczak, William R., Soundararajan, Saravana, Zhou, Wenchao, Loo, Boon Thau, Blaze, Matt

Get full text

Implementing declarative overlays by BOON THAU LOO, MANIATIS, Petros, CONDIE, Tyson, ROSCOE, Timothy, HELLERSTEIN, Joseph M, STOICA, Ion

Get full text

AS-CRED: Reputation and Alert Service for Interdomain Routing by Jian Chang, Venkatasubramanian, Krishna K., West, Andrew G., Kannan, Sampath, Insup Lee, Boon Thau Loo, Sokolsky, Oleg

Get full text

Maintaining distributed logic programs incrementally by Nigam, Vivek, Jia, Limin, Thau Loo, Boon, Scedrov, Andre

Get full text

Maintaining Recursive Views of Regions and Connectivity in Networks by Mengmeng Liu, Taylor, Nicholas E, Wenchao Zhou, Ives, Zachary G, Boon Thau Loo

Get full text

Towards dynamic pricing-based collaborative optimizations for green data centers by Yang Li, Chiu, D., Changbin Liu, Phan, L. T. X., Gill, T., Aggarwal, S., Zhuoyao Zhang, Boon Thau Loo, Maier, D., McManus, B.

Request full text