Chunying Zhao
Ph.D.
Department of
Computer Science
The
E-mail: czhao@utdallas.edu
Please visit my new website at: http://www.wiu.edu/users/cz103/
Brief Biography
Chunying Zhao got the Ph.D. degree from the Computer Science department of The University of Texas at Dallas in August 2010, under the guidance of Professor Kang Zhang in the Visual Computing Lab.
Before that 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 ~ 2010).
•Doctoral
Scholarship, The University of Texas at Dallas, (full tuition and fee waiver
plus monthly stipend, 2005 ~ 2010).
•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), Vol. 36, No. 3, May-June 2010,
pp. 431 - 448.
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.
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),
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),
Chunying Zhao, Jun Kong, and Kang Zhang, "Design Pattern Evolution and Verification
Using Graph Transformation", Proc. 40th Annual
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 ~ August 2010)
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
updated August 2010.