Yung-Pin Cheng (鄭永斌）
Department of Computer Science and Information Engineering
National Central University
phone: 886-3-4227151 ext 35210
► Object-Oriented Lab 物件導向實驗室
► biographical information
► professional page (research)
► professional activities
► courses homepage: 2010 fall semester: (課程網頁）
Advanced Object Oriented Technology (進階物件導向技術)
Object-Oriented Programming Language OOPL
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.
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
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.
My research interests include different topics of Software Engineering, such as (updated 2012/1/20)
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 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.
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