Skip to content

Boon Thau Loo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

120

Venues

39

Active years

2001–2026

Best venue rank

A*

Where they publish

Papers

120 indexed papers, newest first.

YearVenueTitleAuthors
2026CIDRPrivacy Meets Regulations: Shaping the Future of Work.Mohammad Javad Amiri, Tristan Allard, Boon Thau Loo, Divyakant Agrawal, Amr El Abbadi
2025CLOUDMultiplexed Heterogeneous LLM Serving via Stage-Aligned Parallelism.Tao Luo, Kelvin K. W. Ng, Zhen Ping Khor, Sidharth Sankhe, Boon Thau Loo, Vincent Liu
2025NSDIBFTBrain: Adaptive BFT Consensus with Reinforcement Learning.Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri, Boon Thau Loo, Dahlia Malkhi, Ryan Marcus
2025PPDPOn the Automated Verification of BGP Convergence.Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott
2024ICSEVerifying Declarative Smart Contracts.Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2024NSDIThe Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation.Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
2024SIGMODDistributed Transaction Processing in Untrusted Environments.Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo
2024VLDBPractical Declarative Smart Contracts Optimization.Lan Lu, Tao Luo, Jingyi Li, Hongxun Ding, Brendan Massey, Haoxian Chen, Boon Thau Loo
2023CIDRTemplating Shuffles.Qizhen Zhang, Jiacheng Wu, Ang Chen, Vincent Liu, Boon Thau Loo
2023ICDESaguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain.Mohammad Javad Amiri, Ziliang Lai, Liana Patel, Boon Thau Loo, Eric Lo, Wenchao Zhou
2023VLDBTowards Adaptive Fault-Tolerant Sharded Databases.Bhavana Mehta, Neelesh C. A, Prashanth S. Iyer, Mohammad Javad Amiri, Boon Thau Loo, Ryan Marcus
2022ACSACTowards Practical Application-level Support for Privilege Separation.Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis, Boon Thau Loo
2022CIDRCompuCache: Remote Computable Caching using Spot VMs.Qizhen Zhang, Philip A. Bernstein, Daniel S. Berger, Badrish Chandramouli, Vincent Liu, Boon Thau Loo
2022SIGMODOptimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT.Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
2022TACASAutomatic Repair for Network Programs.Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2021CoNEXTIPC evolution thru declarative interface generation.Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo
2021ICDCSDemo: Disaggregated Dataplanes.Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo
2021NSDIFlightplan: Dataplane Disaggregation and Placement for P4 Programs.Nik Sultana, John Sonchack, Hans Giesen, Isaac Pedisich, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, Andr DeHon, Boon Thau Loo
2021SIGCSEFDP: A Teaching and Demonstration Platform for Networking.Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo
2021SOSPWhen Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Persphone.Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang
2021TACASNetwork Traffic Classification by Program Synthesis.Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur
2020CIDRRethinking Data Management Systems for Disaggregated Data Centers.Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo
2020CoNEXTFDP: a teaching and demo platform for SDN.Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo
2020EDBTProvenance for Probabilistic Logic Programs.Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, Chen Chen
2019CNSMTrace-based Behaviour Analysis of Network Servers.Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo
2019COMSNETSAn extensible evaluation system for DoS research.Nik Sultana, Shilpi Bose, Boon Thau Loo
2019IMHashtray: Turning the tables on Scalable Client Classification.Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo
2019SIGMODOptimizing Declarative Graph Queries at Large Scale.Qizhen Zhang, Akash Acharya, Hongzhi Chen, Simran Arora, Ang Chen, Vincent Liu, Boon Thau Loo
2019USENIXDetecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame.Henri Maxime Demoulin, Isaac Pedisich, Nikos Vasilakis, Vincent Liu, Boon Thau Loo, Linh Thi Xuan Phan
2018ACSACDeDoS: Defusing DoS with Dispersion Oriented Software.Henri Maxime Demoulin, Tavish Vaidya, Isaac Pedisich, Bob DiMaiolo, Jingyu Qian, Chirag Shah, Yuankai Zhang, Ang Chen, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou
2018NSDI007: Democratically Finding the Cause of Packet Drops.Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
2018SIGCOMMAutomated Detection and Mitigation of Application-level Asymmetric DoS Attacks.Henri Maxime Demoulin, Isaac Pedisich, Linh Thi Xuan Phan, Boon Thau Loo
2018SIGCOMMIn-network computing to the rescue of faulty links.Hans Giesen, Lei Shi, John Sonchack, Anirudh Chelluri, Nishanth Prabhu, Nik Sultana, Latha A. Kant, Anthony J. McAuley, Alexander Poylisher, Andr DeHon, Boon Thau Loo
2017CIDRData Provenance at Internet Scale: Architecture, Experiences, and the Road Ahead.Ang Chen, Yang Wu, Andreas Haeberlen, Boon Thau Loo, Wenchao Zhou
2017CIKMPredicting Startup Crowdfunding Success through Longitudinal Social Engagement Analysis.Qizhen Zhang, Tengyuan Ye, Meryem Essaidi, Shivani Agarwal, Vincent Liu, Boon Thau Loo
2017CLOUDArchitectural implications on the performance and cost of graph analytics systems.Qizhen Zhang, Hongzhi Chen, Da Yan, James Cheng, Boon Thau Loo, Purushotham V. Bangalore
2017EuroSysOne Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics.Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2017NSDIAutomated Bug Removal for Software-Defined Networks.Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2017SIGMODDistributed Provenance Compression.Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
2017SIGCOMMClosing the Network Diagnostics Gap with Vigil.Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Harry Liu, Jitu Padhye, Geoff Outhred, Boon Thau Loo
2017SIGCOMMA Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers.Henri Maxime Demoulin, Tavish Vaidya, Isaac Pedisich, Nik Sultana, Bowen Wang, Jingyu Qian, Yuankai Zhang, Ang Chen, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou
2017SIGCOMMQuantitative Network Monitoring with NetQRE.Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo
2016HOTNETSDispersing Asymmetric DDoS Attacks with SplitStack.Ang Chen, Akshay Sriraman, Tavish Vaidya, Yuankai Zhang, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou
2016INFOCOMNetwork functions virtualization with soft real-time guarantees.Yang Li, Linh Thi Xuan Phan, Boon Thau Loo
2016SIGMODCollection, exploration and analysis of crowdfunding social networks.Miao Cheng, Anand Sriramulu, Sudarshan Muralidhar, Boon Thau Loo, Laura Huang, Po-Ling Loh
2016SIGMODEnabling Incremental Query Re-Optimization.Mengmeng Liu, Zachary G. Ives, Boon Thau Loo
2016SIGCOMMTaking the Blame Game out of Data Centers Operations with NetPoirot.Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred
2016SIGCOMMThe Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance.Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015CoNEXTScenario-based programming for SDN policies.Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo
2015HOTNETSDifferential Provenance: Better Network Diagnostics with Reference Events.Ang Chen, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015HOTNETSAutomated Network Repair with Meta Provenance.Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2015PPDPAutomated verification of safety properties of declarative networking programs.Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo
2014AINAImpact of Path Characteristics and Scheduling Policies on MPTCP Performance.Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, Roch Gurin, Boon Thau Loo
2014EuroSysExploiting cloud heterogeneity for optimized cost/performance MapReduce processing.Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2014FORTEA Program Logic for Verifying Secure Routing Protocols.Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
2014HOTNETSNetEgg: Programming Network Policies by Examples.Yifei Yuan, Rajeev Alur, Boon Thau Loo
2014ICNPDeconstructing MPTCP Performance.Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, Roch Gurin, Boon Thau Loo
2014INFOCOMA reduction-based approach towards scaling up formal analysis of internet configurations.Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
2014NOMSOptimizing cost and performance trade-offs for MapReduce job processing in the cloud.Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2014SIGCOMMDiagnosing missing events in distributed systems with negative provenance.Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2013FMCADOn the feasibility of automation for bandwidth allocation problems in data centers.Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo
2013HOTNETSAnswering why-not queries in software-defined networks with negative provenance.Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo
2013HPDCScalanytics: a declarative multi-core platform for scalable composable traffic analytics.Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, Boon Thau Loo
2013ICDETowards dynamic pricing-based collaborative optimizations for green data centers.Yang Li, David Chiu, Changbin Liu, Linh T. X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, David Maier, Bart McManus
2013ICNPAutomated synthesis of reactive controllers for software-defined networks.Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov
2013IMGetting more for less in optimized MapReduce workflows.Zhuoyao Zhang, Ludmila Cherkasova, Boon Thau Loo
2012CCGRIDOptimizing Completion Time and Resource Provisioning of Pig Programs.Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo
2012COMSNETSPUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking.Changbin Liu, Ricardo Correa, Harjot Gill, Tanveer Gill, Xiaozhou Li, Shivkumar Muthukumar, Taher Saeed, Boon Thau Loo, Prithwish Basu
2012EuroSysMeeting service level objectives of Pig programs.Zhuoyao Zhang, Ludmila Cherkasova, Abhishek Verma, Boon Thau Loo
2012ICNPReduction-based security analysis of Internet routing protocols.Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou
2012PADLRecent Advances in Declarative Networking.Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou
2012PODCBrief announcement: a calculus of policy-based routing systems.Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
2012SIGCOMMSP4: scalable programmable packet processing platform.Harjot Gill, Dong Lin, Lohit Sarna, Robert Mead, Kenton C. T. Lee, Boon Thau Loo
2012SIGCOMMRoute shepherd: stability hints for the control plane.Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo
2012SIGCOMMReduction-based analysis of BGP systems with BGPVerif.Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
2012SIGCOMMPrivate and verifiable interdomain routing decisions.Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo
2012USENIXTROPIC: Transactional Resource Orchestration Platform in the Cloud.Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernandez, Boon Thau Loo, Jacobus E. van der Merwe
2012TACASReduction-Based Formal Analysis of BGP Instances.Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
2011CLOUDDeclarative automated cloud resource orchestration.Changbin Liu, Boon Thau Loo, Yun Mao
2011FORTEAnalyzing BGP Instances in Maude.Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov
2011HOTNETSHaving your cake and eating it too: routing security with privacy protections.Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo
2011PPDPMaintaining distributed logic programs incrementally.Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2011SIGMODDatalog and emerging applications: an interactive tutorial.Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo
2011SIGMODNetTrails: a declarative platform for maintaining and querying provenance in distributed systems.Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr
2011SIGCOMMFSR: formal analysis and implementation toolkit for safe inter-domain routing.Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford
2011SOSPSecure network provenance.Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr
2010CIKMTowards a data-centric view of cloud security.Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee
2010CoNEXTA policy-based constraint-solving platform towards extensible wireless channel selection and routing.Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu
2010FOISOntologies for Distributed Command and Control Messaging.Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli
2010LICSAn Operational Semantics for Network Datalog.Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
2010MiddlewareOn the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform.Zhuoyao Zhang, Linh T. X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, Insup Lee
2010MOBICOMPUMA: policy-based unified management architecture for wireless networking.Changbin Liu, Xiaozhou Li, Shivkumar Muthukumar, Harjot Gill, Taher Saeed, Boon Thau Loo, Prithwish Basu
2010NDSSA3: An Extensible Platform for Application-Aware Anonymity.Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, Matt Blaze
2010SIGMODSecureBlox: customizable secure distributed data processing.William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref
2010SIGMODEfficient querying and maintenance of network provenance at internet-scale.Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, Yun Mao
2009CIDRDeclarative Reconfigurable Trust Management.William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
2009HOTNETSFormally Verifiable Networking.Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu
2009ICDERecursive Computation of Regions and Connectivity in Networks.Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo
2009ICDEUnified Declarative Platform for Secure Netwoked Information Systems.Wenchao Zhou, Yun Mao, Boon Thau Loo, Martn Abadi
2009ICNPDeclarative Policy-based Adaptive MANET Routing.Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao
2009MOBICOMA demonstration of the RapidMesh development toolkit.Xiaozhou Li, Shivkumar Muthukumar, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu
2009MOBICOMRapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks.Shivkumar Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu
2009PADLDeclarative Network Verification.Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky
2009SIGMODSmartCIS: integrating digital and physical environments.Mengmeng Liu, Svilen R. Mihaylov, Zhuowei Bao, Marie Jacob, Zachary G. Ives, Boon Thau Loo, Sudipto Guha
2009USENIXVeracity: Practical Secure Network Coordinates via Vote-based Agreements.Micah Sherr, Matt Blaze, Boon Thau Loo
2009RVUntitled recordWenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee
2008CoNEXTMOSAIC: unified declarative platform for dynamic overlay composition.Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan M. Smith
2008ICDEOntoNet: Scalable knowledge-based networking.Joseph B. Kopena, Boon Thau Loo
2008ICDEProvenance-aware secure networks.Wenchao Zhou, Eric Cronin, Boon Thau Loo
2008SIGCOMMA declarative perspective on adaptive manet routing.Changbin Liu, Yun Mao, Mihai Oprea, Prithwish Basu, Boon Thau Loo
2007CIDRPublic Health for the Internet (PHI).Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft
2007NSDITowards a Declarative Language and System for Secure Networking.Martn Abadi, Boon Thau Loo
2006SIGMODDeclarative networking: language, execution and optimization.Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
2005CIDRThe Architecture of PIER: an Internet-Scale Query Processor.Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi
2005SIGCOMMDeclarative routing: extensible routing with declarative queries.Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, Raghu Ramakrishnan
2005SOSPImplementing declarative overlays.Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica
2004SIGMODQuerying at Internet-Scale.Brent N. Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean C. Rhea, Scott Shenker, Ion Stoica
2004VLDBEnhancing P2P File-Sharing with an Internet-Scale Query Processor.Boon Thau Loo, Joseph M. Hellerstein, Ryan Huebsch, Scott Shenker, Ion Stoica
2003VLDBQuerying the Internet with PIER.Ryan Huebsch, Joseph M. Hellerstein, Nick Lanham, Boon Thau Loo, Scott Shenker, Ion Stoica
2001SIGMODAdaptive Precision Setting for Cached Approximate Values.Chris Olston, Boon Thau Loo, Jennifer Widom