Boon Thau Loo

According to our database1, Boon Thau Loo authored at least 138 papers between 2001 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Data Center Diagnostics with Network Provenance.
IEEE Data Eng. Bull., 2018

007: Democratically Finding The Cause of Packet Drops.
CoRR, 2018

In-network computing to the rescue of faulty links.
Proceedings of the 2018 Morning Workshop on In-Network Computing, 2018

Automated Detection and Mitigation of Application-level Asymmetric DoS Attacks.
Proceedings of the Afternoon Workshop on Self-Driving Networks, 2018

007: Democratically Finding the Cause of Packet Drops.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Towards Example-Guided Network Synthesis.
Proceedings of the 2nd Asia-Pacific Workshop on Networking, 2018

2017
Distributed Provenance Compression.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Quantitative Network Monitoring with NetQRE.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers.
Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Closing the Network Diagnostics Gap with Vigil.
Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Automated Bug Removal for Software-Defined Networks.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Architectural implications on the performance and cost of graph analytics systems.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Predicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Data Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead.
Proceedings of the CIDR 2017, 2017

2016
Private and Verifiable Interdomain Routing Decisions.
IEEE/ACM Trans. Netw., 2016

Scalable and Anonymous Group Communication with MTor.
PoPETs, 2016

Enabling Incremental Query Re-Optimization.
Proceedings of the 2016 International Conference on Management of Data, 2016

Collection, exploration and analysis of crowdfunding social networks.
Proceedings of the Third International Workshop on Exploratory Search in Databases and the Web, 2016

The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Taking the Blame Game out of Data Centers Operations with NetPoirot.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Network functions virtualization with soft real-time guarantees.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

Dispersing Asymmetric DDoS Attacks with SplitStack.
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015
Exploiting Cloud Heterogeneity to Optimize Performance and Cost of MapReduce Processing.
SIGMETRICS Performance Evaluation Review, 2015

A Program Logic for Verifying Secure Routing Protocols.
Logical Methods in Computer Science, 2015

FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering.
CoRR, 2015

A scalable multi-datacenter layer-2 network architecture.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Automated verification of safety properties of declarative networking programs.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Automating Platform Selection for MapReduce Processing in the Cloud.
Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015

Automated Network Repair with Meta Provenance.
Proceedings of the 14th ACM Workshop on Hot Topics in Networks, Philadelphia, PA, USA, November 16, 2015

Differential Provenance: Better Network Diagnostics with Reference Events.
Proceedings of the 14th ACM Workshop on Hot Topics in Networks, Philadelphia, PA, USA, November 16, 2015

Scenario-based programming for SDN policies.
Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies, 2015

2014
PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking.
IEEE/ACM Trans. Netw., 2014

Enabling Incremental Query Re-Optimization.
CoRR, 2014

Parameterizable benchmarking framework for designing a MapReduce performance model.
Concurrency and Computation: Practice and Experience, 2014

The design and implementation of the A3 application-aware anonymity platform.
Computer Networks, 2014

Declarative platform for high-performance network traffic analytics.
Cluster Computing, 2014

A brief overview of the NEBULA future internet architecture.
Computer Communication Review, 2014

Diagnosing missing events in distributed systems with negative provenance.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Proof-based Verification of Software Defined Networks.
Proceedings of the Open Networking Summit 2014 - Research Track, 2014

Optimizing cost and performance trade-offs for MapReduce job processing in the cloud.
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

A reduction-based approach towards scaling up formal analysis of internet configurations.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Deconstructing MPTCP Performance.
Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

NetEgg: Programming Network Policies by Examples.
Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

A Program Logic for Verifying Secure Routing Protocols.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Exploiting cloud heterogeneity for optimized cost/performance MapReduce processing.
Proceedings of the Fourth International Workshop on Cloud Data and Platforms, 2014

Impact of Path Characteristics and Scheduling Policies on MPTCP Performance.
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013
Performance Modeling and Optimization of Deadline-Driven Pig Programs.
TAAS, 2013

AS-CRED: Reputation and Alert Service for Interdomain Routing.
IEEE Systems Journal, 2013

Datalog and Recursive Query Processing.
Foundations and Trends in Databases, 2013

Declarative secure distributed information systems.
Computer Languages, Systems & Structures, 2013

Benchmarking approach for designing a mapreduce performance model.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Getting more for less in optimized MapReduce workflows.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Automated synthesis of reactive controllers for software-defined networks.
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Towards dynamic pricing-based collaborative optimizations for green data centers.
Proceedings of the Workshops Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

AutoTune: Optimizing Execution Concurrency and Resource Usage in MapReduce Workflows.
Proceedings of the 10th International Conference on Autonomic Computing, 2013

Scalanytics: a declarative multi-core platform for scalable composable traffic analytics.
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

Answering why-not queries in software-defined networks with negative provenance.
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

On the feasibility of automation for bandwidth allocation problems in data centers.
Proceedings of the Formal Methods in Computer-Aided Design, 2013


Performance Modeling of MapReduce Jobs in Heterogeneous Cloud Environments.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
Declarative Networking
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, 2012

FSR: formal analysis and implementation toolkit for safe interdomain routing.
IEEE/ACM Trans. Netw., 2012

Declarative Policy-Based Adaptive Mobile Ad Hoc Networking.
IEEE/ACM Trans. Netw., 2012

Experiences in teaching an educational user-level operating systems implementation project.
Operating Systems Review, 2012

Distributed Time-aware Provenance.
PVLDB, 2012

Cologne: A Declarative Distributed Constraint Optimization Platform.
PVLDB, 2012

Cologne: A Declarative Distributed Constraint Optimization Platform
CoRR, 2012

MOSAIC: Declarative platform for dynamic overlay composition.
Computer Networks, 2012

Maintaining distributed logic programs incrementally.
Computer Languages, Systems & Structures, 2012

Collaborative Red Teaming for Anonymity System Evaluation.
Proceedings of the 5th Workshop on Cyber Security Experimentation and Test, 2012

TROPIC: Transactional Resource Orchestration Platform in the Cloud.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Reduction-Based Formal Analysis of BGP Instances.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Private and verifiable interdomain routing decisions.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Reduction-based analysis of BGP systems with BGPVerif.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Route shepherd: stability hints for the control plane.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

SP4: scalable programmable packet processing platform.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Brief announcement: a calculus of policy-based routing systems.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Recent Advances in Declarative Networking.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Reduction-based security analysis of Internet routing protocols.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Automated profiling and resource management of pig programs for meeting service level objectives.
Proceedings of the 9th International Conference on Autonomic Computing, 2012

PUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking.
Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012

Optimizing Completion Time and Resource Provisioning of Pig Programs.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011
AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP.
Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

TAP: Time-aware Provenance for Distributed Systems.
Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

Secure network provenance.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

An empirical analysis of scheduling techniques for real-time cloud-based data processing.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

NetTrails: a declarative platform for maintaining and querying provenance in distributed systems.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Datalog and emerging applications: an interactive tutorial.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

FSR: formal analysis and implementation toolkit for safe inter-domain routing.
Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Maintaining distributed logic programs incrementally.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Having your cake and eating it too: routing security with privacy protections.
Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Analyzing BGP Instances in Maude.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Declarative automated cloud resource orchestration.
Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

2010
Maintaining Recursive Views of Regions and Connectivity in Networks.
IEEE Trans. Knowl. Data Eng., 2010

SmartCIS: integrating digital and physical environments.
SIGMOD Record, 2010

Efficient querying and maintenance of network provenance at internet-scale.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

SecureBlox: customizable secure distributed data processing.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

A3: An Extensible Platform for Application-Aware Anonymity.
Proceedings of the Network and Distributed System Security Symposium, 2010

PUMA: policy-based unified management architecture for wireless networking.
Proceedings of the 2010 ACM workshop on Wireless of the students, 2010

On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform.
Proceedings of the 11th International Middleware Conference Industrial Track, Bangalore, India, November 29, 2010

An Operational Semantics for Network Datalog.
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

Ontologies for Distributed Command and Control Messaging.
Proceedings of the Formal Ontology in Information Systems, 2010

Towards a data-centric view of cloud security.
Proceedings of the Second International CIKM Workshop on Cloud Data Management, 2010

2009
5th international workshop on networking meets databases (NetDB 2009).
Operating Systems Review, 2009

5th international workshop on networking meets databases (NetDB 2009).
SIGMOD Record, 2009

Declarative Reconfigurable Trust Management
CoRR, 2009

Declarative networking.
Commun. ACM, 2009

Veracity: Practical Secure Network Coordinates via Vote-based Agreements.
Proceedings of the 2009 USENIX Annual Technical Conference, 2009

SmartCIS: integrating digital and physical environments.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

DMaC: Distributed Monitoring and Checking.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

Scalable Link-Based Relay Selection for Anonymous Routing.
Proceedings of the Privacy Enhancing Technologies, 9th International Symposium, 2009

Declarative Network Verification.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Declarative Policy-based Adaptive MANET Routing.
Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

Unified Declarative Platform for Secure Netwoked Information Systems.
Proceedings of the 25th International Conference on Data Engineering, 2009

Recursive Computation of Regions and Connectivity in Networks.
Proceedings of the 25th International Conference on Data Engineering, 2009

Formally Verifiable Networking.
Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

Message models and aggregation in knowledge based middleware for rich sensor systems.
Proceedings of the 6th Workshop on Data Management for Sensor Networks, 2009

Declarative Reconfigurable Trust Management.
Proceedings of the CIDR 2009, 2009

2008
A declarative perspective on adaptive manet routing.
Proceedings of the ACM SIGCOMM 2008 Workshop on Programmable Routers for Extensible Services of Tomorrow, 2008

Veracity: a fully decentralized service for securing network coordinate systems.
Proceedings of the 7th international conference on Peer-to-peer systems, 2008

Provenance-aware secure networks.
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

OntoNet: Scalable knowledge-based networking.
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

MOSAIC: unified declarative platform for dynamic overlay composition.
Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, 2008

2007
Towards Application-Aware Anonymous Routing.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Security, 2007

Towards a Declarative Language and System for Secure Networking.
Proceedings of the Third International Workshop on Networking Meets Databases, 2007

Public Health for the Internet (PHI).
Proceedings of the CIDR 2007, 2007

2006
Declarative networking: language, execution and optimization.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

2005
Implementing declarative overlays.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Declarative routing: extensible routing with declarative queries.
Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005

The Architecture of PIER: an Internet-Scale Query Processor.
Proceedings of the CIDR 2005, 2005

2004
Enhancing P2P File-Sharing with an Internet-Scale Query Processor.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, August 31, 2004

Querying at Internet-Scale.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

The Case for a Hybrid P2P Search Infrastructure.
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003
Querying the Internet with PIER.
Proceedings of the VLDB 2003, 2003

On the Feasibility of Peer-to-Peer Web Indexing and Search.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

2002
Complex Queries in DHT-based Peer-to-Peer Networks.
Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

2001
Adaptive Precision Setting for Cached Approximate Values.
Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001


  Loading...