Emmett Witchel

According to our database1, Emmett Witchel authored at least 69 papers between 1995 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2023, "For contributions to high-performance, concurrent, and secure systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Disaggregated GPU Acceleration for Serverless Applications.
ACM SIGOPS Oper. Syst. Rev., 2023

2022
DGSF: Disaggregated GPUs for Serverless Functions.
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.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Boki: Stateful Serverless Computing with Shared Logs.
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.
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.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Telekine: Secure Computing with Cloud GPUs.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019
TxFS: Leveraging File-system Crash Consistency to Provide ACID Transactions.
ACM Trans. Storage, 2019

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

Isolation and Beyond: Challenges for System Security.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018
TxFS: Leveraging File-System Crash Consistency to ProvideACID Transactions.
login Usenix Mag., 2018

Chiron: Privacy-preserving Machine Learning as a Service.
CoRR, 2018

2017
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data.
ACM Trans. Comput. Syst., 2017

Ingens: Huge Page Support for the OS and Hypervisor.
ACM SIGOPS Oper. Syst. Rev., 2017

Strata: A Cross Media File System.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Understanding The Security of Discrete GPUs.
Proceedings of the General Purpose GPUs, 2017

From Crash Consistency to Transactions.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016
GPUnet: Networking Abstractions for GPU Programs.
ACM Trans. Comput. Syst., 2016

EARP: Principled Storage, Sharing, and Protection for Mobile Apps.
GetMobile Mob. Comput. Commun., 2016

Coordinated and Efficient Huge Page Management with Ingens.
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.
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.
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.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2014
Practical Fine-Grained Information Flow Control Using Laminar.
ACM Trans. Program. Lang. Syst., 2014

GPUfs: Integrating a file system with GPUs.
ACM Trans. Comput. Syst., 2014

Anon-Pass: Practical Anonymous Subscriptions.
IEEE Secur. Priv., 2014

GPUfs: the case for operating system services on GPUs.
Commun. ACM, 2014

Application-Defined Decentralized Access Control.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

2013
InkTag: secure applications on an untrusted operating system.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Improving server applications with system transactions.
Proceedings of the European Conference on Computer Systems, 2012

2011
Cloaking Malware with the Trusted Platform Module.
Proceedings of the 20th USENIX Security Symposium, 2011

PTask: operating system abstractions to manage GPUs as compute devices.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Operating Systems Must Support GPU Abstractions.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Ensuring operating system kernel integrity with OSck.
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.
Int. J. Auton. Comput., 2010

Is transactional programming actually easier?
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Modeling transactional memory workload performance.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Airavat: Security and Privacy for MapReduce.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Defeating Vanish with Low-Cost Sybil Attacks Against Large DHTs.
Proceedings of the Network and Distributed System Security Symposium, 2010

Understanding transactional memory performance.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2010

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

Committing conflicting transactions in an STM.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Laminar: practical fine-grained decentralized information flow control.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

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

Maximum benefit from a minimal HTM.
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.
IEEE Micro, 2008

TxLinux and MetaTM: transactional memory and the operating system.
Commun. ACM, 2008

Dependence-aware transactional memory for increased concurrency.
Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

CARVE: A Cognitive Agent for Resource Value Estimation.
Proceedings of the 2008 International Conference on Autonomic Computing, 2008

2007
TxLinux: using and managing hardware transactional memory in an operating system.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Improved error reporting for software that uses black-box components.
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.
Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

Machine Learning for On-Line Hardware Reconfiguration.
Proceedings of the IJCAI 2007, 2007

Is the Optimism in Optimistic Concurrency Warranted?
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Privacy-preserving remote diagnostics.
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006
Cost-Sensitive Decision Tree Learning for Forensic Classification.
Proceedings of the Machine Learning: ECML 2006, 2006

2005
Mondrix: memory isolation for linux using mondriaan memory protection.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

TraceBack: first fault diagnosis by reconstruction of distributed control flow.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Towards Self-Configuring Hardware for Distributed Computer Systems.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

2004
Mondriaan Memory Protection.
PhD thesis, 2004

2003
Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection.
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

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

Increasing and Detecting Memory Address Congruence.
Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

2001
Direct addressed caches for reduced power consumption.
Proceedings of the 34th Annual International Symposium on Microarchitecture, 2001

1999
Separating key management from file system security.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

1996
Embra: Fast and Flexible Machine Simulation.
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996

1995
Complete computer system simulation: the SimOS approach.
IEEE Parallel Distributed Technol. Syst. Appl., 1995

The Impact of Architectural Trends on Operating System Performance.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995


  Loading...