From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:50238) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VUOVB-0004Hg-LH for qemu-devel@nongnu.org; Thu, 10 Oct 2013 18:14:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VUOV6-0006wk-3Y for qemu-devel@nongnu.org; Thu, 10 Oct 2013 18:14:37 -0400 Received: from wanbli.kerneis.info ([2001:41d0:8:38ad::1]:53993) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VUOV5-0006w8-Qf for qemu-devel@nongnu.org; Thu, 10 Oct 2013 18:14:32 -0400 Date: Thu, 10 Oct 2013 23:14:22 +0100 From: Gabriel Kerneis Message-ID: <20131010221422.GA4378@kerneis.info> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Qemu-devel] QEMU/CPC project: an experience report List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org, google-summer-of-code-mentors-list@googlegroups.com Cc: Stefan Hajnoczi , Charlie Shepherd Dear all, We were so excited about our QEMU/CPC GSoC project that we have decided to write a 12-page article to share our experience: QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines http://gabriel.kerneis.info/research/files/qemu-cpc.pdf If you want to learn more about QEMU internals, how we fixed hundreds of lines of code with a small checking tool, or discover a nice compilation technique for coroutines, you will probably be interested in this article. We also hope that other mentors will find it useful as a resource for prospective students looking for an example of past GSoC projects. Thanks to Google, and everybody involved, for making this great project possible. -- Gabriel Kerneis http://gabriel.kerneis.info/