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 × India
6 × USA
Collaborated with:
E.Witchel C.J.Rossbach A.M.Dunn S.Kim M.Z.Lee D.E.Porter I.Roy A.Benn E.B.Nightingale J.Elson J.Fan J.Howell Y.Suzue H.E.Ramadan B.Aditya Youngjin Kwon Y.Xu
Talks about:
system (5) oper (4) transact (3) untrust (2) metadata (1) datacent (1) program (1) maximum (1) hardwar (1) benefit (1)

Person: Owen S. Hofmann

DBLP DBLP: Hofmann:Owen_S=

Contributed to:

ASPLOS 20132013
OSDI 20122012
ASPLOS 20112011
PPoPP 20102010
ASPLOS 20092009
SOSP 20092009
SOSP 20072007
ASPLOS 20162016

Wrote 8 papers:

ASPLOS-2013-HofmannKDLW #named #operating system
InkTag: secure applications on an untrusted operating system (OSH, SK, AMD, MZL, EW), pp. 265–278.
Flat Datacenter Storage (EBN, JE, JF, OSH, JH, YS), pp. 1–15.
ASPLOS-2011-HofmannDKRW #kernel #operating system
Ensuring operating system kernel integrity with OSck (OSH, AMD, SK, IR, EW), pp. 279–290.
PPoPP-2010-RossbachHW #programming #question #transaction
Is transactional programming actually easier? (CJR, OSH, EW), pp. 47–56.
Maximum benefit from a minimal HTM (OSH, CJR, EW), pp. 145–156.
SOSP-2009-PorterHRBW #operating system #transaction
Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.
SOSP-2007-RossbachHPRAW #hardware #memory management #named #operating system #transaction #using
TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.
ASPLOS-2016-KwonDLHXW #metadata #named #pervasive
Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services (YK, AMD, MZL, OSH, YX, EW), pp. 277–290.

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.