Chunying Zhao

         Ph.D. Candidate

Department of Computer Science
The University of Texas at Dallas

E-mail: czhao@utdallas.edu

 

Brief Biography

Chunying Zhao is a Ph.D. student in the Computer Science department of The University of Texas at Dallas, under the guidance of Professor Kang Zhang in the Visual Computing Lab since August 2005.

She received a Master degree in computer science from UT Dallas in August 2008. Previously, she received her B.E and M.E in computer science from Nankai University in 2002 and 2005, respectively.

 

 

Research Interests

Software Engineering: Program Verification and Analysis, Reverse Engineering, Visual Modeling Languages, Model Driven Development, Mining Software Engineering Data.

Information Visualization: Software Visualization, Cross-referencing Visualization, Computer Graphics.

Human-Computer Interaction: Adaptive Interface Design, Usability Study.

Web Services: Service Composition, Runtime Behavior Verification.

 

Awards & Honors

•HP Lab Innovation Program Research Award (2009-1047-1-A) (Partially supported since Sept. 2009)

•Teaching Assistantship, The University of Texas at Dallas (2005 ~ 2009).

•Research Assistantship, The University of Texas at Dallas (2009 ~ present).

•Doctoral Scholarship, The University of Texas at Dallas, (full tuition and fee waiver plus monthly stipend, 2005 ~ present).

•Research Scholarship, Institute of Robotics and Automation, Nankai University (2004 ~ 2005).

•Student Scholarship, Nankai University (1999 ~ 2003).

 

Peer Reviewed Publications

       Journal Papers

Chunying Zhao, Jun Kong, and Kang Zhang, "Program Behavior Induction and Verification: A Graph Grammar Approach", IEEE Transaction on Software Engineering (TSE), accepted for publication, 2009.

Jun Kong and Chunying Zhao, "Visual Language Techniques for Software Development", Journal of Software, Vol. 19, No. 8, August 2008, 1902-1919.

Chunying Zhao, Jun Kong, Jing Dong, and Kang Zhang, "Pattern-based design evolution using graph transformation",  Journal of Visual Language and Computing (JVLC), August 2007, Vol. 18, No. 4, 378-398.

Jingtai Liu; Lei Sun, Tao Chen, Xingbo Huang, and Chunying Zhao, "Research on Competitive Teleoperating Robot System", Robot, Vol. 27, No. 1, 2005: 68-72.

Chunying Zhao and Kang Zhang, "SoftLink: Visualizing Correlations Among Multiple Program Executions", IEEE Transaction on Software Engineering (TSE), under review.

Jie Hao, Chad Gabrysch, Chunying Zhao, and Kang Zhang, "A General Methodology for Visualizing Hierarchical Information on Mobile User Interfaces", Submitted to Journal of Visual Language and Computing.

       Book Chapters

Chunying Zhao and Kang Zhang, "A Graph Grammar Approach to Behavior Verification of Web Services", High Assurance Services Computing, ISBN: 978-0-387-87657-3, Springer, May 2009, pp. 127-143.

       Conference Papers

Chungying Zhao, Kang Zhang, Jie Hao, and Eric W. Wong, "Visualizing Multiple Program Executions to Assist Behavior Verification", Proc. IEEE International Conference on Secure Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July, 2009, pp. 113-122, IEEE Press. (Accept rate 23%)

Chunying Zhao, Kang Zhang, and Yu Lei, "Abstraction of Multiple Executions of Object-Oriented Programs", Proc. 24th Annual ACM Symposium on Applied Computing (SAC09), Honolulu, 8-12 March 2009, pp. 549-550, ACM Press.

Chunying Zhao and Kang Zhang, "A Grammar-Based Reverse Engineering Framework for Behavior Verification", Proc. 11th IEEE International Symposium on High Assurance Systems Engineering (HASE08), Nanjing, China, 3-5 December 2008, pp. 449-452, IEEE Press. (Acceptance rate 28%)

Chunying Zhao, Kevin Ates, Jun Kong, and Kang Zhang, "Discovering Programs Behavioral Patterns by Inferring Graph-Grammars from Execution Traces", Proc. 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI08), Dayton, 3-5 November 2008, pp. 395-402, IEEE Press. (Acceptance rate 29%)

Chunying Zhao and Kang Zhang, "Transformational Approaches to Model Driven Architecture - A Review", Proc. 31st Annual Software Engineering Workshop (SEW 2007), Baltimore, MD, 6-8 March 2007, pp. 67-74, IEEE Press.

Chunying Zhao, Jun Kong, and Kang Zhang, "Design Pattern Evolution and Verification Using Graph Transformation", Proc. 40th Annual Hawaii International Conference on System Science (HICSS 40), Big Island, Hawaii, 3-6 Jan. 2007, pp. 290a. 

Jingtai Liu, Lei Sun, Tao Chen, Xingbo Huang, and Chunying Zhao, "Competitive Multi-robot Teleoperation", Proc. 2005 IEEE International Conference on Robotics and Automation (ICRA 2005), 18-22 April 2005, Barcelona, Spain, pp. 75- 80, IEEE Press. (771 out of 1700, Acceptance rate 45%)

Chunying Zhao, Jingtai Liu, Yujuan Li, Tao Chen, and Lei Sun, "Virtual Repulsive Force in Competitive Multi-Robot Teleoperation", Proc. International Conference on Information Technology and Applications (ICITA 2005), Sydney, 4-7 July, 2005, pp. 15-20, IEEE Press. (Acceptance rate 26%)

Jingtai Liu, Tao Chen, Lei Sun, Shuihua Wu, Xingbo Huang, and Chunying Zhao, "Telegame, A New Type of Teleoperation", Proc. 5th World Congress on Intelligent Control and Automation (WCICA 2004), 15-19 June 2004, Hangzhou, China, 4741-4744, IEEE Press.

Lei Sun, Jingtai Liu, Guizhang Lu, Shuihua Wu, Xingbo Huang, and Chunying Zhao, "Internet-Based Telegame", Proc 5th World Congress on Intelligent Control and Automation (WCICA 2004), 15-19 June 2004, Hangzhou, China, 2004, 4933-4936, IEEE Press.

Jie Hao, Chunying Zhao, Pushpa Kumar, and Kang Zhang, “High-Level Views of Multidimensional Information”, Submitted to IEEE 2009 Information Visualization Conference (InfoVis’09).

Pushpa Kumar, Chunying Zhao, and Kang Zhang, “Graph Visualization Methods: A Review”, Submitted to ICIS.

       Technical Reports

Chunying Zhao, and Kang Zhang, "SoftLink: Visualizing Correlations Among Multiple Program Executions", UTDCS-34-09, Department of Computer Science, The University of Texas at Dallas, September 2009.

Jie Hao, Chunying Zhao, Pushpa Kumar, and Kang Zhang, "Infoshape: High-Level Views of Multidimensional Information", UTDCS-11-09, Department of Computer Science, The University of Texas at Dallas, May 2009.

       Master Thesis

Chunying Zhao, "The Design of Embedded Real-time Operating System on Portable Wireless Ordering terminals", Nankai University, China, 2005.

 

Professional Activities

     Review for journals and conferences

Book Chapters of High Assurance Services Computing, Springer, ISBN: 978-0-387-87657-3, 2009.

International Journal of Software Engineering and Knowledge Engineering (IJSEKE).

Journal of Software (JSW), Academy publisher.

Journal of Zhejiang University - SCIENCE A (SCI-E).

ACM 25th Symposium on Applied Computing (SAC 2010).

IEEE 8th International Conference on Computer and Information Technology (CIT 2008), Sydney, Australia, 8-11 July 2008.

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC’09), Herrsching am Ammersee, Germany, 15-19 September 2008.

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC’08), Herrsching am Ammersee, Germany, 15-19 September 2008.

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC’07), Coeur d'Alène, Idaho, USA, 23-27 September 2007.

IEEE International Conference on Information Reuse and Integration (IRI07), Las Vegas, USA, 13-15 August 2007.

2nd International Conference on Software and Data Technologies (ICSOFT 2007), Barcelona, Spain, 22-25 July 2007.

11th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2007), Nanjing, China, 22-25 May 2007.

18th Australian Conference on Software Engineering (ASWEC07), Melbourne, Australia, 10-13 April, 2007.

8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), Tsingtao, China, July 30- August 1, 2007.

6th International Conference on Web-based Learning (ICWL07), Edinburgh, UK, 15-17 August 2007.

     Talks

IEEE 31st Annual Software Engineering Workshop (SEW 2007), Baltimore, MD, USA, 6-8 March 2007, Transformational Approaches to Model Driven Architecture - A Review.

Seminar of Computer Graphics & Animation Lab at UT-Dallas, May, 2008, Pattern-based design evolution using graph transformation.

     Conference Organization

Helped to organize IEEE Symposium on Visual Language and Human-Centric Computing (VL/HCC’05), Dallas, Texas, 21-24 September 2005.

     Membership of Association

         Association for Computing Machinery, student member.

 

     Teaching Experiences

     The University of Texas at Dallas, Texas

     Eric Jonsson School of Engineering and Computer Science

     A total of 11 semesters

     (August 2005 ~ May 2009)

 

     Teaching Assistant

CS6368 Telecommunications Network Management (Prof. Nhut Nguyen) for 3 semesters

CS4337 Organization of Programming Languages (Prof. Sam Karrah) for 3 semesters.

CS3375 Principle of UNIX (Prof. Greg Orzbirn)

CS2336 Compute Science II (Java Programming) (Prof. Herman Harrison and Prof. Bhowmik) for 4 semesters.

CS2310 Introduction to Digital Systems (Prof. Herman Harrison) for 2 semesters

CS1337 Computer Fundamentals (Prof. Tim Farage)

CS 1336 Computer Science I (C++ programming) (Prof. Sam Karrah)

 

     Tutoring (Standing in the classroom)

CS 4141 Digital System Lab(Prof. Ivor Page)

CS 3340 Computer Architecture Lab (Prof. Herman Harrison) for 2 semesters

CS 2337 Java Programming Lab II (Prof. Steinhorst Cort) for 3 semesters

CS 1336 Java Programming Lab I (Prof. Steinhorst Cort)

CS 1136 Computer Science Lab (Prof. Sam Karrah) for 2 semesters

 

 

     Research Experiences

 

     Visual Computing Lab, Department of Computer Science

     The University of Texas at Dallas, Texas

     (August 2005 ~ present)

 

      Selected Research Projects

Content Transformation for Web Pages (collaborated with HP Research Lab)

Pattern Mining and Visualization for Dynamic Program Behavior Analysis

3D Visualization the Correlation of Multiple Software Behavior

Evolution of Design Patterns Using Graph Transformation

Model Driven Development on Visual Languages

Formalization and Verification on Web Service Behaviors based on Visual Language