Re: [Qemu-devel] QEMU/CPC project: an experience report

2013-11-12 Thread Gabriel Kerneis
On Thu, Oct 10, 2013 at 11:14:22PM +0100, Gabriel Kerneis wrote: > We were so excited about our QEMU/CPC GSoC project that we have decided > to write a 12-page article to share our experience Our "QEMU/CPC" paper has been accepted for publication at PEPM'14: http://www.program-transformation.org/P

Re: [Qemu-devel] QEMU/CPC project: an experience report

2013-10-11 Thread Pierre Tardy
> [1] http://gabriel.kerneis.info/research/files/kerneis-phd-thesis.pdf > [2] http://gabriel.kerneis.info/research/files/cpc-2012.pdf > > Looks like you ruined my evening! > > This indeed deserve some congrats, and looks interesting. Do you have an > > epub version, so that one can study this con

Re: [Qemu-devel] QEMU/CPC project: an experience report

2013-10-11 Thread Gabriel Kerneis
Hi Pierre, On Fri, Oct 11, 2013 at 01:34:02PM +0200, Pierre Tardy wrote: > Do I summarized too much if I say that this is about automatically > translating thread based code to event driven code? This is exactly what CPC is about. If you want more details on the translation itself, you might be

Re: [Qemu-devel] QEMU/CPC project: an experience report

2013-10-11 Thread Stefan Hajnoczi
On Thu, Oct 10, 2013 at 11:14:22PM +0100, Gabriel Kerneis wrote: > 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 efficien

[Qemu-devel] QEMU/CPC project: an experience report

2013-10-10 Thread Gabriel Kerneis
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/q