Emmett Witchel |
|
| Associate
Professor of Computer Science at The University of Texas at Austin Visitor directions for UT CS |
Emmett Witchel Department of Computer Science 2317 Speedway, Stop D9500 Austin, TX 78712-1757 witchel at cs dot utexas dot edu ACES 6.240 |
|
|
|
|
| InkTag: Secure Applications on an Untrusted Operating System | [pdf] ASPLOS '13 | |
|
|
|
|
| GPUfs: Integrating a File System with GPUs | [pdf] ASPLOS '13 | |
|
|
|
|
| Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels | [pdf] OSDI '12 | |
|
|
|
|
| PTask: Operating System Abstractions To Manage GPUs as Compute Devices | [pdf] SOSP '11 one-col (ereader friendly) | |
|
|
|
|
| Airavat: Security and Privacy for MapReduce | [pdf] NSDI '10 | |
|
|
|
|
| Operating System Transactions | [pdf] SOSP '09 | |
|
|
|
|
| Laminar: Practical Fine-Grained Decentralized Information Flow Control | [pdf] PLDI '09 | |
|
|
|
|
| Maximum Benefit from a Minimal HTM | [pdf] ASPLOS '09 | |
|
|
|
|
| Committing Conflicting Transactions in an STM | [pdf] PPoPP '09 | |
|
|
|
|
| TxLinux: Using and Managing Transactional Memory in an Operating System | [pdf] SOSP '07 [Audience choice award] [CACM '08] | |
|
|
|
|
| MetaTM/TxLinux: Transactional Memory For An Operating System | [pdf] ISCA '07 [IEEE Micro Top Pick pdf] | |
|
|
|
|
| Improved Error Reporting for Software that Uses Black-Box Components | [pdf] PLDI '07 | |
|
|
|
|
| Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection | [pdf] SOSP '05 | |
|
|
|
|
| TraceBack: First Fault Diagnosis by Reconstruction of Distributed Control Flow | [pdf] PLDI '05 | |
|
|
|
|
| Mondriaan Memory Protection | [pdf] | |
| Ph.D. dissertation,Massachusetts Institute of Technology, January, 2004. | ||
| Honorable Mention, ACM Doctoral Disseration Award | ||
| Winner, MIT George M. Sprowls award for outstanding doctoral dissertation from the Department of Electrical Engineering and Computer Science. | ||
|
|
|
|
| Mondrian Memory Protection | [pdf] ASPLOS '02 | |
|
|
|
|
| Direct Addressed Caches for Reduced Power Consumption | [pdf] MICRO '01 | |
|
|
|
|
| Embra: Fast and Flexible Machine Simulation | [pdf] SIGMETRICS '96 | |
| CS 429 |
Computer Organization and Architecture | Fall 2012 |
| CS 429H |
Systems I, Honors | Spring 2012 |
| CS 380L |
Advanced Operating Systems | Fall 2011, Spring 2010, Fall 2006, Fall 2005 |
| CS 395T |
Topics in Computer Systems Research | Spring 2011 |
| CS 352H |
Computer Architecture, Honors | Fall 2010 |
| CS 372 | Introduction to Operating Systems | 2009, Fall 2007, Spring 2006, 2005, 2004 |
| First Bytes Teacher's Workshop | Summer 2008, 2007 | |
| CS 395T | Hardware and Software for Multicore Systems | Spring 2007 |
| CS 395T | Operating Systems Research on Computer Hardware Simulators | Fall 2004 |