Emmett Witchel

ACM SIGOPS Oper. Syst. Rev., June, 2024

Lupin: Tolerating Partial Failures in a CXL Pod.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Disruptive Memory Systems, 2024

Challenges and Opportunities for Systems Using CXL Memory.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Disaggregated GPU Acceleration for Serverless Applications.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2023

2022

DGSF: Disaggregated GPUs for Serverless Functions.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

2021

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism.

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Boki: Stateful Serverless Computing with Shared Logs.

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Assise: Performance and Availability via Client-local NVM in a Distributed File System.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Telekine: Secure Computing with Cloud GPUs.

[BibT_eX]

[DOI]

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019

TxFS: Leveraging File-system Crash Consistency to Provide ACID Transactions.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2019

Assise: Performance and Availability via NVM Colocation in a Distributed File System.

[BibT_eX]

[DOI]

CoRR, 2019

Isolation and Beyond: Challenges for System Security.

[BibT_eX]

[DOI]

Tyler Hunt

Vance Miller

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018

TxFS: Leveraging File-System Crash Consistency to ProvideACID Transactions.

[BibT_eX]

[DOI]

Chiron: Privacy-preserving Machine Learning as a Service.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2017

Ingens: Huge Page Support for the OS and Hypervisor.

[BibT_eX]

[DOI]

Youngjin Kwon

Hangchen Yu

Simon Peter

ACM SIGOPS Oper. Syst. Rev., 2017

Strata: A Cross Media File System.

[BibT_eX]

[DOI]

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Understanding The Security of Discrete GPUs.

[BibT_eX]

[DOI]

Proceedings of the General Purpose GPUs, 2017

From Crash Consistency to Transactions.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

GPUnet: Networking Abstractions for GPU Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2016

EARP: Principled Storage, Sharing, and Protection for Mobile Apps.

[BibT_eX]

[DOI]

GetMobile Mob. Comput. Commun., 2016

Coordinated and Efficient Huge Page Management with Ingens.

[BibT_eX]

[DOI]

Youngjin Kwon

Hangchen Yu

Simon Peter

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Maxoid: transparently confining mobile applications with custom views of state.

[BibT_eX]

[DOI]

Yuanzhong Xu

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

Practical Fine-Grained Information Flow Control Using Laminar.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2014

GPUfs: Integrating a file system with GPUs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2014

Anon-Pass: Practical Anonymous Subscriptions.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2014

GPUfs: the case for operating system services on GPUs.

[BibT_eX]

[DOI]

Mark Silberstein

Bryan Ford

Commun. ACM, 2014

Application-Defined Decentralized Access Control.

[BibT_eX]

[DOI]

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

2013

InkTag: secure applications on an untrusted operating system.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Improving server applications with system transactions.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2012

2011

Cloaking Malware with the Trusted Platform Module.

[BibT_eX]

[DOI]

Proceedings of the 20th USENIX Security Symposium, 2011

PTask: operating system abstractions to manage GPUs as compute devices.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Operating Systems Must Support GPU Abstractions.

[BibT_eX]

[DOI]

Jon Currey

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Ensuring operating system kernel integrity with OSck.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Autonomous return on investment analysis of additional processing resources.

[BibT_eX]

[DOI]

Jonathan Wildstrom

Peter Stone

Int. J. Auton. Comput., 2010

Is transactional programming actually easier?

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Modeling transactional memory workload performance.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Airavat: Security and Privacy for MapReduce.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Defeating Vanish with Low-Cost Sybil Attacks Against Large DHTs.

[BibT_eX]

[DOI]

Brent Waters

Proceedings of the Network and Distributed System Security Symposium, 2010

Understanding transactional memory performance.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2010

2009

Operating systems transactions.

[BibT_eX]

[DOI]

Alexander Benn

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Committing conflicting transactions in an STM.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Laminar: practical fine-grained decentralized information flow control.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Operating Systems Should Provide Transactions.

[BibT_eX]

[DOI]

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

Maximum benefit from a minimal HTM.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008

MetaTM/TxLinux: Transactional Memory for an Operating System.

[BibT_eX]

[DOI]

IEEE Micro, 2008

TxLinux and MetaTM: transactional memory and the operating system.

[BibT_eX]

[DOI]

Commun. ACM, 2008

Dependence-aware transactional memory for increased concurrency.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

CARVE: A Cognitive Agent for Resource Value Estimation.

[BibT_eX]

[DOI]

Jonathan Wildstrom

Peter Stone

Proceedings of the 2008 International Conference on Autonomic Computing, 2008

2007

TxLinux: using and managing hardware transactional memory in an operating system.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Improved error reporting for software that uses black-box components.

[BibT_eX]

[DOI]

Jungwoo Ha

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Meta<sup>TM</sup>//TxLinux: transactional memory for an operating system.

[BibT_eX]

[DOI]

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

Machine Learning for On-Line Hardware Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Is the Optimism in Optimistic Concurrency Warranted?

[BibT_eX]

[DOI]

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Privacy-preserving remote diagnostics.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Cost-Sensitive Decision Tree Learning for Forensic Classification.

[BibT_eX]

[DOI]

Jason V. Davis

Jungwoo Ha

Proceedings of the Machine Learning: ECML 2006, 2006

2005

Mondrix: memory isolation for linux using mondriaan memory protection.

[BibT_eX]

[DOI]

Junghwan Rhee

Krste Asanovic

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

TraceBack: first fault diagnosis by reconstruction of distributed control flow.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Towards Self-Configuring Hardware for Distributed Computer Systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

2004

Mondriaan Memory Protection.

[BibT_eX]

[DOI]

PhD thesis, 2004

2003

Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection.

[BibT_eX]

[DOI]

Krste Asanovic

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

2002

Mondrian memory protection.

[BibT_eX]

[DOI]

Josh Cates

Krste Asanovic

Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), 2002

Increasing and Detecting Memory Address Congruence.

[BibT_eX]

[DOI]

Samuel Larsen

Saman P. Amarasinghe

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

2001

Direct addressed caches for reduced power consumption.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual International Symposium on Microarchitecture, 2001

1999

Separating key management from file system security.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

1996

Embra: Fast and Flexible Machine Simulation.

[BibT_eX]

[DOI]