BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Portugal
4 × USA
Collaborated with:
B.T.Loo W.Zhou A.Haeberlen H.Tan N.Goharian Y.Mao W.R.Marczak Q.Fei T.Tao Z.G.Ives A.Narayan S.S.Huang M.Bravenboer M.Aref X.Li A.Chen W.B.Moore H.Xiao L.T.X.Phan S.Mapara Y.Ren Y.Li H.Gill C.Liu A.Wang S.Sun
Talks about:
proven (4) distribut (3) network (3) secur (3) time (3) declar (2) queri (2) determinist (1) platform (1) maintain (1)

Person: Micah Sherr

DBLP DBLP: Sherr:Micah

Contributed to:

OSDI 20142014
VLDB 20132012
PADL 20122012
SIGIR 20122012
SIGMOD 20112011
SOSP 20112011
SIGMOD 20102010

Wrote 8 papers:

OSDI-2014-ChenMXHPSZ #detection
Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.
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.
SIGIR-2012-TanGS #exclamation #identification
$100, 000 prize jackpot. call now!: identifying the pertinent features of SMS spam (HT, NG, MS), pp. 1175–1176.
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.

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.