[LLVMdev] June 2007 LLVM Developer's Meeting

Bill Wendling isanbard at gmail.com
Fri Mar 23 15:43:05 PDT 2007

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.


> 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.


More information about the llvm-dev mailing list