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: Sirer:Emin_G=uuml=n
Contributed to:
2011
2008
199919991995Wrote 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.