|
||
Overview: While there
may be no "silver bullet" for developing error-free software, two trends
point to a practical and effective way of detecting and avoiding errors in
code. The first is the widespread use of programming languages with strong
type systems. The second is improved programming tools that are able to
statically or dynamically identify errors in programs. Both approaches
leverage the fact that if programmers provide redundant descriptions of
aspects of a program's intended behavior (either as types and annotations
in the code, or as property specifications), compilers and other tools can
check that the program conforms to these specified aspects. The approach
of checking a program against such partial specifications faces a number
of open and challenging research problems:
Details: This "Birds-of-a-Feather" session is a very informal and interactive gathering of people interested in the topics of using specifications and analysis to detect errors in programs. There will be a chance to make very short informal presentations (5 minutes each) on your project, new results, or wild ideas. We'll also interactively develop a list of what the fundamental problems in this area are.
If you are interested in making a 5 minute presentation at the BoF, please send e-mail to the organizers (see below) or just show up! |
||
| Organizers: |
