From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dan.carpenter@oracle.com>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
	[172.17.192.35])
	by mail.linuxfoundation.org (Postfix) with ESMTP id 029164D3
	for <ksummit-discuss@lists.linuxfoundation.org>;
	Wed, 14 May 2014 11:06:53 +0000 (UTC)
Received: from userp1040.oracle.com (userp1040.oracle.com [156.151.31.81])
	by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 9BB521FD49
	for <ksummit-discuss@lists.linuxfoundation.org>;
	Wed, 14 May 2014 11:06:53 +0000 (UTC)
Date: Wed, 14 May 2014 14:06:40 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
To: tytso@mit.edu
Message-ID: <20140514110640.GB22735@mwanda>
References: <20140509170709.GA9747@redhat.com>
	<20140509205758.GA26089@thunk.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20140509205758.GA26089@thunk.org>
Cc: ksummit-discuss@lists.linuxfoundation.org
Subject: Re: [Ksummit-discuss] coverity, static checking etc.
List-Id: <ksummit-discuss.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/ksummit-discuss>,
	<mailto:ksummit-discuss-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/ksummit-discuss/>
List-Post: <mailto:ksummit-discuss@lists.linuxfoundation.org>
List-Help: <mailto:ksummit-discuss-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/ksummit-discuss>,
	<mailto:ksummit-discuss-request@lists.linuxfoundation.org?subject=subscribe>

On Fri, May 09, 2014 at 08:57:58PM +0000, tytso@mit.edu wrote:
> Sounds interesting!  This sounds like it would be more of a technical
> track talk as opposed to the core plenary session, so it can reacher a
> larger set of people.  Would you agree?

Yes.  I think so.  I'd love to give a talk about Smatch.

regards,
dan carpenter