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: Haeberlen:Andreas
Contributed to:
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.