[LLVMdev] June 2007 LLVM Developer's Meeting

[Ryan Brown]

I can't make it on the 22nd, but I will be there if it's on the 29th.
Ryan Brown

On 3/23/07, Reid Spencer <rspencer at reidspencer.com> wrote:
> 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
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>