[LLVMdev] June 2007 LLVM Developer's Meeting

[Reid Spencer]

Hi Sarah,

On Fri, 2007-03-23 at 15:11 -0700, Sarah Thompson wrote:
> I'll almost certainly come along, possibly with one or two other NASA 
> people. 

Great!  If/when you know their names, have them drop me a line here. I'd
rather put down names than "Sarah+2". Thanks.

> I could give a talk on our work using LLVM to support model 
> checking, symbolic execution and static analysis if anyone is interested.

Very cool! I think there would be lots of interest.   You're on!

Thanks,

Reid.

> 
> Sarah Thompson
> RSE/6G, NASA Ames
> >   
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev