Search Results - "Boon Thau Loo"

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

“…We propose NetSpec, a tool that synthesizes network specifications in a declarative logic programming language from input-output examples. NetSpec aims to…”
Get full text

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

“…With the tremendous growth of the Internet and the emerging software-defined networks, there is an increasing need for rigorous and scalable network management…”
Get full text

Network functions virtualization with soft real-time guarantees by Li, Yang, Xuan Phan, Linh Thi, Loo, Boon Thau

“…Network functions are increasingly being commoditized as software appliances on off-the-shelf machines, popularly known as Network Functions Virtualization…”
Get full text

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

“…Smart contracts manage a large number of digital assets nowa-days. Bugs in these contracts have led to significant financial loss. Verifying the correctness of…”
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

“…Recent emergence of software-defined networks offers an opportunity to design domain-specific programming abstractions aimed at network operators. In this…”
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

“…Utilizing big-data analytics for crowdfunding platforms (e.g., AngelList and Crunchbase) and social media sites (e.g., Facebook and Twitter), this study…”
Get 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

“…We present Saguaro, a permissioned blockchain system designed specifically for edge computing networks. Saguaro leverages the hierarchical structure of edge…”
Get full text

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

“…Denial-of-Service (DoS) is a common form of cyberattack, and application-layer DoS is an increasingly common form of DoS that exploits the behaviour of…”
Get full text

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

“…Existing secure interdomain routing protocols can verify validity properties about individual routes, such as whether they correspond to a real network path…”
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

“…This paper presents the design and implementation of PUMA, a declarative constraint-solving platform for policy-based routing and channel selection in…”
Get full text

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

“…The paper seeks to broaden our understanding of MPTCP and focuses on the impact that initial sub-path selection can have on performance. Using empirical data,…”
Get full text

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

“…This paper presents DAWN, a declarative platform that creates highly adaptive policy-based mobile ad hoc network (MANET) protocols. DAWN leverages declarative…”
Get full text

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

“…Cloud computing offers a new, attractive option to customers for provisioning a suitable size Hadoop cluster, consuming resources as a service, executing the…”
Get full text

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

“…The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done to understand and verify the formal security guarantees of…”
Get 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

“…This paper presents the design and implementation of Application-Aware Anonymity (A3), an extensible platform for rapidly prototyping and evaluating anonymity…”
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

“…As the backbone routing system of the Internet, the operational aspect of the interdomain routing is highly complex. Building a trustworthy ecosystem for…”
Get full text

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

“…Distributed logic programming languages, which allow both facts and programs to be distributed among different nodes in a network, have been recently proposed…”
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

“…The data management community has recently begun to consider declarative network routing and distributed acquisition: e.g., sensor networks that execute…”
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.

“…Increased demand for cloud computing services has ushered power management schemes into the frontlines of data center research. Meanwhile, market penetration…”
Get full text

A reduction-based approach towards scaling up formal analysis of internet configurations by Anduo Wang, Gurney, Alexander J. T., Xianglong Han, Jinyan Cao, Boon Thau Loo, Talcott, Carolyn, Scedrov, Andre

“…The Border Gateway Protocol (BGP) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence…”
Get full text