The Impact of Architectural Trends on Operating System Performance. - Mendel Rosenblum; Edouard Bugnion; Stephen Alan Herrod; Emmett Witchel; Anoop Gupta (SOSP, 1995)

Complete computer system simulation: the SimOS approach. - Mendel Rosenblum; Stephen Alan Herrod; Emmett Witchel; Anoop Gupta (IEEE Parallel Distributed Technol. Syst. Appl., 1995)

Embra: Fast and Flexible Machine Simulation. - Emmett Witchel; Mendel Rosenblum (SIGMETRICS, 1996)

Separating key management from file system security. - David Mazières; Michael Kaminsky; M. Frans Kaashoek; Emmett Witchel (SOSP, 1999)

Direct addressed caches for reduced power consumption. - Emmett Witchel; Samuel Larsen; C. Scott Ananian; Krste Asanovic (MICRO, 2001)

Increasing and Detecting Memory Address Congruence. - Samuel Larsen; Emmett Witchel; Saman P. Amarasinghe (IEEE PACT, 2002)

Mondrian memory protection. - Emmett Witchel; Josh Cates; Krste Asanovic (ASPLOS, 2002)

Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection. - Emmett Witchel; Krste Asanovic (HotOS, 2003)

Mondriaan Memory Protection. - Emmett Witchel (2004)

Towards Self-Configuring Hardware for Distributed Computer Systems. - Jonathan Wildstrom; Peter Stone 001; Emmett Witchel; Raymond J. Mooney; Michael Dahlin (ICAC, 2005)

TraceBack: first fault diagnosis by reconstruction of distributed control flow. - Andrew Ayers; Richard Schooler; Chris Metcalf; Anant Agarwal; Junghwan Rhee; Emmett Witchel (PLDI, 2005)

Mondrix: memory isolation for linux using mondriaan memory protection. - Emmett Witchel; Junghwan Rhee; Krste Asanovic (SOSP, 2005)

Cost-Sensitive Decision Tree Learning for Forensic Classification. - Jason V. Davis; Jungwoo Ha; Christopher J. Rossbach; Hany E. Ramadan; Emmett Witchel (ECML, 2006)

Privacy-preserving remote diagnostics. - Justin Brickell; Donald E. Porter; Vitaly Shmatikov; Emmett Witchel (CCS, 2007)

Is the Optimism in Optimistic Concurrency Warranted? - Donald E. Porter; Owen S. Hofmann; Emmett Witchel (HotOS, 2007)

Machine Learning for On-Line Hardware Reconfiguration. - Jonathan Wildstrom; Peter Stone 001; Emmett Witchel; Michael Dahlin (IJCAI, 2007)

MetaTM//TxLinux: transactional memory for an operating system. - Hany E. Ramadan; Christopher J. Rossbach; Donald E. Porter; Owen S. Hofmann; Bhandari Aditya; Emmett Witchel (ISCA, 2007)

Improved error reporting for software that uses black-box components. - Jungwoo Ha; Christopher J. Rossbach; Jason V. Davis; Indrajit Roy 001; Hany E. Ramadan; Donald E. Porter; David L. Chen; Emmett Witchel (PLDI, 2007)

TxLinux: using and managing hardware transactional memory in an operating system. - Christopher J. Rossbach; Owen S. Hofmann; Donald E. Porter; Hany E. Ramadan; Bhandari Aditya; Emmett Witchel (SOSP, 2007)

CARVE: A Cognitive Agent for Resource Value Estimation. - Jonathan Wildstrom; Peter Stone 001; Emmett Witchel (ICAC, 2008)

Dependence-aware transactional memory for increased concurrency. - Hany E. Ramadan; Christopher J. Rossbach; Emmett Witchel (MICRO, 2008)

TxLinux and MetaTM: transactional memory and the operating system. - Christopher J. Rossbach; Hany E. Ramadan; Owen S. Hofmann; Donald E. Porter; Bhandari Aditya; Emmett Witchel (Commun. ACM, 2008)

MetaTM/TxLinux: Transactional Memory for an Operating System. - Hany E. Ramadan; Christopher J. Rossbach; Donald E. Porter; Owen S. Hofmann; Bhandari Aditya; Emmett Witchel (IEEE Micro, 2008)

Maximum benefit from a minimal HTM. - Owen S. Hofmann; Christopher J. Rossbach; Emmett Witchel (ASPLOS, 2009)

Operating Systems Should Provide Transactions. - Donald E. Porter; Emmett Witchel (HotOS, 2009)

Laminar: practical fine-grained decentralized information flow control. - Indrajit Roy 001; Donald E. Porter; Michael D. Bond; Kathryn S. McKinley; Emmett Witchel (PLDI, 2009)

Committing conflicting transactions in an STM. - Hany E. Ramadan; Indrajit Roy 001; Maurice Herlihy; Emmett Witchel (PPoPP, 2009)

Operating systems transactions. - Donald E. Porter; Owen S. Hofmann; Christopher J. Rossbach; Alexander Benn; Emmett Witchel (SOSP, 2009)

Understanding transactional memory performance. - Donald E. Porter; Emmett Witchel (ISPASS, 2010)

Defeating Vanish with Low-Cost Sybil Attacks Against Large DHTs. - Scott Wolchok; Owen S. Hofmann; Nadia Heninger; Edward W. Felten; J. Alex Halderman; Christopher J. Rossbach; Brent Waters; Emmett Witchel (NDSS, 2010)

Airavat: Security and Privacy for MapReduce. - Indrajit Roy 001; Srinath T. V. Setty; Ann Kilzer; Vitaly Shmatikov; Emmett Witchel (NSDI, 2010)

Modeling transactional memory workload performance. - Donald E. Porter; Emmett Witchel (PPoPP, 2010)

Is transactional programming actually easier? - Christopher J. Rossbach; Owen S. Hofmann; Emmett Witchel (PPoPP, 2010)

Autonomous return on investment analysis of additional processing resources. - Jonathan Wildstrom; Peter Stone 001; Emmett Witchel (Int. J. Auton. Comput., 2010)

Ensuring operating system kernel integrity with OSck. - Owen S. Hofmann; Alan M. Dunn; Sangman Kim; Indrajit Roy 001; Emmett Witchel (ASPLOS, 2011)

Operating Systems Must Support GPU Abstractions. - Christopher J. Rossbach; Jon Currey; Emmett Witchel (HotOS, 2011)

PTask: operating system abstractions to manage GPUs as compute devices. - Christopher J. Rossbach; Jon Currey; Mark Silberstein; Baishakhi Ray; Emmett Witchel (SOSP, 2011)

Cloaking Malware with the Trusted Platform Module. - Alan M. Dunn; Owen S. Hofmann; Brent Waters; Emmett Witchel (USENIX Security Symposium, 2011)

Improving server applications with system transactions. - Sangman Kim; Michael Z. Lee; Alan M. Dunn; Owen S. Hofmann; Xuan Wang; Emmett Witchel; Donald E. Porter (EuroSys, 2012)

Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels. - Alan M. Dunn; Michael Z. Lee; Suman Jana; Sangman Kim; Mark Silberstein; Yuanzhong Xu; Vitaly Shmatikov; Emmett Witchel (OSDI, 2012)

InkTag: secure applications on an untrusted operating system. - Owen S. Hofmann; Sangman Kim; Alan M. Dunn; Michael Z. Lee; Emmett Witchel (ASPLOS, 2013)

Application-Defined Decentralized Access Control. - Yuanzhong Xu; Alan M. Dunn; Owen S. Hofmann; Michael Z. Lee; Syed Akbar Mehdi; Emmett Witchel (USENIX ATC, 2014)

GPUfs: the case for operating system services on GPUs. - Mark Silberstein; Bryan Ford; Emmett Witchel (Commun. ACM, 2014)

Anon-Pass: Practical Anonymous Subscriptions. - Michael Z. Lee; Alan M. Dunn; Jonathan Katz; Brent Waters; Emmett Witchel (IEEE Secur. Priv., 2014)

GPUfs: Integrating a file system with GPUs. - Mark Silberstein; Bryan Ford; Idit Keidar; Emmett Witchel (ACM Trans. Comput. Syst., 2014)

Practical Fine-Grained Information Flow Control Using Laminar. - Donald E. Porter; Michael D. Bond; Indrajit Roy 001; Kathryn S. McKinley; Emmett Witchel (ACM Trans. Program. Lang. Syst., 2014)

Maxoid: transparently confining mobile applications with custom views of state. - Yuanzhong Xu; Emmett Witchel (EuroSys, 2015)

Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services. - Youngjin Kwon; Alan M. Dunn; Michael Z. Lee; Owen S. Hofmann; Yuanzhong Xu; Emmett Witchel (ASPLOS, 2016)

Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality. - Emmett Witchel (ASPLOS, 2016)

Coordinated and Efficient Huge Page Management with Ingens. - Youngjin Kwon; Hangchen Yu; Simon Peter 001; Christopher J. Rossbach; Emmett Witchel (OSDI, 2016)

EARP: Principled Storage, Sharing, and Protection for Mobile Apps. - Yuanzhong Xu; Tyler Hunt; Youngjin Kwon; Martin Georgiev; Vitaly Shmatikov; Emmett Witchel (GetMobile Mob. Comput. Commun., 2016)

GPUnet: Networking Abstractions for GPU Programs. - Mark Silberstein; Sangman Kim; Seonggu Huh; Xinya Zhang; Yige Hu; Amir Wated; Emmett Witchel (ACM Trans. Comput. Syst., 2016)

From Crash Consistency to Transactions. - Yige Hu; Youngjin Kwon; Vijay Chidambaram; Emmett Witchel (HotOS, 2017)

Understanding The Security of Discrete GPUs. - Zhiting Zhu; Sangman Kim; Yuri Rozhanski; Yige Hu; Emmett Witchel; Mark Silberstein (GPGPU@PPoPP, 2017)

Strata: A Cross Media File System. - Youngjin Kwon; Henrique Fingler; Tyler Hunt; Simon Peter 001; Emmett Witchel; Thomas E. Anderson (SOSP, 2017)

Ingens: Huge Page Support for the OS and Hypervisor. - Youngjin Kwon; Hangchen Yu; Simon Peter 001; Christopher J. Rossbach; Emmett Witchel (ACM SIGOPS Oper. Syst. Rev., 2017)

Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data. - Tyler Hunt; Zhiting Zhu; Yuanzhong Xu; Simon Peter 001; Emmett Witchel (ACM Trans. Comput. Syst., 2017)

Chiron: Privacy-preserving Machine Learning as a Service. - Tyler Hunt; Congzheng Song; Reza Shokri; Vitaly Shmatikov; Emmett Witchel (CoRR, 2018)

TxFS: Leveraging File-System Crash Consistency to ProvideACID Transactions. - Yige Hu; Zhiting Zhu; Ian Neal; Youngjin Kwon; Tianyu Cheng; Vijay Chidambaram; Emmett Witchel (login Usenix Mag., 2018)

Isolation and Beyond: Challenges for System Security. - Tyler Hunt; Zhipeng Jia; Vance Miller; Christopher J. Rossbach; Emmett Witchel (HotOS, 2019)

Assise: Performance and Availability via NVM Colocation in a Distributed File System. - Thomas E. Anderson; Marco Canini; Jongyul Kim 001; Dejan Kostic; Youngjin Kwon; Simon Peter 001; Waleed Reda; Henry N. Schuh; Emmett Witchel (CoRR, 2019)

TxFS: Leveraging File-system Crash Consistency to Provide ACID Transactions. - Yige Hu; Zhiting Zhu; Ian Neal; Youngjin Kwon; Tianyu Cheng; Vijay Chidambaram; Emmett Witchel (ACM Trans. Storage, 2019)

Telekine: Secure Computing with Cloud GPUs. - Tyler Hunt; Zhipeng Jia; Vance Miller; Ariel Szekely; Yige Hu; Christopher J. Rossbach; Emmett Witchel (NSDI, 2020)

Assise: Performance and Availability via Client-local NVM in a Distributed File System. - Thomas E. Anderson; Marco Canini; Jongyul Kim 001; Dejan Kostic; Youngjin Kwon; Simon Peter 001; Waleed Reda; Henry N. Schuh; Emmett Witchel (OSDI, 2020)

Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices. - Zhipeng Jia; Emmett Witchel (ASPLOS, 2021)

Boki: Stateful Serverless Computing with Shared Logs. - Zhipeng Jia; Emmett Witchel (SOSP, 2021)

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism. - Jongyul Kim 001; Insu Jang; Waleed Reda; Jaeseong Im; Marco Canini; Dejan Kostic; Youngjin Kwon; Simon Peter 001; Emmett Witchel (SOSP, 2021)

DGSF: Disaggregated GPUs for Serverless Functions. - Henrique Fingler; Zhiting Zhu; Esther Yoon; Zhipeng Jia; Emmett Witchel; Christopher J. Rossbach (IPDPS, 2022)

Disaggregated GPU Acceleration for Serverless Applications. - Henrique Fingler; Zhiting Zhu; Esther Yoon; Zhipeng Jia; Emmett Witchel; Christopher J. Rossbach (ACM SIGOPS Oper. Syst. Rev., 2023)

Challenges and Opportunities for Systems Using CXL Memory. - Emmett Witchel (ASPLOS (3), 2024)

Lupin: Tolerating Partial Failures in a CXL Pod. - Zhiting Zhu; Newton Ni; Yibo Huang 006; Yan Sun; Zhipeng Jia; Nam Sung Kim; Emmett Witchel (DIMES@SOSP, 2024)

Boki: Towards Data Consistency and Fault Tolerance with Shared Logs in Stateful Serverless Computing. - Zhipeng Jia; Emmett Witchel (ACM Trans. Comput. Syst., 2024)

The Key Ideas Behind Boki's Shared Logs. - Zhipeng Jia; Emmett Witchel (ACM SIGOPS Oper. Syst. Rev., 2024)

Impeller: Stream Processing on Shared Logs. - Zhiting Zhu; Zhipeng Jia; Newton Ni; Dixin Tang; Emmett Witchel (EuroSys, 2025)

Tigon: A Distributed Database for a CXL Pod. - Yibo Huang 006; Haowei Chen; Newton Ni; Yan Sun; Vijay Chidambaram; Dixin Tang; Emmett Witchel (OSDI, 2025)