Displaying 1 result from an estimated 1 matches for "sess3".
Did you mean:
sess
2007 Apr 04
1
[LLVMdev] May 25th 2007 Developers Meeting (Update)
> On Sat, Mar 31, 2007 at 03:11:44PM -0700, Reid Spencer wrote:
>
>> If you haven't confirmed your attendance yet, please do so by
>> responding to this email.
>>
Just to confirm, I do intend to come along. Are you still interested in
me giving a talk on NASA's work on using LLVM to support model checking,
symbolic execution and static analysis? If so,