A New Generation of Systematic Programming Tools
James Larus
Microsoft Research
Wednesday May 15, 10:30am
2310CS
Abstract:
Improving software and software development requires a new generation of
programming languages and tools that make it possible to apply the
enormous computational resources on a programmer's desk to the problem
of finding errors and inconsistencies in programs. Although these tools
alone will not find, let alone eliminate all programming errors, they
have already demonstrated that they can improve program quality and
reduce development cost. The Software Productivity Tools group in
Microsoft Research has developed a variety of programming tools, which
use simple, partial specifications and sophisticated program analysis to
find errors systematically. This talk argues that this approach is
beneficial, describes some existing tools, and points out the many open
research directions.
|