BibSLEIGH — Boon_Thau

Travelled to:

1 × Canada
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Portugal
1 × United Kingdom
6 × USA

Collaborated with:

W.Zhou M.Sherr J.M.Hellerstein I.Stoica A.Wang S.S.Huang Y.Mao R.Huebsch S.Shenker L.Jia A.Scedrov P.Basu A.Haeberlen Z.G.Ives T.Roscoe T.J.Green C.Liu H.Gill W.R.Marczak Q.Fei T.Tao T.Condie P.Maniatis V.Nigam O.Sokolsky C.Chen L.K.Loh C.L.Talcott A.J.T.Gurney L.Ren D.Lin X.Han C.Nguyen T.Gill A.Narayan M.Bravenboer M.Aref X.Li N.Lanham M.Liu S.R.Mihaylov Z.Bao M.Jacob S.Guha S.Mapara Y.Ren Y.Li S.Sun M.N.Garofalakis D.E.Gay R.Ramakrishnan B.N.Chun S.R.Jeffery S.Mardanbeigi S.C.Rhea

Talks about:

declar (8) network (6) distribut (5) queri (5) internet (4) proven (4) platform (3) secur (3) scale (3) maintain (2)

Person: Boon Thau Loo

DBLP: Loo:Boon_Thau

Contributed to:

2015

2013

2012

2011

2010

2009

2006

2005

2004

2003

Wrote 19 papers:

PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification: Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
HPDC-2013-GillLHNGL #composition #declarative #framework #manycore #named #platform #scalability: Scalanytics: a declarative multi-core platform for scalable composable traffic analytics (HG, DL, XH, CN, TG, BTL), pp. 61–72.
VLDB-2013-ZhouMRLHILS12 #distributed: Distributed Time-aware Provenance (WZ, SM, YR, YL, AH, ZGI, BTL, MS), pp. 49–60.
PADL-2012-LooGLMMSWZ #declarative #network: Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
TACAS-2012-WangTGLS #analysis #formal method: Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
VLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #optimisation #platform: Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
PPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code: Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
SIGMOD-2011-HuangGL #datalog #interactive #tutorial: Datalog and emerging applications: an interactive tutorial (SSH, TJG, BTL), pp. 1213–1216.
SIGMOD-2011-ZhouFSTHILS #declarative #distributed #framework #maintenance #named #platform #query: NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.
SOSP-2011-ZhouFNHLS #network: Secure network provenance (WZ, QF, AN, AH, BTL, MS), pp. 295–310.
SIGMOD-2010-MarczakHBSLA #distributed #named: SecureBlox: customizable secure distributed data processing (WRM, SSH, MB, MS, BTL, MA), pp. 723–734.
SIGMOD-2010-ZhouSTLLM #maintenance #network #performance #query: Efficient querying and maintenance of network provenance at internet-scale (WZ, MS, TT, XL, BTL, YM), pp. 615–626.
PADL-2009-WangBLS #declarative #network #verification: Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.
SIGMOD-2009-LiuMBJILG #named #physics: SmartCIS: integrating digital and physical environments (ML, SRM, ZB, MJ, ZGI, BTL, SG), pp. 1111–1114.
SIGMOD-2006-LooCGGHMRRS #declarative #execution #network #optimisation: Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
SOSP-2005-LooCHMRS #declarative #implementation: Implementing declarative overlays (BTL, TC, JMH, PM, TR, IS), pp. 75–90.
SIGMOD-2004-ChunRHHJLMRSS #query: Querying at Internet-Scale (BNC, JMH, RH, SRJ, BTL, SM, TR, SCR, SS, IS), pp. 935–936.
VLDB-2004-LooHHSS #query: Enhancing P2P File-Sharing with an Internet-Scale Query Processor (BTL, JMH, RH, SS, IS), pp. 432–443.
VLDB-2003-HuebschHLLSS #internet #query: Querying the Internet with PIER (RH, JMH, NL, BTL, SS, IS), pp. 321–332.