Emmett Witchel
Assistant Professor of Computer Science at the University of Texas at Austin Visitor directions for UT		Emmett Witchel Department of Computer Science 1 University Station C0500 Austin, TX 78712-0500 witchel at cs dot utexas dot edu ACES 6.240

Selected publications (complete publications)

• Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter,  Hany E. Ramadan, Aditya Bhandari, Emmett Witchel
  TxLinux: Using and Managing Transactional Memory in an Operating System [pdf] SOSP '07 (slides ppt pdf) [Audience choice award][CACM '08]
• Hany E. Ramadan,  Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, Emmett Witchel
  MetaTM/TxLinux: Transactional Memory For An Operating System [pdf] ISCA '07 (slides ppt pdf) [IEEE Micro Top Pick]
• Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy,  Hany E. Ramadan,  Donald E. Porter, David L. Chen, Emmett Witchel
  Improved Error Reporting for Software that Uses Black-Box Components [pdf] PLDI '07 (slides ppt pdf)
• Emmett Witchel, Junghwan Rhee, and Krste Asanovìc
  Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection [pdf] SOSP '05 (slides ppt pdf)
• Andrew Ayers, Chris Metcalf, Junghwan Rhee, Richard Schooler, Anant Agarwal, Emmett Witchel 
  TraceBack: First Fault Diagnosis by Reconstruction of Distributed Control Flow [pdf]  PLDI '05 (slides ppt pdf)
• Emmett Witchel
  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.
• Emmett Witchel, Josh Cates, Krste Asanovìc
  Mondrian Memory Protection, [pdf]   ASPLOS '02 (slides ppt pdf)
• Emmett Witchel, Sam Larsen, C. Scott Ananian, and Krste Asanovìc
  Direct Addressed Caches for Reduced Power Consumption, [pdf]    MICRO '01 (slides)
• Emmett Witchel, Mendel Rosenblum
  Embra: Fast and Flexible Machine Simulation, [pdf]   Sigmetrics '96

Teaching

• Fall      2007,CS 372 Introduction to Operating Systems
  
• Summer 2007, First Bytes Teacher's Workshop
  
• Spring 2007, CS 395T, Hardware and Software for Multicore Systems
• Fall      2006,CS 380L, Advanced Operating Systems
• Spring 2006, CS 372,    Introduction to Operating Systems
• Fall     2005, CS 380L, Advanced Operating Systems
• Spring 2005, CS 372,    Introduction to Operating Systems
• Fall     2004, CS 395T  Operating Systems Research on Computer Hardware Simulators
• Spring 2004, CS 372,   Introduction to Operating Systems

Students

• Hany E. Ramadan
• Christopher J. Rossbach
• Donald E. Porter
• Owen S. Hofmann

Projects

• OS support for transactional memory.  We have released TxLinux and MetaTM.
• Clarify
• Mondriaan Memory Protection

Other

• Music