BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Italy
1 × Portugal
4 × USA
Collaborated with:
B.T.Loo M.Sherr A.Haeberlen B.Chandramouli S.Nath Y.Mao Q.Fei T.Tao Z.G.Ives A.Silberstein R.Sears B.F.Cooper C.Chen L.K.Loh L.Jia J.Claessens I.Santos A.Narayan X.Li A.Chen W.B.Moore H.Xiao L.T.X.Phan S.Mapara Y.Ren Y.Li H.Gill C.Liu W.R.Marczak A.Wang S.Sun
Talks about:
network (4) proven (4) time (4) distribut (3) declar (3) system (2) queri (2) cloud (2) batch (2) edg (2)

Person: Wenchao Zhou

DBLP DBLP: Zhou:Wenchao

Contributed to:

PPDP 20152015
OSDI 20142014
VLDB 20132013
VLDB 20132012
PADL 20122012
SIGMOD 20122012
SIGMOD 20112011
SOSP 20112011
SIGMOD 20102010

Wrote 10 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.
OSDI-2014-ChenMXHPSZ #detection
Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.
VLDB-2013-ChandramouliNZ #distributed
Supporting Distributed Feed-Following Apps over Edge Devices (BC, SN, WZ), pp. 1570–1581.
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.
SIGMOD-2012-ChandramouliCNSZ #named #realtime
RACE: real-time applications over cloud-edge (BC, JC, SN, IS, WZ), pp. 625–628.
SIGMOD-2011-SilbersteinSZC #case study #experience
A batch of PNUTS: experiences connecting cloud batch and serving systems (AS, RS, WZ, BFC), pp. 1101–1112.
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-ZhouSTLLM #maintenance #network #performance #query
Efficient querying and maintenance of network provenance at internet-scale (WZ, MS, TT, XL, BTL, YM), pp. 615–626.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.