OPERATING SYSTEMS, SYNCHRONIZATION, TRANSACTIONAL MEMORY, PARALLEL ARCHITECTURES, PARALLEL ALGORITHMS, VIRTUALIZATION, CACHE COHERENCE, CONSISTENCY MODELS, PROGRAMMING MODELS

THE UNIVERSITY OF TEXAS AT AUSTIN, AUSTIN TX, USA

Ph.D., Computer Science (expected graduation date: August 2009)

Research Focus: Transactional Memory and Operating Systems

Advisor: Professor Emmett Witchel

Area of Study: Operating Systems and Architecture

B.S., Computer Systems Engineering, June 1992

Publications:

• Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel
  Dependence-Aware Transactional Memory for Increased Concurrency MICRO 2008 (slides ppt PDF)
• 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 SOSP '07 (slides ppt PDF)
• Owen S. Hofmann, Donald E. Porter, Christopher J. Rossbach, Hany E. Ramadan, and Emmett Witchel
  Solving Difficult HTM Problems Without Difficult Hardware (PDF paper coming soon)
  In Proceedings of the Second Workshop on Transactional Computing (TRANSACT), Portland, OR, August 16, 2007.

• 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 paper)
  In Proceedings of the International Symposium on Computer Architecture 2007, San Diego, CA, June, 2007.

• Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, David L. Chen, Hany E. Ramadan, and Emmett Witchel
  Improved Error Reporting for Software that Uses Black Box Components (PDF paper)
  In Proceedings of the Programming Language Design and Implementation (PLDI) 2007, San Diego, CA, June, 2007.

• Jason V. Davis, Jungwoo Ha, Christopher J. Rossbach, Hany E. Ramadan, and Emmett Witchel
  Cost-Sensitive Decision Tree Learning for Forensic Classification (PDF paper)
  In Proceedings of the The 17th European Conference on Machine Learning (ECML), Berlin, Germany, September 2006.

• Hany E. Ramadan, Christopher J. Rossbach, and Emmett Witchel
  The Linux Kernel: A Challenging Workload for Transactional Memory (PDF paper)
  In Proceedings of the Workshop on Transactional Memory Workloads (WTW), Ottawa, Canada, June 2006.

• Jungwoo Ha, Hany Ramadan, Jason V. Davis, Christopher Rossbach, Indrajit Roy, and Emmett Witchel
  Navel: Automating Software Support by Classifying Program Behavior (PDF paper)
  The University of Texas at Austin, CS Technical Report TR-06-11, Austin, TX, March 2006.

• Abbas Rafii, Chris Rossbach, Peter Zhao
  RGB-Z: Mapping a Sparse Depth Map to a High Resolution RGB Camera Image
  CVPR (2) 2005:

Conference Presentations:

"TXLINUX: MANAGING AND SUPPORTING HARDWARE TRANSACTIONAL MEMORY IN AN OPERATING SYSTEM", 21ST ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES OCTOBER 2007

Awards

• AWARDS SOSP 2007 AUDIENCE CHOICE BEST PAPER:
  TXLINUX: MANAGING AND SUPPORTING HARDWARE TRANSACTIONAL MEMORY IN AN OPERATING SYSTEM
   
• CACM INVITED ARTICLE FOR SUMMER 2008: 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"
   
• IEEE TOP PICK FOR 2008: HANY E. RAMADAN AND CHRISTOPHER J. ROSSBACH AND DONALD E. PORTER AND OWEN S. HOFMANN AND ADITYA BHANDARI AND EMMETT WITCHEL, "METATM/TXLINUX: TRANSACTIONAL MEMORY FOR AN OPERATING SYSTEM"
     
• STANFORD UNIVERSITY

  Stanford Scholar Athlete 1988-1991 (Varsity Soccer)

Research Experience

• UNIVERSITY OF AUSTIN COMPUTER SCIENCE DEPARTMENT, AUSTIN, TEXAS USA

  Research Assistant August 2005 to present

  • Worked on team to develop TxLinux/MetaTM, a simics-based Hardware transactional memory model, and variant of Linux that uses transactional memory for synchronization.

  • Worked on team to develop Clarify, a tool for improving software error reporting leveraging machine learning and program control flow.

Service

COMMITTEE MEMBER, GRADUATE FACULTY RECRUITING COMMITTE, UNIVERSITY OF TEXAS COMPUTER SCIENCE DEPARTMENT, 2008

Professional Experience

CANESTA, INC., SAN JOSE, CA USA

Software Systems Consultant October 2004 to present

RESPONSIBLE FOR DEVELOPMENT OF TOOLS AND SAMPLE APPLICATIONS FOR ELECTRONIC PERCEPTION SDK AND TIME-OF-FLIGHT RANGE SENSORS. DEVELOPED DIRECTX VISUALIZATION AND SIGNAL PROCESSING TOOLS FOR RENDERING 3D MODELS OF DATA COLLECTED FROM DEPTH, BRIGHTNESS, AND RGB IMAGE SENSORS.
   
SYMBOL TECHNOLOGIES/@pos.com INC., SAN JOSE, CA USA

Lead Systems Architect September 2000 to February 2004

RESPONSIBLE FOR REQUIREMENTS GATHERING AND SYSTEMS LEVEL ARCHITECTURE SPECIFICATION FOR A NUMBER OF PROJECTS INCLUDING ENTERPRISE-WIDE POINT-OF-SALE APPLICATIONS. RESPONSIBLE FOR ARCHITECTURE DEFINITION PROCESSES FOR SECUREGLASS, A TOUCH-SCREEN ASIC INTEGRATION PROJECT PROVIDING PKI AND 3DES ENCRYPTION SERVICES AS WELL AS PIN PAD, SIGNATURE CAPTURE AND VERIFICATION SERVICES ON A CHIP EMBEDDED IN TOUCH-SCREENS. SOLE ARCHITECT AND DEVELOPER FOR A SIGNATURE-BASED BIOMETRIC AUTHENTICATION SERVER BUILT ON TOP OF BEA WEBLOGIC, AND ORACLE 8I.
   
SAVI TECHNOLOGIES, INC., SUNNYVALE, CA USA

Software Architecture Consultant October 2000 to December 2000

ARCHITECTURE AND DEVELOPMENT ROLES CONTRIBUTING TO SMART-CHAIN SUPPLY-CHAIN-VISIBILITY PLATFORM. PROJECTS INCLUDED ARCHITECTURE REVIEW, AND PROTOTYPING OF EJBS AND PL/SQL MODULES, AND SPECIFICATION, DESIGN, AND IMPLEMENTATION OF THE BILLING SYSTEM FOR SMARTCHAIN.
   
IFOODNET, INC., OAKLAND, CA USA

Systems Architect May 2000 to December 2000

RESPONSIBLE FOR SYSTEMS-LEVEL ARCHITECTURE, DESIGN AND IMPLEMENTATION OF IFOODNET.COM'S B2B SUPPLY-CHAIN MANAGEMENT SERVICE. SERVICE IMPLEMENTED AS JAVA SERVLETS AND EJBS RUNNING ON TOP OF BEA'S WEBLOGIC SERVER, SUN'S JAVA WEB SERVER, ORACLE 8I.
   
PENWARE/MOBINETIX/RECEIPTCITY.COM INC. PALO ALTO, CA USA

Engineer, Systems Architect June 1992 to April 2000

• Responsible for end-to-end systems-level architecture for ReceiptCity.com's eNetx services. System services include both browser and point-of-sale device front ends, providing payment-processing, electronic receipts, advertising and other services through back-end server clusters.
• Development of signature recognition and validation algorithms
• Spreadsheet engine architect and primary developer for Mobinetix PenCell Spreadsheet which runs on a number of PDAs and handheld devices including Sharp Wizard, Sharp Zaurus, and devices which support General Magic's Magic Cap.

Additional Information

Professional Guitarist: I play in a number of professional music groups, teach guitar, and do a good deal of recording session work. I play a broad range of styles and currently have over 20 CD credits.

Yoga Instructor: I taught Iyengar Yoga at the Yoga Center of Palo Alto and Ashtanga Yoga at It’s Yoga in San Francisco CA from 1997-2005, and currently teach at Castle Hill Fitness in Austin TX.