On 3/23/07, Sarah Thompson <thompson at email.arc.nasa.gov> wrote: > I'll almost certainly come along, possibly with one or two other NASA > people. Awesome! > I could give a talk on our work using LLVM to support model > checking, symbolic execution and static analysis if anyone is interested. > I'd be interested. -bw