• Utilize program analysis to decide in Java whether some objects could be allocated on stack to improve runtime performance;
• Take advantage of the static garbage collection technique to predicate which object will become garbage, automatically insert free statements in the source code to reduce runtime garbage.

• Responsible for the implementation of a certifying compiler - PLCC which guarantees basic safety properties such as absence of null dereferences, absence of dangling dereferences, no memory leak etc.;
• Implemented part of the front end and part of the code emission module in the compiler;
• Proposed an innovative model to characterize the memory structure on which the pointer analysis was carried out to ensure safety properties; implemented the core module for the analysis;
• Designed highly efficient algorithms for automatic pointer analysis; optimized the algorithms and the modules, implemented and optimized the COOPER algorithm and successfully reduced its runtime by 10+ times;
• Verified the safety properties of the core algorithm in garbage collector – the Schorr- Waite algorithm;
• Wrote and published 3 English research papers.

Sep, 2003 – Jul, 2005   Intel XScale IXP Project

• Implemented the IPV4 forwarder on network processor IXP2400, Ethernet package forwarding module and a package filter;
• Tested the source code and finished the undergraduate thesis on the project;
• Designed experiments for network processor course, TA of Computer Networks.

Sep, 2002 – Jul, 2003   Management Information System ： Information Science Center of USTC

• Established database development environment: Oracle8i+Sun solaris+PHP+Apache;
• Designed a relational database for MIS via ER modeling, created the database through build scripts, managed and maintained the database;
• Solved the character set problem during development.

• Experienced in C++ programming, ever wrote over 20,000 lines of C++ code: implemented an instant messenger with support for multiple clients, blacklist, file transfer etc.; a simple database management system which could read and execute SQL sentences; a game demo named Wumpus World in Advanced Artificial Intelligence
  class; an application of RSA algorithm in digital signature etc.;
• Familiar with Oracle, SQL, Java, C, assembly language, knowledgeable in Perl, J2ME, shell code programming, STL;
• Proficient in functional programming , implement a compiler in SML.

• Pass CET-6 with an outstanding score. Have a good command of both spoken and written English, able to communicate with foreign customers freely;
• Learn Japanese for two years, know daily dialogues.

Outstanding Student Scholarship (bronze)

Publications

• Automated Verification of Pointer Programs in Pointer Logic. WANG Zhifang , CHEN Yiyun, WANG Zhenming, HUA Baojian. Frontiers of Computer Science in China, 2(4), pp.380-397, 2008.12.
• Implementation of Pointer Logic for Automated Verification . Zhifang Wang , Yiyun Chen, Zhenming Wang, Wei Wang and Bo Tian. In Proceedings of 1st International Symposium on Trusted Computing (TrustCom08) , pp. 2295-2301, Zhangjiajie , China , Nov. 2008. IEEE Computer Society. [pdf]
• An Extension to Pointer Logic for Verification . Zhifang Wang , Yiyun Chen, Zhenming Wang, Wei Wang and Bo Tian. In Proceedings of 2nd IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE08) , pages 49-56, Nanjing , China , Jun. 2008. IEEE Computer Society.[bib, pdf]
• APL: An Automated Theorem Prover for Pointer Logic.WANG Zhen-Ming, CHEN Yi-Yun, WANG Zhi-Fang. Journal of Software. (Accepted, to appear)
• A Pointer Logic for Verification of Pointer Programs. CHEN Yi-Yun , LI Zhao-Peng, WANG Zhi-Fang, HUA Bao-Jian. Journal of Software. (Accepted, to appear)
• Design and proof of a safe programming language PointerC. Baojian Hua, Yiyun Chen, Zhaopeng Li, Zhifang Wang , and Lin Ge. Chinese Journal of Computers , 31(4):556-564, April 2008. [bib, pdf]
• A pointer logic for safety verification of pointer programs. Yiyun Chen, Baojian Hua, Lin Ge, and Zhifang Wang. Chinese Journal of Computers , 31(3):372-380, March 2008. [bib, pdf]
• A pointer logic and certifying compiler. CHEN Yiyun, GE Lin, HUA Baojian, LI Zhaopeng, LIU Cheng, WANG Zhifang . Frontiers of Computer Science in China , 1(3), pp. 297-312, 2007.8. [bib, pdf]

Gender: Male    Birthday: Aug, 24th, 1982        Birthplace: Pingxiang, Jiangxi, P.R.C.