People

Faculty

Current Graduate Students/Post-Docs

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)