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 × Canada
1 × Greece
1 × Italy
1 × Portugal
3 × USA
Collaborated with:
A.Narayan P.Druschel M.Sherr W.Zhou B.T.Loo P.Kouznetsov Q.Fei Z.G.Ives P.Aditya R.Rodrigues M.Gaboardi J.Hsu B.C.Pierce A.Chen W.B.Moore H.Xiao L.T.X.Phan S.Mapara Y.Ren Y.Li S.Sun T.Tao
Talks about:
distribut (4) proven (3) time (3) differenti (2) account (2) system (2) queri (2) join (2) determinist (1) platform (1)

Person: Andreas Haeberlen

DBLP DBLP: Haeberlen:Andreas

Contributed to:

OSDI 20142014
POPL 20132013
VLDB 20132012
OSDI 20122012
SIGMOD 20112011
SOSP 20112011
OSDI 20102010
SOSP 20072007

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.
POPL-2013-GaboardiHHNP #dependent type #difference #linear #privacy
Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.
VLDB-2013-ZhouMRLHILS12 #distributed
Distributed Time-aware Provenance (WZ, SM, YR, YL, AH, ZGI, BTL, MS), pp. 49–60.
OSDI-2012-NarayanH #database #distributed #named #query
DJoin: Differentially Private Join Queries over Distributed Databases (AN, AH), pp. 149–162.
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.
OSDI-2010-HaeberlenARD #virtual machine
Accountable Virtual Machines (AH, PA, RR, PD), pp. 119–134.
SOSP-2007-HaeberlenKD #distributed #named
PeerReview: practical accountability for distributed systems (AH, PK, PD), pp. 175–188.

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.