Current Graduate
Students
- Yi Li
- Qinhan
Tan
- Yu-An Shih
- Sophia
Zhang
- Nathan
Kaplan
- Yu-Wei
Fan
Current Post-Docs
Group Post-Doc and
PhD Alumni
- Huaixi
Lu (PhD): Specifications to Enable Formal Verification for Hardware and Protocols
(2024, First position, Amazon)
- Yu
Zeng (PhD): Automatic Generation of Hardware Abstractions from
Register-Transfer Level (RTL) Designs (2024, First position, NVIDIA)
- Zhixing
Xu (PhD): Hardware-Supported Computer Security - Detection, Diagnosis and
Defense (2023, First position, Amazon)
- Yue
Xing (PhD): Enabling SoC Verification through Instruction-Level Hardware
Models (2023, First position, Waymo)
- Bo-Yuan
Huang (PhD): Instruction-Level Abstraction for Program Compilation and
Verification in Accelerator-Rich Platforms (2022, First position, Intel
Corporation)
- Hongce
Zhang (PhD): The Hardware-Software Interface for Systems-on-Chip: Formal
Modeling and Modular Verification (2021, First position, Hong Kong
University of Science and Technology, Guangzhou Campus)
- Qi
(Jade) Nie (PhD): Memory-Driven Data-Flow Optimization for Neural
Processing Accelerators (2020, First position, Facebook)
- Burcin
Cakir (PhD): Addressing
Integrated Circuit Integrity Using Statistical Analysis and Machine
Learning Techniques (2018, First position, Harvard post-doc)
- Ameneh
Golnari (PhD): Computing on Large, Sparse Datasets and Error-Prone Fabrics
(2018, First position, Google)
- Pramod
Subramanyan (PhD): Deriving Abstractions to Address Hardware Platform
Security Challenges (2016, First position, UC Berkeley post-doc)
- Winner:
2018 ACM/SIGDA Award for Best Dissertation in Electronic Design
Automation
- Yakir
Vizel (Post-doc) (2017, First position, Technion Faculty)
- Charlie
Shucheng Zhu (PhD): Advances in Fault Diagnosis Automation for Silicon
Prototypes (2016, First position, Google)
- Sunha
Ahn (PhD): Automated Firmware Verification Using Firmware-Hardware
Interaction Patterns (2016, First position, Google)
- Sayak
Ray (Post-Doc) (2016, First position: Intel Corp.)
- Shuyuan
Zhang (PhD): Computer Network Verification and Management Using Constraint
Solvers (2016, First position: Google)
- Yavuz
Yetim (PhD): Streaming Computation on Error-Prone Programmable Platforms
(2015, First position: Google)
- Divjyot
Sethi (PhD): Scaling Verification by Leveraging Parameterization (2014,
First position: Intel Corp.)
- Daniel
Schwartz-Narbonne (PhD): Assertions for Debugging Parallel Programs (2013,
First position: Post-doc, NYU)
- Nestan
Tsiskaridze: (Post-Doc) (2013, First position: University of Iowa)
- Arnab Sinha (PhD): Trace-based
Analyses for Parallel Software (2012, First job: Microsoft Corporation)
- Georg
Weissenbacher: (Post-Doc) (2012, First job: Vienna University of
Technology)
- Kaiyu
Chen (PhD): Runtime Validation for Concurrent Processors (2009, First
job: Intel Corporation)
- Daijue Tang
(PhD): Boolean Satisfiability: Analysis and Algorithms (2007, First job:
Cadence Design Systems)
- Zhaohui Fu (PhD): Boolean
Satisfiability: Analysis and Algorithms (2007, First job: Cadence Design
Systems)
- Fen Xie (PhD): Low power systems (2007,
First job: EMC Corporation)
- Shaojie Wang (PhD): Device
Driver Synthesis for Embedded Systems (2005, First job: Synopsys Inc., CA)
- Hangsheng Wang
(PhD): Power Issues in Systems-on-a-Chip (2005, First job: Freescale, Austin, TX)
- Xinping Zhu
(PhD): On Chip Communication Architectures (2005, First job: Northeastern
University)
- Zhining Huang (PhD):
Application Specific Processing using Dynamically Reconfigurable Datapaths (2004, First job: Synplicity,
CA)
- Subbu Rajagopalan (PhD):
Retargetable Compilation Support for Irregular Embedded Processors (2004,
First job: Synopsys, India)
- Wei Qin (PhD): Modeling and Description
of Embedded Processors for the Development of Software Tools (2004, First
job: Boston University)
- Manish Vachharajani
(PhD): Microarchitecture Modeling for Design Space Exploration (2004,
First job: University of Colorado, Boulder)
- Lintao Zhang
(PhD): 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 (PhD): Accelerating
Boolean Satisfiability (2001)
- Somnath Ghosh (PhD): Static Cache
Analysis (1999, First job: Intel Corp., CA)
- Ashok Sudarsanam
(PhD): Retargetable Code Generation for Fixed-Point DSPs (1998, First job:
Inktomi Inc., CA)
- Yau-Tsun
Steve Li (PhD): Performance Analysis of Embedded Software (1997, First
job: Hewlett-Packard, CA)
- Guido Araujo
(PhD): Retargetable Code Generation for Fixed-Point DSPs (1997: First job:
UNICAMP, Brazil)
- Vivek Tiwari (PhD): Power Issues in VLSI Systems
(1996, First job: Intel Corp., CA)
- Horng-Fei Henry Jyu (PhD): Statistical Timing Analysis
for Digital Circuits (1994)