Software Productivity Tools and Program Analyses

March 24, 2003 -
10:15am to 11:15am
3-125 EE/CS
Ever-increasing demands and complexity of software systems have constantly called for improvement in software quality and programming productivity. Software quality and programming productivity greatly depend on the capabilities of programmers in reasoning about, understanding, and verifying software artifacts. Such capabilities can be improved through the use of software tools that automate various software development tasks.

In this talk, I will discuss challenges that we face in building and evaluating software tools. I will also discuss ongoing research that attempt to address these challenges. I will present in more details an expirment-directed approach that I use to tackle some
of the challenges in developing program analysis techniques that can be used to construct software tools.