Trace-driven Analysis of an Internet-scale Cloud Computing Platform (2009)
Harrison Duong, Boon Thau, Loo Godfrey Tan
In recent years, cloud computing have become a popular computing paradigm, where computation is moved away from personal computers or an individual application server to a “cloud ” of computers...
Declarative Network Verification (2009)
Anduo Wang, Prithwish Basu, Boon Thau, Loo Oleg Sokolsky
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification technique where...
MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition ∗ (2009)
Yun Mao, Boon Thau, Loo Zachary, Ives Jonathan, M. Smith
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay networks from multiple...
Unified Declarative Platform for Secure Networked Information Systems (2009)
Wenchao Zhou, Yun Mao, Boon Thau, Loo Martín Abadi
Abstract — We present a unified declarative platform for specifying, implementing, and analyzing secure networked information systems. Our work builds upon techniques from logic-based trust...
Declarative Networking: Language, Execution and Optimization (2009)
Boon Thau, Loo Tyson, Condie Minos, Garofalakis David, E. Gay, Joseph M. Hellerstein, ...
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for a next-generation...
Unified Declarative Platform for Secure Networked Information Systems (2009)
Wenchao Zhou, Yun Mao, Boon Thau, Loo Martín Abadi
Abstract — We present a unified declarative platform for specifying, implementing, and analyzing secure networked information systems. Our work builds upon techniques from logic-based trust...
MOSAIC: Multiple Overlay Selection and Intelligent Composition (2008)
Yun Mao, Boon Thau, Loo Zachary, Ives Jonathan, M. Smith
Today, the most effective mechanism for remedying shortcomings of the Internet, or augmenting it with new networking capabilities, is to develop and deploy a new overlay network. This leads to the...
Declarative Networking: Language, Execution and Optimization (2008)
Boon Thau, Loo Tyson, Condie Minos, Garofalakis David, E. Gay, Joseph M. Hellerstein, ...
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for a next-generation...
Abstract Distributed Web Crawling over DHTs (2007)
Boon Thau, Loo Owen, Cooper Sailesh Krishnamurthy
In this paper, we present the design and implementation of a distributed web crawler. We begin by motivating the need for such a crawler, as a basic building block for decentralized web search...
Enhancing P2P File-Sharing with an Internet-Scale Query Processor (2007)
Boon Thau, Loo Joseph, M. Hellerstein, Ryan Huebsch, Scott Shenker, Ion Stoica
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a globally-distributed...
Abstract Customizable Routing with Declarative Queries (2007)
Boon Thau, Loo Joseph, M. Hellerstein, Ion Stoica
To meet the demands of new Internet applications, recent work argues for giving end-hosts more control over routing. To achieve this goal, we propose the use of a recursive query language, which can...
Enhancing P2P File-Sharing with an Internet-Scale Query Processor (2007)
Boon Thau, Loo Joseph, M. Hellerstein, Ryan Huebsch, Scott Shenker, Ion Stoica
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a globally-distributed...
Towards application-aware anonymous routing (2007)
Micah Sherr, Boon Thau, Loo Matt Blaze
This paper investigates the problem of designing anonymity networks that meet application-specific performance and security constraints. We argue that existing anonymity networks take a narrow view...
Declarative Routing: Extensible Routing with Declarative queries (2005)
Boon Thau, Loo Joseph, M. Hellerstein, Ion Stoica, Raghu Ramakrishnan
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior research on this problem...
Declarative Routing: Extensible Routing with Declarative queries (2005)
Boon Thau, Loo Joseph, M. Hellerstein, Ion Stoica, Raghu Ramakrishnan
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior research on this problem...
Declarative Routing: Extensible Routing with Declarative queries (2005)
Boon Thau, Loo Joseph, M. Hellerstein, Ion Stoica, Raghu Ramakrishnan
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior research on this problem...
Declarative Routing: Extensible Routing with Declarative queries (2005)
Boon Thau, Loo Joseph, M. Hellerstein, Ion Stoica, Raghu Ramakrishnan
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior research on this problem...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek, David Karger, ...
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Querying the internet with pier (2003)
Ryan Huebsch, Joseph M. Hellerstein, Nick Lanham, Boon Thau, Loo Scott Shenker, Ion Stoica
The database research community prides itself on scalable technologies. Yet database systems traditionally do not excel on one important scalability dimension: the degree of distribution. This...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li Boon, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek, David Karger, ...
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li Boon, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek, David Karger, ...
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...