BibSLEIGH — Emmett

Travelled to:

1 × India
1 × Ireland
1 × Portugal
1 × United Kingdom
13 × USA

Collaborated with:

O.S.Hofmann C.J.Rossbach D.E.Porter I.Roy M.Silberstein A.M.Dunn S.Kim K.Asanovic H.E.Ramadan J.Rhee ∅ M.Z.Lee J.Cates Y.Xu B.Ford I.Keidar M.Herlihy D.Mazières M.Kaminsky M.F.Kaashoek J.Currey B.Ray M.D.Bond K.S.McKinley A.Benn M.Rosenblum E.Bugnion S.A.Herrod A.Gupta B.Aditya A.Ayers R.Schooler C.Metcalf A.Agarwal Youngjin Kwon S.Huh X.Zhang Y.Hu A.Wated S.Jana V.Shmatikov J.Ha J.V.Davis D.L.Chen

Talks about:

system (9) oper (6) transact (5) memori (5) protect (3) manag (3) use (3) abstract (2) untrust (2) program (2)

Person: Emmett Witchel

DBLP: Witchel:Emmett

Facilitated 1 volumes:

Contributed to:

2014

2013

2012

2011

2010

2009

2007

2005

2002

1999

1995

2016

Wrote 21 papers:

OSDI-2014-KimHZHWWS #abstraction #gpu #named #network #source code: GPUnet: Networking Abstractions for GPU Programs (SK, SH, XZ, YH, AW, EW, MS), pp. 201–216.
ASPLOS-2013-HofmannKDLW #named #operating system: InkTag: secure applications on an untrusted operating system (OSH, SK, AMD, MZL, EW), pp. 265–278.
ASPLOS-2013-SilbersteinFKW #file system #named: GPUfs: integrating a file system with GPUs (MS, BF, IK, EW), pp. 485–498.
OSDI-2012-DunnLJKSXSW #privacy: Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels (AMD, MZL, SJ, SK, MS, YX, VS, EW), pp. 61–75.
ASPLOS-2011-HofmannDKRW #kernel #operating system: Ensuring operating system kernel integrity with OSck (OSH, AMD, SK, IR, EW), pp. 279–290.
SOSP-2011-RossbachCSRW #abstraction #named #operating system: PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.
PPoPP-2010-PorterW #memory management #modelling #performance #transaction: Modeling transactional memory workload performance (DEP, EW), pp. 349–350.
PPoPP-2010-RossbachHW #programming #question #transaction: Is transactional programming actually easier? (CJR, OSH, EW), pp. 47–56.
ASPLOS-2009-HofmannRW: Maximum benefit from a minimal HTM (OSH, CJR, EW), pp. 145–156.
PLDI-2009-RoyPBMW #data flow #distributed #fine-grained #named: Laminar: practical fine-grained decentralized information flow control (IR, DEP, MDB, KSM, EW), pp. 63–74.
PPoPP-2009-RamadanRHW #commit #transaction: Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.
SOSP-2009-PorterHRBW #operating system #transaction: Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.
PLDI-2007-HaRDRRPCW #black box #component #fault: Improved error reporting for software that uses black-box components (JH, CJR, JVD, IR, HER, DEP, DLC, EW), pp. 101–111.
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.
PLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering: TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.
SOSP-2005-WitchelRA #linux #memory management #named #using: Mondrix: memory isolation for linux using mondriaan memory protection (EW, JR, KA), pp. 31–44.
ASPLOS-2002-WitchelCA #memory management: Mondrian memory protection (EW, JC, KA), pp. 304–316.
SOSP-1999-MazieresKKW #file system #security: Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.
SOSP-1995-RosenblumBHWG #architecture #operating system #performance #roadmap: The Impact of Architectural Trends on Operating System Performance (MR, EB, SAH, EW, AG), pp. 285–298.
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.
ASPLOS-2016-Witchel #challenge #interface: Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality (EW), p. 591.