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 × Italy
1 × Portugal
3 × USA
Collaborated with:
C.Chambers S.J.Eggers B.N.Bershad P.Reynolds K.Walsh D.Williams F.B.Schneider J.Aldrich R.Grimm A.J.Gregory W.d.Bruijn A.Shieh S.Savage P.Pardyak M.E.Fiuczynski D.Becker
Talks about:
safeti (2) comput (2) unnecessari (1) trustworthi (1) architectur (1) implement (1) distribut (1) synchron (1) virtual (1) program (1)

Person: Emin Gün Sirer

DBLP DBLP: Sirer:Emin_G=uuml=n

Contributed to:

SOSP 20112011
OSDI 20082008
SAS 19991999
SOSP 19991999
SOSP 19951995

Wrote 5 papers:

SOSP-2011-SirerBRSWWS #architecture #logic
Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
OSDI-2008-WilliamsRWSS #safety #validation
Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
SAS-1999-AldrichCSE #analysis #java #source code
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.
SOSP-1999-SirerGGB #design #distributed #implementation #virtual machine
Design and implementation of a distributed virtual machine for networked computers (EGS, RG, AJG, BNB), pp. 202–216.
SOSP-1995-BershadSPSFBCE #operating system #performance #safety
Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.

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.