Faculty
Current Graduate Students/Post-Docs
Equivalence checking can be used to ensure the correctness of hardware by comparing one implementation with another correct implementation or specification. This equivalence is not necessarily a cycle-to-cycle matching. Our methodology adopts the Instruction-level Abstraction (ILA) to model accelerators from the perspective of their…
I am currently working on applying the instruction-level abstraction (ILA) methodology to solve the software/hardware co-verification problem in systems-on-chip (SoC). ILA is a formal model that abstracts hardware modules at the architecture level and describes hardware functionalities as a set of instructions, as in processors. This…
I finished my freshman and sophomore study in Zhejiang University in China. Then, in the summer of 2011, I transferred to University of Illinois at Urbana-Champaign (UIUC) in the USA. I received my Bachelor’s Degree in Electrical and Computer Engineering from UIUC last May. This multicultural experience gives me fresh thoughts and strong…
I graduated from Sharif University of Technology with BSc (2009) and MSc (2012) in Electrical Engineering-Electronics. My master thesis was design and implementation of time and frequency synchronizer applied to down-link of LTE. Currently, I am working in Sharad's group as a PhD student, where my research is building a general mathematical…
Alumni
- Charlie Shucheng Zhu: (2016, First position, Google)
- Sunha Ahn: (2016, First position, Google)
- Sayak Ray: (Post-Doc) (2016, First position: Intel Corp.)
- Shuyuan Zhang: Computer Network Verification and Management Using Constraint Solvers (2016, First position: Google)
- Yavuz Yetim: Streaming Computation on Error-Prone Programmable Platforms (2015, First position: Google)
- Divjyot Sethi: Scaling Verification by Leveraging Parameterization (2014, First position: Intel Corp.)
- Daniel Schwartz-Narbonne: Assertions for Debugging Parallel Programs (2013, First position: Post-doc, NYU)
- Arnab Sinha: Trace-based Analyses for Parallel Software (2012, First job: Microsoft Corporation)
- Georg Weissenbacher (Post-Doc): (2012, First job: Vienna University of Technology)
- Kaiyu Chen: Runtime Validation for Concurrent Processors (2009, First job: Intel Corporation)
- 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
- 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: InktomiInc., 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)