Ji Zhang ( pronounced as ) Ph.D. Department of Computer Science & Engineering   Michigan State University Contact information: Ji Zhang 3115 Engineering Building Michigan State University East Lansing, MI 48824-1226 Tel: (517) 355-7953   Fax: (631) 982-0256 Email: zhangji9 (at) cse.msu.edu URL: http://www.cse.msu.edu/~zhangji9

CV    Education    Research Interests    Publications    Upcoming Conferences

Education

Doctor of Philosophy in Computer Science and Engineering, Michigan State University, May 2007

• Advisor: Dr. Betty H.C. Cheng.
• Conducted research in the context of the RAPIDware project with the focus on  correctness issues during dynamic software adaptation and reconfiguration.

• Dissertation title: "A Formal Approach to Providing Assurance to Dynamically Adaptive Software".

Master of Engineering in Computer Software and Theory, Tsinghua University, P.R.China, July 2001.

Bachelor of Engineering in Computer Science and Technology, Tsinghua University, P.R.China, July 1999.

Research Interests

Software Engineering, Formal Methods, Software Evolution and Dynamic Adaptation Techniques, Compiler Techniques, Database, Algorithms & Theory.

Refereed Publications

 Journal articles:

1. Ji Zhang , Zhinan Zhou, Betty H.C. Cheng, and Philip K. McKinley, " Specifying Real-Time Properties in Autonomic Systems." Accepted by Innovations in Systems and Software Engineering . [pdf]

2. Ji Zhang and Betty H.C. Cheng, "Using Temporal Logic to Specify Adaptive Program Semantics." Journal of Systems and Software (JSS), vol. 79, no. 10, pp. 1361-1369, Architecting Dependable Systems, Elsevier, 2006. [pdf]

3. Ji Zhang, Lizhu Zhou, and Xudong Jiang, "Sampling-Based Data Warehouse Storage Space Occupation Estimation Algorithm". Computer Engineering and Application, vol. 37, no. 24, p.104, 2001.

4. Jianhua Feng, Ji Zhang, and Lizhu Zhou, “Data Warehouse Query Buffering and Merging Algorithm. Journal of Computer Applications, vol. 21, no. 9, p. 9, 2001.

Book chapters:

5. Ji Zhang, Betty H.C. Cheng, Zhenxiao Yang, and Philip K. McKinley, "Enabling Safe Dynamic Component-Based Software Adaptation." In Architecting Dependable Systems III, Springer Lecture Notes for Computer Science, 2005. [pdf]

Conference and workshop papers:

2007

6. Ji Zhang, Betty H.C. Cheng, and Heather Goldsby, "AMOEBA-RT: Run-time Verification of Adaptive Software", in Proceedings for Workshop on Models at Run-time , Nashville, Tennessee, October 2007 (selected as a Best Paper).

7. Ji Zhang and Betty H.C. Cheng, "Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation." In Workshop on Modeling in Software Engineering (MiSE'07), Minneapolis, Minnesota, May 2007. [pdf]

2006

8. Ji Zhang and Betty H.C. Cheng, "Model-Based Development of Dynamically Adaptive Software." In Proceedings of the International Conference on Software Engineering (ICSE'06), Shanghai,China, May 2006. [pdf] (Acceptance rate: 36/395=9%) (Received ACM SIGSOFT Distinguished Paper Award)

9. Greg Brown, Betty H.C. Cheng, Heather Goldsby, and Ji Zhang, "Goal-oriented Specification of Adaptation Semantics in Adaptive Systems." In Proceedings of the ICSE'06 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Shanghai, China, May 2006. [pdf]

10. Zhinan Zhou, Ji Zhang, Philip K. McKinley, and Betty H.C. Cheng, "TA-LTL: Specifying Adaptation Timing Properties in Autonomic Systems." In Proceedings of the 3rd IEEE Workshop on Engineering of Autonomic Systems (EASe 2006), Columbia, Maryland, April 2006. [pdf] (Selected as one of the best papers)

2005

11. Daniel M. Berry, Betty H.C. Cheng, and Ji Zhang, "The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems." In Proceedings of the 11th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'05), co-located with CAiSE'05, Porto, Portugal, June 2005.[pdf]

12. Ji Zhang and Betty H.C. Cheng, "Specifying Dynamic Adaptation." In Proceedings of the ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005), co-located with ICSE'05, St. Louis, MO, May 2005. [pdf]

13. Daniel M. Berry, Betty H.C. Cheng, and Ji Zhang, "The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems." (Not in proceedings) Presented in Design and Evolution of Autonomic Application Software (DEAS' 05), co-located with ICSE'05, St. Louis, Missouri, May 2005.

2004

14. Ji Zhang, Zhenxiao Yang, Betty H.C. Cheng, and Philip K. McKinley, "Adding Safeness to Dynamic Adaptation Techniques." In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004), Edinburgh, Scotland, UK, May 2004. [pdf] [Bibtex]

2002

15. Ji Zhang, Jaejin Lee, and Philip K. McKinley. "Optimizing the Java Pipe I/O Stream Library for Performance." In Proceedings of the 15th International Workshop on Languages and Compilers for Parallel Computing (LCPC), College Park, Maryland, USA, July 2002. Published in Lecture Notes in Computer Science (LNCS), Vol. 2481, Springer-Verlag, Berlin, 2005. [pdf]