Impeller: Stream Processing on Shared Logs - Zhiting Zhu; Zhipeng Jia; Newton Ni; Dixin Tang; Emmett Witchel (Proceedings of the Twentieth European Conference on Computer Systems, EuroSys 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025, 2025)

Tigon: A Distributed Database for a CXL Pod - Yibo Huang; Haowei Chen; Newton Ni; Yan Sun; Vijay Chidambaram; Dixin Tang; Emmett Witchel (19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025, Boston, MA, USA, July 7-9, 2025, 2025)

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

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

Challenges and Opportunities for Systems Using CXL Memory - Emmett Witchel (Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, 2024)

Lupin: Tolerating Partial Failures in a CXL Pod - Zhiting Zhu; Newton Ni; Yibo Huang; Yan Sun; Zhipeng Jia; Nam Sung Kim; Emmett Witchel (Proceedings of the 2nd Workshop on Disruptive Memory Systems, DIMES 2024, Austin, TX, USA, 3 November 2024, 2024)

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, SOSP 2024, Austin, TX, USA, November 4-6, 2024 - Emmett Witchel; Christopher J. Rossbach; Andrea C. Arpaci-Dusseau; Kimberly Keeton (ACM, 2024)

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)

DGSF: Disaggregated GPUs for Serverless Functions - Henrique Fingler; Zhiting Zhu; Esther Yoon; Zhipeng Jia; Emmett Witchel; Christopher J. Rossbach (2022 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2022, Lyon, France, May 30 - June 3, 2022, 2022)

Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices - Zhipeng Jia; Emmett Witchel (ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021, 2021)

Boki: Stateful Serverless Computing with Shared Logs - Zhipeng Jia; Emmett Witchel (SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021, 2021)

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism - Jongyul Kim; Insu Jang; Waleed Reda; Jaeseong Im; Marco Canini; Dejan Kostic; Youngjin Kwon; Simon Peter; Emmett Witchel (SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021, 2021)

Telekine: Secure Computing with Cloud GPUs - Tyler Hunt; Zhipeng Jia; Vance Miller; Ariel Szekely; Yige Hu; Christopher J. Rossbach; Emmett Witchel (17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020, 2020)

Assise: Performance and Availability via Client-local NVM in a Distributed File System - Thomas E. Anderson; Marco Canini; Jongyul Kim; Dejan Kostic; Youngjin Kwon; Simon Peter; Waleed Reda; Henry N. Schuh; Emmett Witchel (14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020, 2020)

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)

Isolation and Beyond: Challenges for System Security - Tyler Hunt; Zhipeng Jia; Vance Miller; Christopher J. Rossbach; Emmett Witchel (Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019, 2019)

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019 - Iris Bahar; Maurice Herlihy; Emmett Witchel; Alvin R. Lebeck (ACM, 2019)

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

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)

TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions - Yige Hu; Zhiting Zhu; Ian Neal; Youngjin Kwon; Tianyu Cheng; Vijay Chidambaram; Emmett Witchel (Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018, Boston, MA, USA, July 11-13, 2018, 2018)

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

Ingens: Huge Page Support for the OS and Hypervisor - Youngjin Kwon; Hangchen Yu; Simon Peter; 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; Emmett Witchel (ACM Trans. Comput. Syst., 2017)

Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data - Tyler Hunt; Zhiting Zhu; Yuanzhong Xu; Simon Peter; Emmett Witchel (login Usenix Mag., 2017)

From Crash Consistency to Transactions - Yige Hu; Youngjin Kwon; Vijay Chidambaram; Emmett Witchel (Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017, 2017)

Understanding The Security of Discrete GPUs - Zhiting Zhu; Sangman Kim; Yuri Rozhanski; Yige Hu; Emmett Witchel; Mark Silberstein (Proceedings of the General Purpose GPUs, GPGPU@PPoPP, Austin, TX, USA, February 4-8, 2017, 2017)

Strata: A Cross Media File System - Youngjin Kwon; Henrique Fingler; Tyler Hunt; Simon Peter; Emmett Witchel; Thomas E. Anderson (Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017, 2017)

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)

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 (Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2016, Atlanta, GA, USA, April 2-6, 2016, 2016)

Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality - Emmett Witchel (Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2016, Atlanta, GA, USA, April 2-6, 2016, 2016)

Earp: Principled Storage, Sharing, and Protection for Mobile Apps - Yuanzhong Xu; Tyler Hunt; Youngjin Kwon; Martin Georgiev; Vitaly Shmatikov; Emmett Witchel (13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016, Santa Clara, CA, USA, March 16-18, 2016, 2016)

Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data - Tyler Hunt; Zhiting Zhu; Yuanzhong Xu; Simon Peter; Emmett Witchel (12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016, 2016)

Coordinated and Efficient Huge Page Management with Ingens - Youngjin Kwon; Hangchen Yu; Simon Peter; Christopher J. Rossbach; Emmett Witchel (12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016, 2016)

Maxoid: transparently confining mobile applications with custom views of state - Yuanzhong Xu; Emmett Witchel (Proceedings of the Tenth European Conference on Computer Systems, EuroSys 2015, Bordeaux, France, April 21-24, 2015, 2015)

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; Kathryn S. McKinley; Emmett Witchel (ACM Trans. Program. Lang. Syst., 2014)

GPUnet: Networking Abstractions for GPU Programs - Sangman Kim; Seonggu Huh; Xinya Zhang; Yige Hu; Amir Wated; Emmett Witchel; Mark Silberstein (11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014, 2014)

Application-Defined Decentralized Access Control - Yuanzhong Xu; Alan M. Dunn; Owen S. Hofmann; Michael Z. Lee; Syed Akbar Mehdi; Emmett Witchel (Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014, Philadelphia, PA, USA, June 19-20, 2014, 2014)

InkTag: secure applications on an untrusted operating system - Owen S. Hofmann; Sangman Kim; Alan M. Dunn; Michael Z. Lee; Emmett Witchel (Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013, 2013)

GPUfs: integrating a file system with GPUs - Mark Silberstein; Bryan Ford; Idit Keidar; Emmett Witchel (Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013, 2013)

Anon-Pass: Practical Anonymous Subscriptions - Michael Z. Lee; Alan M. Dunn; Brent Waters; Emmett Witchel; Jonathan Katz (2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013, 2013)

Anon-Pass: Practical Anonymous Subscriptions - Michael Z. Lee; Alan M. Dunn; Jonathan Katz; Brent Waters; Emmett Witchel (IACR Cryptol. ePrint Arch., 2013)

Improving server applications with system transactions - Sangman Kim; Michael Z. Lee; Alan M. Dunn; Owen S. Hofmann; Xuan Wang; Emmett Witchel; Donald E. Porter (European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012, 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 (10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012, 2012)

Ensuring operating system kernel integrity with OSck - Owen S. Hofmann; Alan M. Dunn; Sangman Kim; Indrajit Roy; Emmett Witchel (Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011, 2011)

Operating Systems Must Support GPU Abstractions - Christopher J. Rossbach; Jon Currey; Emmett Witchel (13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011, 2011)

PTask: operating system abstractions to manage GPUs as compute devices - Christopher J. Rossbach; Jon Currey; Mark Silberstein; Baishakhi Ray; Emmett Witchel (Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011, 2011)

Cloaking Malware with the Trusted Platform Module - Alan M. Dunn; Owen S. Hofmann; Brent Waters; Emmett Witchel (20th USENIX Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings, 2011)

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

Understanding transactional memory performance - Donald E. Porter; Emmett Witchel (IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2010, 28-30 March 2010, White Plains, NY, USA, 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 (Proceedings of the Network and Distributed System Security Symposium, NDSS 2010, San Diego, California, USA, 28th February - 3rd March 2010, 2010)

Airavat: Security and Privacy for MapReduce - Indrajit Roy; Srinath T. V. Setty; Ann Kilzer; Vitaly Shmatikov; Emmett Witchel (Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2010, April 28-30, 2010, San Jose, CA, USA, 2010)

Is transactional programming actually easier? - Christopher J. Rossbach; Owen S. Hofmann; Emmett Witchel (Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, 2010)

Modeling transactional memory workload performance - Donald E. Porter; Emmett Witchel (Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, 2010)

Maximum benefit from a minimal HTM - Owen S. Hofmann; Christopher J. Rossbach; Emmett Witchel (Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, 2009)

Operating Systems Should Provide Transactions - Donald E. Porter; Emmett Witchel (Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, May 18-20, 2009, Monte Verità, Switzerland, 2009)

Laminar: practical fine-grained decentralized information flow control - Indrajit Roy; Donald E. Porter; Michael D. Bond; Kathryn S. McKinley; Emmett Witchel (Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, 2009)

Committing conflicting transactions in an STM - Hany E. Ramadan; Indrajit Roy; Maurice Herlihy; Emmett Witchel (Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, 2009)

Operating systems transactions - Donald E. Porter; Owen S. Hofmann; Christopher J. Rossbach; Alexander Benn; Emmett Witchel (Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, 2009)

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)

CARVE: A Cognitive Agent for Resource Value Estimation - Jonathan Wildstrom; Peter Stone; Emmett Witchel (2008 International Conference on Autonomic Computing, ICAC 2008, June 2-6, 2008, Chicago, Illinois, USA, 2008)

Dependence-aware transactional memory for increased concurrency - Hany E. Ramadan; Christopher J. Rossbach; Emmett Witchel (41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy, 2008)

Privacy-preserving remote diagnostics - Justin Brickell; Donald E. Porter; Vitaly Shmatikov; Emmett Witchel (Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, 2007)

Is the Optimism in Optimistic Concurrency Warranted? - Donald E. Porter; Owen S. Hofmann; Emmett Witchel (Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA, 2007)

Autonomous Return on Investment Analysis of Additional Processing Resources - Jonathan Wildstrom; Peter Stone; Emmett Witchel (Fourth International Conference on Autonomic Computing (ICAC'07), Jacksonville, Florida, USA, June 11-15, 2007, 2007)

Machine Learning for On-Line Hardware Reconfiguration - Jonathan Wildstrom; Peter Stone; Emmett Witchel; Michael Dahlin (IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, 2007)

Meta\(^TM\)//TxLinux: transactional memory for an operating system - Hany E. Ramadan; Christopher J. Rossbach; Donald E. Porter; Owen S. Hofmann; Bhandari Aditya; Emmett Witchel (34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, 2007)

Improved error reporting for software that uses black-box components - Jungwoo Ha; Christopher J. Rossbach; Jason V. Davis; Indrajit Roy; Hany E. Ramadan; Donald E. Porter; David L. Chen; Emmett Witchel (Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, 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 (Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007, 2007)

Cost-Sensitive Decision Tree Learning for Forensic Classification - Jason V. Davis; Jungwoo Ha; Christopher J. Rossbach; Hany E. Ramadan; Emmett Witchel (Machine Learning: ECML 2006, 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings, 2006)

Towards Self-Configuring Hardware for Distributed Computer Systems - Jonathan Wildstrom; Peter Stone; Emmett Witchel; Raymond J. Mooney; Michael Dahlin (Second International Conference on Autonomic Computing (ICAC 2005), 13-16 June 2005, Seattle, WA, USA, 2005)

TraceBack: first fault diagnosis by reconstruction of distributed control flow - Andrew Ayers; Richard Schooler; Chris Metcalf; Anant Agarwal; Junghwan Rhee; Emmett Witchel (Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, 2005)

Mondrix: memory isolation for linux using mondriaan memory protection - Emmett Witchel; Junghwan Rhee; Krste Asanovic (Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005, 2005)

Mondriaan Memory Protection - Emmett Witchel (Massachusetts Institute of Technology, Cambridge, MA, USA, 2004)

Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection - Emmett Witchel; Krste Asanovic (Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA, 2003)

Increasing and Detecting Memory Address Congruence - Samuel Larsen; Emmett Witchel; Saman P. Amarasinghe (2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 22-25 September 2002, Charlottesville, VA, USA, 2002)

Mondrian memory protection - Emmett Witchel; Josh Cates; Krste Asanovic (Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, California, USA, October 5-9, 2002, 2002)

Direct addressed caches for reduced power consumption - Emmett Witchel; Samuel Larsen; C. Scott Ananian; Krste Asanovic (Proceedings of the 34th Annual International Symposium on Microarchitecture, Austin, Texas, USA, December 1-5, 2001, 2001)

Separating key management from file system security - David Mazières; Michael Kaminsky; M. Frans Kaashoek; Emmett Witchel (Proceedings of the 17th ACM Symposium on Operating System Principles, SOSP 1999, Kiawah Island Resort, near Charleston, South Carolina, USA, December 12-15, 1999, 1999)

Embra: Fast and Flexible Machine Simulation - Emmett Witchel; Mendel Rosenblum (Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, Philadelphia, Pennsylvania, USA, May 23-26, 1996, 1996)

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

The Impact of Architectural Trends on Operating System Performance - Mendel Rosenblum; Edouard Bugnion; Stephen Alan Herrod; Emmett Witchel; Anoop Gupta (Proceedings of the Fifteenth ACM Symposium on Operating System Principles, SOSP 1995, Copper Mountain Resort, Colorado, USA, December 3-6, 1995, 1995)