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. Sarah Thompson RSE/6G, NASA Ames>
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
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
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 >