Year |
Citation |
Score |
2018 |
Yuan Y, Lin D, Anil S, Verma H, Chelluri A, Alur R, Loo BT. NetEgg: A Scenario-Based Programming Toolkit for SDN Policies Ieee/Acm Transactions On Networking. 26: 2104-2117. DOI: 10.1109/Tnet.2018.2861919 |
0.455 |
|
2016 |
Zhao M, Zhou W, Gurney AJT, Haeberlen A, Sherr M, Loo BT. Private and verifiable interdomain routing decisions Ieee/Acm Transactions On Networking. 24: 1011-1024. DOI: 10.1109/Tnet.2015.2409233 |
0.727 |
|
2015 |
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT. A program logic for verifying secure routing protocols Logical Methods in Computer Science. 11. DOI: 10.2168/LMCS-11(4:19)2015 |
0.359 |
|
2015 |
Wu Y, Chen A, Haeberlen A, Zhou W, Loo BT. Automated network repair with Meta provenance Proceedings of the 14th Acm Workshop On Hot Topics in Networks, Hotnets-Xiv 2015. DOI: 10.1145/2834050.2834112 |
0.307 |
|
2015 |
Chen A, Wu Y, Haeberlen A, Zhou W, Loo BT. Differential provenance: Better network diagnostics with reference events Proceedings of the 14th Acm Workshop On Hot Topics in Networks, Hotnets-Xiv 2015. DOI: 10.1145/2834050.2834111 |
0.322 |
|
2015 |
Chen C, Loh LK, Jia L, Zhou W, Loo BT. Automated verification of safety properties of declarative networking programs Proceedings of the 17th International Symposium On Principles and Practice of Declarative Programming, Ppdp 2015. 79-90. DOI: 10.1145/2790449.2790516 |
0.41 |
|
2015 |
Chen C, Liu C, Liu P, Loo BT, Ding L. A scalable multi-datacenter layer-2 network architecture Symposium On Software Defined Networking (Sdn) Research, Sosr 2015. DOI: 10.1145/2774993.2775008 |
0.323 |
|
2014 |
Yuan Y, Alur R, Loo BT. NetEgg: Programming network policies by examples Proceedings of the 13th Acm Workshop On Hot Topics in Networks, Hotnets 2014. DOI: 10.1145/2670518.2673879 |
0.431 |
|
2014 |
Arzani B, Gurney A, Cheng S, Guerin R, Loo BT. Impact of path characteristics and scheduling policies on MPTCP performance Proceedings - 2014 Ieee 28th International Conference On Advanced Information Networking and Applications Workshops, Ieee Waina 2014. 743-748. DOI: 10.1109/WAINA.2014.121 |
0.416 |
|
2014 |
Liu C, Correa R, Gill H, Gill T, Li X, Muthukumar S, Saeed T, Loo BT, Basu P. PUMA: Policy-based unified multiradio architecture for agile mesh networking Ieee/Acm Transactions On Networking. 22: 1897-1910. DOI: 10.1109/Tnet.2013.2286321 |
0.628 |
|
2014 |
Wang A, Gurney AJT, Han X, Cao J, Loo BT, Talcott C, Scedrov A. A reduction-based approach towards scaling up formal analysis of internet configurations Proceedings - Ieee Infocom. 637-645. DOI: 10.1109/INFOCOM.2014.6847989 |
0.465 |
|
2014 |
Sherr M, Gill H, Saeed TA, Mao A, Marczak WR, Soundararajan S, Zhou W, Loo BT, Blaze M. The design and implementation of the A3 application-aware anonymity platform Computer Networks. 58: 206-227. DOI: 10.1016/J.Comnet.2013.09.021 |
0.685 |
|
2014 |
Gill H, Lin D, Nguyen C, Gill T, Loo BT. Declarative platform for high-performance network traffic analytics Cluster Computing. 17: 1121-1137. DOI: 10.1007/S10586-014-0363-2 |
0.498 |
|
2014 |
Zhang Z, Cherkasova L, Loo BT. Parameterizable benchmarking framework for designing a mapreduce performance model Concurrency Computation Practice and Experience. 26: 2005-2026. DOI: 10.1002/Cpe.3229 |
0.322 |
|
2013 |
Wu Y, Haeberlen A, Zhou W, Loo BT. Answering why-not queries in software-defined networks with negative provenance Proceedings of the 12th Acm Workshop On Hot Topics in Networks, Hotnets 2013. DOI: 10.1145/2535771.2535799 |
0.401 |
|
2013 |
Zhang Z, Cherkasova L, Verma A, Loo BT. Performance modeling and optimization of deadline-driven pig programs Acm Transactions On Autonomous and Adaptive Systems. 8. DOI: 10.1145/2518017.2518019 |
0.318 |
|
2013 |
Gill H, Lin D, Han X, Nguyen C, Gill T, Loo BT. Scalanytics: A declarative multi-core platform for scalable composable traffic analytics Hpdc 2013 - Proceedings of the 22nd Acm International Symposium On High-Performance Parallel and Distributed Computing. 61-72. DOI: 10.1145/2462902.2462905 |
0.42 |
|
2013 |
Chang J, Venkatasubramanian KK, West AG, Kannan S, Lee I, Loo BT, Sokolsky O. AS-CRED: Reputation and alert service for interdomain routing Ieee Systems Journal. 7: 396-409. DOI: 10.1109/Jsyst.2012.2221856 |
0.428 |
|
2013 |
Wang A, Moarref S, Loo BT, Topcu U, Scedrov A. Automated synthesis of reactive controllers for software-defined networks Proceedings - International Conference On Network Protocols, Icnp. DOI: 10.1109/ICNP.2013.6733666 |
0.423 |
|
2013 |
Zhou W, Tao T, Loo BT, Mao Y. Declarative secure distributed information systems Computer Languages, Systems and Structures. 39: 1-24. DOI: 10.1016/J.Cl.2012.09.002 |
0.605 |
|
2012 |
Wang A, Gurney AJT, Han X, Cao J, Talcott C, Loo BT, Scedrov A. Reduction-based analysis of BGP systems with BGPVerif Computer Communication Review. 42: 89-90. DOI: 10.1145/2377677.2377695 |
0.48 |
|
2012 |
Wang A, Talcott C, Gurney A, Loo BT, Scedrov A. Brief announcement: A calculus of policy-based routing systems Proceedings of the Annual Acm Symposium On Principles of Distributed Computing. 343-344. DOI: 10.1145/2332432.2332501 |
0.344 |
|
2012 |
Wang A, Jia L, Zhou W, Ren Y, Loo BT, Rexford J, Nigam V, Scedrov A, Talcott C. FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing Ieee/Acm Transactions On Networking. DOI: 10.1109/Tnet.2012.2187924 |
0.493 |
|
2012 |
Liu C, Correa R, Li X, Basu P, Loo BT, Mao Y. Declarative policy-based adaptive mobile ad hoc networking Ieee/Acm Transactions On Networking. 20: 770-783. DOI: 10.1109/Tnet.2011.2165851 |
0.693 |
|
2012 |
Chen C, Jia L, Loo BT, Zhou W. Reduction-based security analysis of Internet routing protocols Proceedings - International Conference On Network Protocols, Icnp. DOI: 10.1109/ICNP.2012.6459941 |
0.46 |
|
2012 |
Liu C, Correa R, Gill H, Gill T, Li X, Muthukumar S, Saeed T, Loo BT, Basu P. PUMA: Policy-based Unified Multi-radio Architecture for agile mesh networking 2012 4th International Conference On Communication Systems and Networks, Comsnets 2012. DOI: 10.1109/COMSNETS.2012.6151315 |
0.37 |
|
2012 |
Mao Y, Loo BT, Ives Z, Smith JM. MOSAIC: Declarative platform for dynamic overlay composition Computer Networks. 56: 64-84. DOI: 10.1016/J.Comnet.2011.08.006 |
0.549 |
|
2012 |
Nigam V, Jia L, Loo BT, Scedrov A. Maintaining distributed logic programs incrementally Computer Languages, Systems & Structures. 38: 158-180. DOI: 10.1016/J.Cl.2012.02.001 |
0.43 |
|
2012 |
Wang A, Talcott C, Gurney AJT, Loo BT, Scedrov A. Reduction-based formal analysis of BGP instances Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7214: 283-298. DOI: 10.1007/978-3-642-28756-5_20 |
0.474 |
|
2012 |
Loo BT, Gill H, Liu C, Mao Y, Marczak WR, Sherr M, Wang A, Zhou W. Recent advances in declarative networking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7149: 1-16. DOI: 10.1007/978-3-642-27694-1_1 |
0.742 |
|
2012 |
Zhou W, Mapara S, Ren Y, Li Y, Haeberlen A, Ives Z, Loo BT, Sherr M. Distributed time-aware provenance Proceedings of the Vldb Endowment. 6: 49-60. |
0.67 |
|
2012 |
Liu C, Ren L, Loo BT, Maoy Y, Basuz P. Cologne: A declarative distributed constraint optimization platform Proceedings of the Vldb Endowment. 5: 752-763. |
0.404 |
|
2011 |
Gurney AJT, Haeberlen A, Zhou W, Sherr M, Loo BT. Having your cake and eating it too: Routing security with privacy protections Proceedings of the 10th Acm Workshop On Hot Topics in Networks, Hotnets-10. DOI: 10.1145/2070562.2070577 |
0.67 |
|
2011 |
Zhou W, Fei Q, Narayan A, Haeberlen A, Loo BT, Sherr M. Secure network provenance Sosp'11 - Proceedings of the 23rd Acm Symposium On Operating Systems Principles. 295-310. DOI: 10.1145/2043556.2043584 |
0.693 |
|
2011 |
Liu C, Loo BT, Mao Y. Declarative automated cloud resource orchestration Proceedings of the 2nd Acm Symposium On Cloud Computing, Socc 2011. DOI: 10.1145/2038916.2038942 |
0.336 |
|
2011 |
Ren Y, Zhou W, Wang A, Jia L, Gurney AJT, Loo BT, Rexfordz J. FSR: Formal analysis and implementation toolkit for safe inter-domain routing Proceedings of the Acm Sigcomm 2011 Conference, Sigcomm'11. 440-441. DOI: 10.1145/2018436.2018510 |
0.306 |
|
2011 |
Nigam V, Jia L, Loo BT, Scedrov A. Maintaining distributed logic programs incrementally Ppdp'11 - Proceedings of the 2011 Symposium On Principles and Practices of Declarative Programming. 125-136. DOI: 10.1145/2003476.2003495 |
0.328 |
|
2011 |
Zhou W, Fei Q, Sun S, Tao T, Haeberlen A, Ives Z, Loo BT, Sherr M. NetTrails: A declarative platform for maintaining and querying provenance in distributed systems Proceedings of the Acm Sigmod International Conference On Management of Data. 1323-1325. DOI: 10.1145/1989323.1989488 |
0.739 |
|
2011 |
Huang SS, Green TJ, Loo BT. Datalog and emerging applications: An interactive tutorial Proceedings of the Acm Sigmod International Conference On Management of Data. 1213-1216. DOI: 10.1145/1989323.1989456 |
0.353 |
|
2011 |
Wang A, Talcott C, Jia L, Loo BT, Scedrov A. Analyzing BGP instances in Maude Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6722: 334-348. DOI: 10.1007/978-3-642-21461-5_22 |
0.395 |
|
2010 |
Nguyen DN, Kopena JB, Loo BT, Regli WC. Ontologies for distributed command and control messaging Frontiers in Artificial Intelligence and Applications. 209: 373-384. DOI: 10.3233/978-1-60750-535-8-373 |
0.326 |
|
2010 |
Liu C, Li X, Muthukumar S, Gill H, Saeed T, Loo BT, Basu P. A policy-based constraint-solving platform towards extensible wireless channel selection and routing Proceedings of the Programmable Routers For Extensible Services of Tomorrow, Presto 2010, Workshop Held in Conjunction With Conext 2010. DOI: 10.1145/1921151.1921164 |
0.373 |
|
2010 |
Zhou W, Sherr M, Marczak WR, Zhang Z, Tao T, Loo BT, Lee I. Towards a data-centric view of cloud security International Conference On Information and Knowledge Management, Proceedings. 25-32. DOI: 10.1145/1871929.1871934 |
0.642 |
|
2010 |
Marczak WR, Huang SS, Bravenboer M, Sherr M, Loo BT, Aref M. SecureBlox: Customizable secure distributed data processing Proceedings of the Acm Sigmod International Conference On Management of Data. 723-734. DOI: 10.1145/1807167.1807246 |
0.683 |
|
2010 |
Zhou W, Sherr M, Tao T, Li X, Loo BT, Mao Y. Efficient querying and maintenance of network provenance at internet-scale Proceedings of the Acm Sigmod International Conference On Management of Data. 615-626. DOI: 10.1145/1807167.1807234 |
0.688 |
|
2010 |
Liu M, Taylor NE, Zhou W, Ives ZG, Loo BT. Maintaining recursive views of regions and connectivity in networks Ieee Transactions On Knowledge and Data Engineering. 22: 1126-1141. DOI: 10.1109/Tkde.2010.65 |
0.537 |
|
2010 |
Liu C, Li X, Muthukumar S, Gill H, Saeed T, Loo BT, Basu P. PUMA: Policy-based unified management architecture for wireless networking Proceedings of the Annual International Conference On Mobile Computing and Networking, Mobicom. 37-39. DOI: 0.1145/1860039.1860051 |
0.423 |
|
2009 |
Loo BT, Saroiu S. 5th International workshop on networking meets databases (NetDB 2009) Sigmod Record. 38: 49-50. DOI: 10.1145/1713254.1713259 |
0.495 |
|
2009 |
Li X, Muthukumar SC, Liu C, Kopena JB, Oprea M, Correa R, Loo BT, Basu P. A demonstration of the RapidMesh development toolkit Wintech'09 - Proc. 4th Acm International Workshop On Wireless Network Testbeds, Experimental Evaluation and Characterization. 89-90. DOI: 10.1145/1614293.1614314 |
0.495 |
|
2009 |
Muthukumar SC, Li X, Liu C, Kopena JB, Oprea M, Correa R, Loo BT, Basu P. RapidMesh: Declarative toolkit for rapid experimentation of wireless mesh networks Wintech'09 - Proc. 4th Acm International Workshop On Wireless Network Testbeds, Experimental Evaluation and Characterization. 1-9. DOI: 10.1145/1614293.1614295 |
0.485 |
|
2009 |
Loo BT, Condie T, Garofalakis M, Gay DE, Hellerstein JM, Maniatis P, Ramakrishnan R, Roscoe T, Stoica I. Declarative networking Communications of the Acm. 52: 87-95. DOI: 10.1145/1592761.1592785 |
0.693 |
|
2009 |
Liu C, Correa R, Li X, Basu P, Loo BT, Mao Y. Declarative policy-based adaptive MANET routing Proceedings - International Conference On Network Protocols, Icnp. 354-363. DOI: 10.1109/ICNP.2009.5339669 |
0.455 |
|
2009 |
Zhou W, Mao Y, Loo BT, Abadi M. Unified declarative platform for secure networked information systems Proceedings - International Conference On Data Engineering. 150-161. DOI: 10.1109/ICDE.2009.58 |
0.548 |
|
2009 |
Liu M, Taylor NE, Zhou W, Ives ZG, Loo BT. Recursive computation of regions and connectivity in networks Proceedings - International Conference On Data Engineering. 1108-1119. DOI: 10.1109/ICDE.2009.36 |
0.451 |
|
2009 |
Zhou W, Sokolsky O, Loo BT, Lee I. DMaC: Distributed monitoring and checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5779: 184-201. DOI: 10.1007/978-3-642-04694-0_13 |
0.512 |
|
2009 |
Sherr M, Blaze M, Loo BT. Scalable link-based relay selection for anonymous routing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5672: 73-93. DOI: 10.1007/978-3-642-03168-7_5 |
0.619 |
|
2009 |
Wang A, Basu P, Loo BT, Sokolsky O. Declarative network verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5418: 61-75. DOI: 10.1007/978-3-540-92995-6_5 |
0.491 |
|
2009 |
Marczak WR, Zook D, Zhou W, Aref M, Loo BT. Declarative reconfigurable trust management Cidr 2009 - 4th Biennal Conference On Innovative Data Systems Research. |
0.356 |
|
2008 |
Mao Y, Loo BT, Ives Z, Smith JM. MOSAIC: Unified declarative platform for dynamic overlay composition Proceedings of 2008 Acm Conext Conference - 4th International Conference On Emerging Networking Experiments and Technologies, Conext '08. DOI: 10.1145/1544012.1544017 |
0.453 |
|
2008 |
Liu C, Mao Y, Oprea M, Basu P, Loo BT. A declarative perspective on adaptive manet routing Sigcomm 2008 Conference and the Co-Located Workshops - Presto'08: Proceedings of the Acm Workshop On Programmable Routers For Extensible Services of Tomorrow. 63-68. DOI: 10.1145/1397718.1397733 |
0.477 |
|
2008 |
Zhou W, Cronin E, Loo BT. Provenance-aware secure networks Proceedings - International Conference On Data Engineering. 188-193. DOI: 10.1109/ICDEW.2008.4498315 |
0.517 |
|
2008 |
Kopena JB, Loo BT. OntoNet: Scalable knowledge-based networking Proceedings - International Conference On Data Engineering. 170-175. DOI: 10.1109/ICDEW.2008.4498312 |
0.462 |
|
2007 |
Mao Y, Ives Z, Loo BT, Smith JM. The case for a unified extensible data-centric mobility infrastructure Proceedings of Acm Sigcomm 2007 Workshops - 2nd Acm International Workshop On Mobility in the Evolving Internet Architecture, Mobiarch'07. DOI: 10.1145/1366919.1366934 |
0.452 |
|
2007 |
Hellerstein JM, Condie T, Garofalakis M, Loo BT, Maniatis P, Roscoe T, Taft NA. Public health for the internet (φ) : Towards a new grand challenge for information management Cidr 2007 - 3rd Biennial Conference On Innovative Data Systems Research. 332-340. |
0.589 |
|
2006 |
Loo BT, Condie T, Garofalakis M, Gay DE, Hellerstein JM, Maniatis P, Ramakrishnan R, Roscoe T, Stoica I. Declarative networking: Language, execution and optimization Proceedings of the Acm Sigmod International Conference On Management of Data. 97-108. DOI: 10.1145/1142473.1142485 |
0.704 |
|
2005 |
Loo BT, Condie T, Hellerstein JM, Maniatis P, Roscoe T, Stoica I. Implementing declarative overlays Proceedings of the 20th Acm Symposium On Operating Systems Principles, Sosp 2005. 75-90. DOI: 10.1145/1095810.1095818 |
0.678 |
|
2005 |
Loo BT, Hellerstein JM, Stoica I, Ramakrishnan R. Declarative routing: Extensible routing with declarative queries Computer Communication Review. 35: 289-300. DOI: 10.1145/1090191.1080126 |
0.669 |
|
2005 |
Huebsch R, Chun B, Hellerstein JM, Loo BT, Maniatis P, Roscoe T, Shenker S, Stoica I, Yumerefendi AR. The architecture of PIER: An internet-scale query processor 2nd Biennial Conference On Innovative Data Systems Research, Cidr 2005. 28-43. |
0.543 |
|
2004 |
Loo BT, Huebsch R, Stoica I, Hellerstein JM. The case for a hybrid P2P search infrastructure Lecture Notes in Computer Science. 3279: 141-150. |
0.673 |
|
2004 |
Chun B, Hellerstein JM, Huebsch R, Jeffery SR, Loo BT, Mardanbeigi S, Roscoe T, Rhea S, Shenker S, Stoica I. Querying at Internet scale Proceedings of the Acm Sigmod International Conference On Management of Data. 935-936. |
0.683 |
|
2003 |
Li J, Loo BT, Hellerstein JM, Kaashoek MF, Karger DR, Morris R. On the feasibility of peer-to-peer web indexing and search Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2735: 207-215. |
0.615 |
|
Show low-probability matches. |