Boon Thau Loo

Flightplan: Dataplane Disaggregation and Placement for P4 Programs

Networked Systems Design and Implementation · 2021 · 28 citations

Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT

Proceedings of the 2022 International Conference on Management of Data · 2022-06-10 · 27 citations

Recent proposals for the disaggregation of compute, memory, storage, and accelerators in data centers promise substantial operational benefits. Unfortunately, for resources like memory, this comes at the cost of performance overhead due to the potential insertion of network latency into every load and store operation. This effect is particularly felt by data-intensive systems due to the size of their working sets, the frequency at which they need to access memory, and the relatively low computat…

The Use of Crowdfunding and Social Media Platforms in Strategic Start-up Communication: A Big-data Analysis

International Journal of Strategic Communication · 2022-03-15 · 17 citations

Utilizing big-data analytics for crowdfunding platforms (e.g., AngelList and Crunchbase) and social media sites (e.g., Facebook and Twitter), this study investigates the impact of social media marketing on the start-up fundraising success through the lens of social capital theory. The results show that cognitive, structural, and relational dimensions of social capital sources served as predictors of fundraising for start-ups. Specifically, shared values (e.g., the number of followers, the number…

Synthesizing Formal Network Specifications From Input-Output Examples

IEEE/ACM Transactions on Networking · 2022-09-29 · 4 citations

We propose NetSpec, a tool that synthesizes network specifications in a declarative logic programming language from input-output examples. NetSpec aims to accelerate the adoption of formal verification in networking practice, by reducing the effort and expertise required to specify network models or properties. NetSpec aims to be i) highly expressive, capable of synthesizing network specifications with complex semantics; ii) scalable, by virtue of using a novel best-first search algorithm to eff…

Verifying Declarative Smart Contracts

2024-04-12 · 2 citations

Smart contracts manage a large number of digital assets nowadays. Bugs in these contracts have led to significant financial loss. Verifying the correctness of smart contracts is, therefore, an important task. This paper presents an automated safety verification tool, DCV, that targets declarative smart contracts written in De-Con, a logic-based domain-specific language for smart contract implementation and specification. DCV proves safety properties by mathematical induction and can automaticall…