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 × France
2 × USA
Collaborated with:
N.Zeldovich J.v.d.Hooff M.Zaharia X.Wang A.Chlipala Z.Tatlock A.Arusoaie T.Serbanuta C.Ellison R.Mereuta D.Lucanu G.Rosu
Talks about:
infrastructur (1) trustworthi (1) interpret (1) vuvuzela (1) traffic (1) scalabl (1) analysi (1) semant (1) resist (1) privat (1)

Person: David Lazar

DBLP DBLP: Lazar:David

Contributed to:

SOSP 20152015
OSDI 20142014
FM 20122012

Wrote 3 papers:

SOSP-2015-HooffLZZ #analysis #named #scalability
Vuvuzela: scalable private messaging resistant to traffic analysis (JvdH, DL, MZ, NZ), pp. 137–152.
OSDI-2014-WangLZCT #framework #interpreter #kernel #named
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
FM-2012-LazarASEMLR #semantics
Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.

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.