Yung-Pin Cheng  (鄭永斌）                                        
Associate Professor

Department of Computer Science and Information Engineering
National Central University
email: mailto:ypcheng@csie.ncu.edu.tw
phone: 886-3-4227151 ext 35210

Download

bugtrackinganddebugging.pptx

Links

  ►  Object-Oriented Lab 物件導向實驗室

  ►  biographical information
  ►  professional page (research)
  ►  professional activities
   ►  courses homepage: 2010  fall semester:  (課程網頁）

           Advanced Object Oriented Technology  (進階物件導向技術)

           Object-Oriented Programming Language OOPL
  

  Hsu2624.KBD

diva\demo.wmv

diva\demo2.wmv

diva\demo3.wmv

Biographical Information

Yung-Pin Cheng received his B.S. and M.S. in Computer Science from National Chiao Tung University, Taiwan, in 1989 and 1991 respectively. He received his Ph.D. in computer science from Purdue University, West Lafayette, U.S. 2000. His major research interest is in software engineering. He has published his papers in some important software engineering conference and journals, including SIGSOFT Foundation of Software Engineering (FSE), SIGSOFT ISSTA (International Symposium on Software Testing and Analysis). His research topics include automatic software verification, software visualization, object-oriented design and analysis. He likes to build software engineering tools to try out new ideas.

Professional activities

2008 ACM OOPSLA - paper presentation
2008 ACM SAC - paper presentation
2006 ICSEA - program committee
2005 SPIN    - paper presentation
2005 SEKE   - invited session organizer
2005 ATVA  - program committee
2004 ATVA  - program committee
2003 ATVA  - program committee
2003 ACMSIGSOFT FSE      - paper presentation
2002 ACMSIGSOFT ISSTA  - paper presentation 

Professional pages

              The Babel Tower

    Build Software With Tools

Software is built by humans. Unfortunately, human makes errors, lots of errors. Through out human history, humans have learned to craft machines and tools to help them build complex architects.   Effective software engineering tools are what we are searching for.  This summarizes the research goal of software engineering lab in NTNU.

Research Interests 

My research interests include different topics of Software Engineering, such as  (updated 2012/1/20)

• Software Visualization (3D Debugging Visualization, Program animations...)
• Software Testing and Test Automation
• Program Comprehension -
• Object-Oriented Analysis and Design
• Source code quality and metric
• Software Engineering
• Social Network
• 3D Gaming
• Computer-Aided Software Engineering tools.
• Software Engineering in the Clouds.
• Practical Software Engineering problems.
• Practical Programming techniques and methods
• Software verifications for concurrent/multithreaded applications (model checking).
• Computer Science Education

The following is a sub list of projects which are under developing or completed in Software Engineering Lab  (SEL).
Many of our research fruits will be released and shared to research community once they reach certain stability.
Last Updated: 2005/5/24

• ArCats  (Architecture Refactoring and Compositional Analysis Tool Suite)

            ArCats is a concurrency analysis tool which is enhanced by architecture refactoring to increase  the scalability of compositional analysis.
Its front-end language is a subset of Promela enhanced  with architecture refactoring.
Links: ArCats.htm

• Awk-Linux

            AWK-Linux is an educational O.S. implemented by program instrumentation. It can be executed under Linux or Windows (with Cygwin), allowing students to  implement O.S. projects with source code in Linux flavor. 
Links: awklinux.htm

-----------------------------------------------------------------

student_tutorials_for_verification.rar