Graduate Students
Currently I am working with the following graduate students:
- Yinlei Yu: Boolean Satisfiability:
Analysis and Algorithms
- Yogesh
Mahajan: Runtime Validation
- Carven
Chan: Validation Methodology
- Daniel
Schwartz-Narbonne: Validation Methodology
- Arnab Sinha: System
Verification
- Divjyot
Sethi: System Verification
Graduated Ph. D.
Students
- Kaiyu
Chen: Runtime Validation for Concurrent Processors (2009, First job: Intel Corp)
- Daijue Tang: Boolean Satisfiability: Analysis and Algorithms (2007, First
job: Cadence Design Systems)
- Zhaohui Fu: Boolean Satisfiability: Analysis and Algorithms (2007, First
job: Cadence Design Systems)
- Fen Xie: Low power systems (2007,
First job: EMC Corporation)
- Shaojie Wang: Device Driver
Synthesis for Embedded Systems (2005, First job: Synopsys Inc., CA)
- Hangsheng Wang: Power Issues in
Systems-on-a-Chip (2005, First job: Freescale,
Austin, TX)
- Xinping Zhu: On Chip Communication
Architectures (2005, First job: Northeastern University)
- Zhining Huang:
Application Specific Processing using Dynamically Reconfigurable Datapaths (2004, First job: Synplicity,
CA)
- Subbu
Rajagopalan: Retargetable Compilation Support
for Irregular Embedded Processors (2004, First job: Synopsys, India)
- Wei Qin: Modeling and Description of
Embedded Processors for the Development of Software Tools (2004, First
job: Boston University)
- Manish Vachharajani: Microarchitecture Modeling for Design Space
Exploration (2004, First job: University of Colorado, Boulder)
- Lintao
Zhang: Boolean Satisfiability: Analysis and
Algorithms (2003, First job: Microsoft Research, CA)
- Winner:
2003 ACM/SIGDA Award for Best Dissertation in Electronic Design
Automation
- Ying Zhao: Accelerating Boolean Satisfiability (2001)
- Somnath Ghosh: Static Cache Analysis
(1999, First job: Intel Corp., CA)
- Ashok Sudarsanam: Retargetable Code Generation for Fixed-Point DSPs (1998,
First job: Inktomi Inc., CA)
- Yau-Tsun
Steve Li: Performance Analysis of Embedded Software (1997, First job:
Hewlett-Packard, CA)
- Guido Araujo: Retargetable
Code Generation for Fixed-Point DSPs (1997: First job: UNICAMP, Brazil)
- Vivek Tiwari: Power Issues in VLSI Systems (1996,
First job: Intel Corp., CA)
- Horng-Fei Henry Jyu:
Statistical Timing Analysis for Digital Circuits (1994)