Current Graduate
Students
- Yu-An Shih
- Sophia
Zhang
- Nathan
Kaplan
- Yu-Wei
Fan
- SooHyuk
Cho
Current Post-Docs
Group Post-Doc and
PhD Alumni
?
Qinhan Tan (PhD): Specification and Verification
of Hardware Security Properties (2025, First position, Apple)
- Yi Li (PhD): Compiler
Support for Deep Learning Accelerators: End-to-End Evaluation and Data
Access Optimization (2024, First position, Meta)
- 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)