Current Graduate Students

Current Post-Docs

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)