Boon Thau Loo | Academic Influence

Boon Thau Loo's AcademicInfluence.com Rankings

Boon Thau Loo

Computer Science

#2747

World Rank

#2875

Historical Rank

Database

#5247

World Rank

#5447

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Boon Thau Loo's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley
Bachelors Electrical Engineering and Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Boon Thau Loo Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Boon Thau Loo is a Singaporean-American computer scientist, college administrator, and technology entrepreneur. He is currently the RCA professor in the Computer and Information Science department at the University of Pennsylvania where he leads a research lab working on distributed systems, and serves as the Associate Dean for Graduate Programs at the University of Pennsylvania School of Engineering and Applied Science.

(See a Problem?)

Boon Thau Loo's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Complex Queries in DHT-based Peer-to-Peer Networks (2002) (390)
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003) (383)
Implementing declarative overlays (2005) (377)
Declarative networking: language, execution and optimization (2006) (314)
Querying the Internet with PIER (2003) (306)
Declarative routing: extensible routing with declarative queries (2005) (260)
The Architecture of PIER: an Internet-Scale Query Processor (2005) (245)
Adaptive precision setting for cached approximate values (2001) (232)
The Case for a Hybrid P2P Search Infrastructure (2004) (229)
Declarative networking (2009) (212)
Efficient querying and maintenance of network provenance at internet-scale (2010) (171)
Secure network provenance (2011) (152)
Enhancing P2P File-Sharing with an Internet-Scale Query Processor (2004) (141)
Datalog and emerging applications: an interactive tutorial (2011) (137)
Network functions virtualization with soft real-time guarantees (2016) (128)
Declarative automated cloud resource orchestration (2011) (109)
Taking the Blame Game out of Data Centers Operations with NetPoirot (2016) (81)
Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments (2013) (77)
The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance (2016) (69)
Impact of Path Characteristics and Scheduling Policies on MPTCP Performance (2014) (68)
Quantitative Network Monitoring with NetQRE (2017) (67)
Automated profiling and resource management of pig programs for meeting service level objectives (2012) (67)
Datalog and Recursive Query Processing (2013) (66)
Scalable Link-Based Relay Selection for Anonymous Routing (2009) (66)
Declarative Network Verification (2009) (63)
007: Democratically Finding The Cause of Packet Drops (2018) (60)
Trust Management (2006) (60)
The Nebula Future Internet Architecture (2013) (59)
BurstRadar: Practical Real-time Microburst Monitoring for Datacenter Networks (2018) (56)
An empirical analysis of scheduling techniques for real-time cloud-based data processing (2011) (55)
Benchmarking approach for designing a mapreduce performance model (2013) (53)
Distributed Time-aware Provenance (2012) (53)
Recursive Computation of Regions and Connectivity in Networks (2009) (51)
Unified Declarative Platform for Secure Netwoked Information Systems (2009) (51)
A3: An Extensible Platform for Application-Aware Anonymity (2010) (48)
NetEgg: Programming Network Policies by Examples (2014) (46)
Maintaining distributed logic programs incrementally (2011) (45)
Distributed Web Crawling over DHTs (2004) (45)
Scenario-based programming for SDN policies (2015) (44)
Towards a Declarative Language and System for Secure Networking (2007) (44)
Real-Time MapReduce Scheduling (2010) (44)
Optimizing cost and performance trade-offs for MapReduce job processing in the cloud (2014) (43)
Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing (2015) (43)
Towards a data-centric view of cloud security (2010) (41)
MOSAIC: unified declarative platform for dynamic overlay composition (2008) (41)
Veracity: Practical Secure Network Coordinates via Vote-based Agreements (2009) (40)
Towards dynamic pricing-based collaborative optimizations for green data centers (2013) (40)
Automated Bug Removal for Software-Defined Networks (2017) (37)
The design and implementation of declarative networks (2006) (35)
Flightplan: Dataplane Disaggregation and Placement for P4 Programs (2021) (35)
DMaC: Distributed Monitoring and Checking (2009) (34)
Formally Verifiable Networking (2009) (34)
FSR: formal analysis and implementation toolkit for safe interdomain routing (2011) (33)
A declarative perspective on adaptive manet routing (2008) (32)
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing (2011) (32)
Exploiting cloud heterogeneity for optimized cost/performance MapReduce processing (2014) (31)
A brief overview of the NEBULA future internet architecture (2014) (31)
Cologne: A Declarative Distributed Constraint Optimization Platform (2012) (30)
Towards Application-Aware Anonymous Routing (2007) (29)
Deconstructing MPTCP Performance (2014) (29)
Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead (2017) (28)
SecureBlox: customizable secure distributed data processing (2010) (28)
Declarative Policy-Based Adaptive Mobile Ad Hoc Networking (2012) (28)
Having your cake and eating it too: routing security with privacy protections (2011) (27)
Private and Verifiable Interdomain Routing Decisions (2016) (27)
Provenance-aware secure networks (2008) (27)
Automated Network Repair with Meta Provenance (2015) (27)
Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis (2017) (26)
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (2011) (26)
Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation (2009) (26)
Declarative policy-based adaptive MANET routing (2009) (26)
A scalable multi-datacenter layer-2 network architecture (2015) (25)
Veracity: a fully decentralized service for securing network coordinate systems (2008) (25)
Distributed Provenance Compression (2017) (24)
MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition (2008) (24)
Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame (2019) (23)
Understanding the effect of data center resource disaggregation on production DBMSs (2020) (23)
AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows (2013) (23)
Answering why-not queries in software-defined networks with negative provenance (2013) (23)
Declarative Reconfigurable Trust Management (2009) (22)
Analyzing BGP Instances in Maude (2011) (22)
AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP (2011) (21)
Dispersing Asymmetric DDoS Attacks with SplitStack (2016) (21)
Optimizing Declarative Graph Queries at Large Scale (2019) (21)
AS-CRED: Reputation and Alert Service for Interdomain Routing (2013) (20)
Diagnosing missing events in distributed systems with negative provenance (2014) (20)
In-network computing to the rescue of faulty links (2018) (19)
TAP: Time-aware Provenance for Distributed Systems (2011) (18)
Parameterizable benchmarking framework for designing a MapReduce performance model (2014) (17)
Reduction-Based Formal Analysis of BGP Instances (2012) (17)
Maintaining Recursive Views of Regions and Connectivity in Networks (2010) (17)
PUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking (2014) (17)
Performance Modeling and Optimization of Deadline-Driven Pig Programs (2013) (17)
SmartCIS: integrating digital and physical environments (2010) (17)
Differential Provenance: Better Network Diagnostics with Reference Events (2015) (16)
Private and verifiable interdomain routing decisions (2012) (16)
One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics (2017) (16)
A Program Logic for Verifying Secure Routing Protocols (2015) (15)
Optimizing Completion Time and Resource Provisioning of Pig Programs (2012) (15)
TROPIC: Transactional Resource Orchestration Platform in the Cloud (2012) (14)
Peer-To-Peer Backup for Personal Area Networks (2003) (14)
Enabling Incremental Query Re-Optimization (2014) (14)
Rethinking Data Management Systems for Disaggregated Data Centers (2020) (14)
Customizable Routing with Declarative Queries (2004) (14)
RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks (2009) (14)
When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone (2021) (14)
Architectural implications on the performance and cost of graph analytics systems (2017) (13)
Getting more for less in optimized MapReduce workflows (2013) (13)
An Open-Source and Declarative Approach Towards Teaching Large-Scale Networked Systems Programming (2011) (12)
Partial Specification of Routing Configurations (2011) (12)
Scalable and Anonymous Group Communication with MTor (2016) (12)
Recent Advances in Declarative Networking (2012) (11)
Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees (2021) (11)
Automated synthesis of reactive controllers for software-defined networks (2013) (11)
PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking (2012) (11)
DeDoS: Defusing DoS with Dispersion Oriented Software (2018) (11)
On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform (2010) (10)
Analyzing P2P Overlays with Recursive Queries (2003) (10)
Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT (2022) (10)
Collection, exploration and analysis of crowdfunding social networks (2016) (10)
Scalanytics: a declarative multi-core platform for scalable composable traffic analytics (2013) (10)
SmartCIS: integrating digital and physical environments (2009) (10)
Automated verification of safety properties of declarative networking programs (2015) (10)
Meeting service level objectives of Pig programs (2012) (10)
A policy-based constraint-solving platform towards extensible wireless channel selection and routing (2010) (10)
A Theorem Proving Approach Towards Declarative Networking (2009) (9)
MOSAIC: Declarative platform for dynamic overlay composition (2012) (9)
A reduction-based approach towards scaling up formal analysis of internet configurations (2014) (9)
The case for a unified extensible data-centric mobility infrastructure (2007) (9)
OntoNet: Scalable knowledge-based networking (2008) (9)
Declarative Multicore Programming of Software-based Stateful Packet Processing (2011) (9)
Reduction-based security analysis of Internet routing protocols (2012) (9)
Experiences in teaching an educational user-level operating systems implementation project (2012) (8)
Declarative networking with distributed recursive query processing (2006) (8)
Ontologies for Distributed Command and Control Messaging (2010) (8)
Saguaro: Efficient Processing of Transactions in Wide Area Networks using a Hierarchical Permissioned Blockchain (2021) (8)
Reduction-based analysis of BGP systems with BGPVerif (2012) (8)
On the feasibility of automation for bandwidth allocation problems in data centers (2013) (8)
Route shepherd: stability hints for the control plane (2012) (7)
CompuCache: Remote Computable Caching using Spot VMs (2022) (7)
Automating Platform Selection for MapReduce Processing in the Cloud (2015) (7)
The design and implementation of the A3 application-aware anonymity platform (2014) (6)
Querying at Internet scale (2004) (6)
Private and verifiable interdomain routing decisions (2016) (6)
Towards Example-Guided Network Synthesis (2018) (6)
SP4: scalable programmable packet processing platform (2012) (6)
Towards Secure Cloud Data Management (2010) (6)
AS-CRED: Reputation Service for Trustworthy Inter-Domain Routing (2010) (6)
Public Health for the Internet (PHI) (2007) (6)
Implementing Network Protocols as Distributed Logic Programs (2012) (6)
Brief announcement: a calculus of policy-based routing systems (2012) (6)
PUMA: policy-based unified management architecture for wireless networking (2010) (5)
Declarative platform for high-performance network traffic analytics (2014) (5)
Proof-based Verification of Software Defined Networks (2014) (5)
A demonstration of the RapidMesh development toolkit (2009) (5)
Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks (2018) (5)
A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers (2017) (5)
Message models and aggregation in knowledge based middleware for rich sensor systems (2009) (5)
Coordinate-based routing for high performance anonymity (2009) (5)
Closing the Network Diagnostics Gap with Vigil (2017) (5)
An Operational Semantics for Network Datalog (2010) (5)
Secure time-aware provenance for distributed systems (2012) (4)
Formalizing Metarouting in PVS (2009) (4)
BurstRadar (2018) (4)
AS-TRUST: A Trust Characterization Scheme for Autonomous Systems in BGP (2010) (4)
Network Traffic Classification by Program Synthesis (2021) (3)
Towards A Secure and Verifiable Future Internet (2012) (3)
Verifiable Policy-Based Routing With DRIVER (2009) (3)
Provenance-Aware Declarative Secure Networks (2007) (3)
Making Break-ups Less Painful: Source-level Support for Transforming Legacy Software into a Network of Tasks (2018) (3)
Declarative secure distributed information systems (2013) (3)
SP4: scalable programmable packet processing platform (2012) (3)
Declarative Networking (2012) (3)
NetEgg: A Scenario-Based Programming Toolkit for SDN Policies (2018) (3)
Tracking Adversarial Behavior in Distributed Systems With Secure Network Provenance (2010) (3)
Querying Network Graphs with Recursive Queries (2004) (2)
An extensible evaluation system for DoS research (2019) (2)
Declarative smart contracts (2022) (2)
Provenance for Probabilistic Logic Programs (2020) (2)
TMC: Pay-as-you-Go Distributed Communication (2019) (2)
MOSAIC: Multiple Overlay Selection and Intelligent Composition (2007) (2)
Collaborative Red Teaming for Anonymity System Evaluation (2012) (2)
Maintaining Distributed Recursive Views Incrementally (2010) (2)
Automated formal analysis of internet routing configurations (2013) (2)
Public Health for the Internet (') Towards A New Grand Challenge for Information Management (2007) (2)
Synthesizing Formal Network Specifications From Input-Output Examples (2022) (1)
Optimizing Declarative GraphQueries at Large Scale Technical Report (2019) (1)
FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering (2015) (1)
Veracity: A Fully Decentralized Secure Network Coordinate Service (2008) (1)
FlexChain: An Elastic Disaggregated Blockchain (2022) (1)
The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation (2022) (1)
Query Optimization as a Datalog Program (2012) (1)
FDP: A Teaching and Demonstration Platform for Networking (2021) (1)
Safety Verification of Declarative Smart Contracts (2022) (1)
Cost-Based Dynamic Job Rescheduling: A Case Study of the Intel Distributed Computing Platform (2010) (1)
Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain (2021) (1)
FDP (2013) (1)
NetRep: Automatic Repair for Network Programs (2021) (1)
Automated cloud resource orchestration (2012) (1)
FDP: a teaching and demo platform for SDN (2020) (1)
Measurement and Analysis of Ultrapeer-based P2P Search Networks (2003) (1)
5th international workshop on networking meets databases (NetDB 2009) (2010) (1)
TMC (2019) (1)
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation (2022) (1)
A Formal Framework for Secure Routing Protocols (2013) (1)
Declarative platform for high-performance network traffic analytics (2014) (0)
Declarative Constraint Optimization in Distributed Systems (2012) (0)
PRACTICAL NETWORK PROGRAMMING AUTOMATION (2022) (0)
Trace-based Behaviour Analysis of Network Servers (2019) (0)
Towards a Secure and Verifiable Future Internet ( Full Presentation ) (2011) (0)
Analyzing BGP Gadgets in Maude (2011) (0)
Declarative Network Verification Declarative Network Verification (2021) (0)
PRACTICAL NETWORK PROGRAMMING AUTOMATION PRACTICAL NETWORK PROGRAMMING AUTOMATION (2022) (0)
Qanaat (2022) (0)
Research Statement Theme 1: Secure Extensible Distributed Systems the First Research Project Explores a Unified Declarative Platform for Specifying, Implementing, and Analyzing (2009) (0)
Trace-driven Analysis of an Internet-scale Cloud Computing Platform (2008) (0)
Declarative Secure Distributed Systems (2010) (0)
1-1-2011 Maintaining Distributed Recursive Views Incrementally (2016) (0)
IPC evolution thru declarative interface generation (2021) (0)
Orion: Automatic Repair for Network Programs (2021) (0)
Towards Self-Explaining Networks (2011) (0)
FlexChain (2022) (0)
Rashnu: Data-Dependent Order-Fairness (2022) (0)
Unified Platform for Secure Networked Information Systems (2008) (0)
Hashtray: Turning the tables on Scalable Client Classification (2019) (0)
A Unified Algebraic and Logic-Based Framework Towards Safe Routing Implementations (2015) (0)
T HE B EDROCK OF BFT: A U NIFIED P LATFORM FOR BFT P ROTOCOL D ESIGN AND I MPLEMENTATION (2022) (0)
A unified data-centric approach towards an extensible internet architecture (2008) (0)
ScholarlyCommons ScholarlyCommons DMaC: Distributed Monitoring and Checking DMaC: Distributed Monitoring and Checking (2021) (0)
AdaChain: A Learned Adaptive Blockchain (2022) (0)
PennFS : A File System on Relational Database (2013) (0)
Templating Shuffles (2022) (0)
Session-layer Attack Traffic Classification by Program Synthesis (2020) (0)
The Use of Crowdfunding and Social Media Platforms in Strategic Start-up Communication: A Big-data Analysis (2022) (0)
RapidLearn: A General Purpose Toolkit for Autonomic Networking (2020) (0)
Teaching Statement (2005) (0)
Debugging strongly-compartmentalized distributed systems (2020) (0)
Research Statement 2 Synthesizing Provably Safe Distributed Systems (2012) (0)
2007 Dissertation Award “Declarative Networking” (2007) (0)
2 Synthesizing Provably Safe Distributed Systems (2012) (0)
T HE B EDROCK OF B YZANTINE F AULT T OLERANCE : A U NIFIED P LATFORM FOR BFT P ROTOCOL D ESIGN AND I MPLEMENTATION (2022) (0)
1-1-2010 Towards Secure Cloud Data Management (2014) (0)
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (2020) (0)
Sunstar: A Cost-effective Multi-Server Solution for Reliable Video Delivery (2018) (0)
Automatic Repair for Network Programs (2022) (0)
Querying and Routing in Next-Generation Networks (2004) (0)
Data Center Diagnostics with Network Provenance (2018) (0)
ScholarlyCommons A Theorem Proving Approach Towards Declarative Networking A Theorem Proving Approach Towards Declarative Networking (2021) (0)
DeDoS (2018) (0)
ScholarlyCommons ScholarlyCommons Formally Verifiable Networking Formally Verifiable Networking (2021) (0)
IPC Evolution thru Declarative Interface Generation-2mmPosition Paper (2021) (0)
2 Thrust 1 : Synthesizing Provably Correct Distributed Systems (2016) (0)
Demo: Disaggregated Dataplanes (2021) (0)
Report on the 5th International Workshop on Networking Meets Databases (2009) (0)
Session details: Multi-core software routers (2010) (0)
2007 Dissertation Award “Declarative Networking” (2007) (0)

This paper list is powered by the following services:

Other Resources About Boon Thau Loo

en.wikipedia.org

What Schools Are Affiliated With Boon Thau Loo?

Boon Thau Loo is affiliated with the following schools: