Towards Analysis-based Program Debugging
The Faculty of Informatics is pleased to announce a seminar given by Jianjun Zhao
DATE: Thursday, May 31st 2012
PLACE: University of Lugano, room SI-008, Informatics building (Via G. Buffi 13)
Debugging has long been a laborious task for software developers.
Despite the existence of various automated debugging techniques, the practical debugging activities are mainly manual and interactive. It is difficult to mechanically deal with diversified bugs, some of which may be extremely tricky. Thus the development of efficient debugging techniques is strongly needed in the field. In this talk, I will introduce several techniques, developed in our STAP group, for making debugging activities more efficient and practical. Our early experiences of using these techniques on real-world complex software (such as Apache Hadoop Common) have shown the promise of the directions.
Jianjun Zhao is a professor of computer science at Shanghai Jiao Tong University. His primary research interest is software reliability, which spans the spectrum from programming languages, through program analysis, to software engineering. Jianjun is interested in all the approaches for helping programmers write and maintain reliable software, and particularly interested in developing program analysis and software testing techniques to facilitate software reliability.
Jianjun obtained his PhD in Computer Science from Kyushu University in 1997 and his BE in Computer Science from Tsinghua University in 1987.
HOST: Prof. Walter Binder