Welcome to Zhenkun Yang's Website

Zhenkun Yang

Pic Ph.D Student (2010 -- present)

Computer Science Department
Portland State University

FAB-135
1900 SW 4th Avenue
Portland, Oregon 97201, USA

e-mail: zhenkun<at>cs.pdx.edu

About:

Research Interests:

Publications and Presentations:

  1. Validating Direct Memory Access Interfaces with Conformance Checking. (PDF)
    Li Lei, Kai Cong, Zhenkun Yang, and Fei Xie.
    In Proceedings of International Conference on Computer-Aided Design (ICCAD'14), San Jose, CA, USA, November 2014.
  2. Scalable Equivalence Checking for Behavioral Synthesis.
    Zhenkun Yang. SIGDA Ph.D. Forum at Design Automation Conference (DAC'14), San Francisco, CA, USA, June 2014.
  3. Scalable Certification Framework for Behavioral Synthesis Front-End. (PDF)
    Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, and Fei Xie.
    In Proceedings of 51st Design Automation Conference (DAC'14), San Francisco, CA, USA, June 2014.
  4. Coverage Evaluation of Post-silicon Validation Tests with Virtual Prototypes. (PDF)
    Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie.
    In Proceedings of Design, Automation and Test in Europe (DATE'14), Dresden, Germany, March 2014.
  5. Compiler Transformation Validation in Behavioral Synthesis.
    Zhenkun Yang.
    Student Forum (poster + 5 minutes talk) of International Conference on Formal Methods in Computer-aided Design (FMCAD'13), Portland, OR, USA, October 2013.
  6. Equivalence Checking for Compiler Transformations in Behavioral Synthesis. (PDF)
    Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie.
    In Proceedings of 31st IEEE International Conference on Computer Design (ICCD'13), Asheville, NC, USA, October 2013.
  7. Handling Design and Implementation Optimizations in Equivalence Checking for Behavioral Synthesis. (PDF)
    Zhenkun Yang, Kecheng Hao, Sandip Ray, and Fei Xie.
    In Proceedings of 50th Design Automation Conference (DAC'13), Austin, TX, USA, June 2013.
  8. Automated Synthesis of Passive Analog Filters Using Graph Representation.
    Zhaohui Gan, Zhenkun Yang, Tianyou Yu, and Min Jiang.
    Expert Systems With Applications, 37(3), 1887-1898, March, 2010.
  9. Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming.
    Zhaohui Gan, Zhenkun Yang, Gaobin Li, and Min Jiang.
    In the 7th International Conference on Evolvable Systems: From Biology To Hardware (ICES'07), Wuhan, China, 2007.

Created: 2014-11-26 Wed 19:39

Validate