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 GDC 6.432

Selected publications (complete publications)

S. Kim, S. Huh, Y. Hu, X. Zhang, A. Watad, E. Witchel M. Silberstein
GPUnet: Networking Abstractions for GPU Programs	[pdf]  OSDI '14
D. E. Porter, M. D. Bond, I. Roy, K. S. McKinley, E. Witchel
Practical Fine-Grained Information Flow Control Using Laminar	[pdf]  TOPLAS '14
O. Hofmann A. Dunn, S. Kim, M. Lee, E. Witchel
InkTag: Secure Applications on an Untrusted Operating System	[pdf]  ASPLOS '13
M. Silberstein, B. Ford, I. Keidar, E. Witchel
GPUfs: Integrating a File System with GPUs	[pdf]  ASPLOS '13 [runner-up best paper] [CACM '14]
A. Dunn, M. Lee, S. Jana, S. Kim, M. Silberstein, Y. Xu, V. Shmatikov, E. Witchel
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels	[pdf]  OSDI '12 [runner-up PET award]
C. J. Rossbach, J. Currey, M. Silberstein, B. Ray, E. Witchel
PTask: Operating System Abstractions To Manage GPUs as Compute Devices	[pdf]  SOSP '11   one-column  (ereader friendly)
I. Roy, S. Setty, A. Kilzer, V. Shmatikov, E. Witchel
Airavat: Security and Privacy for MapReduce	[pdf]   NSDI '10
D. E. Porter, O. S. Hofmann, C. J. Rossbach, A. Benn, E. Witchel
Operating System Transactions	[pdf]   SOSP '09
C. J. Rossbach, O. S. Hofmann, D. E. Porter,  H. E. Ramadan, A. Bhandari, E. Witchel
TxLinux: Using and Managing Transactional Memory in an Operating System	[pdf]   SOSP '07   [Audience choice award] [CACM '08]
H. E. Ramadan,  C. J. Rossbach, D. E. Porter, O. S. Hofmann, A. Bhandari, E. Witchel
MetaTM/TxLinux: Transactional Memory For An Operating System	[pdf]   ISCA '07   [IEEE Micro Top Pick pdf]
E. Witchel, J. Rhee, and K. Asanovìc
Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection	[pdf]   SOSP '05
A. Ayers, C. Metcalf, J. Rhee, R. Schooler, A. Agarwal, E. Witchel
TraceBack: First Fault Diagnosis by Reconstruction of Distributed Control Flow	[pdf]   PLDI '05
E. Witchel
Mondriaan Memory Protection	[pdf]
Ph.D. dissertation,Massachusetts Institute of Technology, January, 2004.
Honorable Mention, ACM Doctoral Dissertation Award
Winner, MIT George M. Sprowls award for outstanding doctoral dissertation from the Department of Electrical Engineering and Computer Science.
E. Witchel, J. Cates, K. Asanovìc
Mondrian Memory Protection	[pdf]   ASPLOS '02
E. Witchel, Sam Larsen, C. Scott Ananian, and K. Asanovìc
Direct Addressed Caches for Reduced Power Consumption	[pdf]   MICRO '01
E. Witchel, M. Rosenblum
Embra: Fast and Flexible Machine Simulation	[pdf]   SIGMETRICS '96

Teaching

CS 378	iOS Mobile Computing	Spring 2015,
CS 380L	Advanced Operating Systems	Fall 2014, Fall 2013, Fall 2011, Spring 2010, Fall 2006, Fall 2005
CS 429H	Computer Organization and Architecture, Honors	Spring 2014, Spring 2012
CS 429	Computer Organization and Architecture	Fall 2012
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

Students

• Sangman Kim
• Yuanzhong Xu
• Youngjin Kwon
• Yige Hu

Alumni

Projects

• Please check out our group's source code at github.
• GPUfs: Integrating a File System with GPUs. Code at github.
• TxOS: Operating System Transactions
• Airavat: Improved Security for MapReduce using mandatory access control and differential privacy
• Laminar: Integrating OS and PL support for Decentralized Information Flow Control (DIFC)
• OS support for transactional memory.  We have released TxLinux and MetaTM.
• Clarify
• Mondriaan Memory Protection

Program Committees

• 2015: HotOS, SOSP, Systor
• 2014: ASPLOS, USENIX ATC, APSYS, OSDI
• 2013: ASPLOS
• 2012: USENIX ATC
• 2011: SOSP
• 2010: ASPLOS, OSDI
• 2009: ISCA, MICRO
• 2008: ASPLOS, TRANSACT, PLDI, USENIX ATC
• 2007: HotOS

Other

• Funding
• Music