From mboxrd@z Thu Jan  1 00:00:00 1970
From: Arseniy Zaostrovnykh <arseniy.zaostrovnykh@epfl.ch>
Subject: Network software verification survey.
Date: Thu, 24 Dec 2015 11:07:36 +0100
Message-ID: <567BC3E8.3050009@epfl.ch>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
To: dev@dpdk.org
Return-path: <dev-bounces@dpdk.org>
Received: from smtp4.epfl.ch (smtp4.epfl.ch [128.178.224.219])
 by dpdk.org (Postfix) with ESMTP id EADFA5A52
 for <dev@dpdk.org>; Thu, 24 Dec 2015 11:07:39 +0100 (CET)
List-Id: patches and discussions about DPDK <dev.dpdk.org>
List-Unsubscribe: <http://dpdk.org/ml/options/dev>,
 <mailto:dev-request@dpdk.org?subject=unsubscribe>
List-Archive: <http://dpdk.org/ml/archives/dev/>
List-Post: <mailto:dev@dpdk.org>
List-Help: <mailto:dev-request@dpdk.org?subject=help>
List-Subscribe: <http://dpdk.org/ml/listinfo/dev>,
 <mailto:dev-request@dpdk.org?subject=subscribe>
Errors-To: dev-bounces@dpdk.org
Sender: "dev" <dev-bounces@dpdk.org>

Hello,

I am a PhD student and I am doing research about verification of network 
applications. In order to maximize the utility of our efforts for the 
networking community, our team would grateful if you answer a couple of 
questions:

http://goo.gl/cL760p

This short form should take just 2-3 minutes of your time. If you are 
subscribed to the DPDK-users list and received a similar message, please 
use this link instead. If you have any questions, please ask them in 
this thread or e-mail me personally (arseniy.zaostrovnykh@epfl.ch).

-- 
Respectfully,
Arseniy.