== CALL FOR PARTICIPATION
==
24th International Conference on Computer Aided Verification (CAV 2012)
July 7-13, 2012 Berkeley, California, USA
Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia
Website: http://cav12.cs.illinois.edu/
Hi Takayuki,
I don't think your suggestion is rude at all. In fact, several of us at
Indiana University have been hard at work extending the Par Monad [1] to
support heterogeneous parallelism across SMP, GPU, and distributed
execution resources.
Our system is called Meta-Par; it's available on ha
Hi Simon,
I'm Takayuki Muranushi, a researcher in Kyoto university writing a
domain-specific parallel programming language
http://paraiso-lang.org/wiki/ in Haskell. I've always been attracted
to parallel aspects of Haskell and I definitely would like to read the
book!!
As you encouragingly ask fo
Congratulations! I'm really looking forward to reading this.
Tom
On May 17, 2012 5:22 AM, "Simon Marlow" wrote:
> I'm delighted to announce that O'Reilly have agreed to publish a book on
> Parallel and Concurrent Haskell authored by me. The plan is to make a
> significantly revised and extended
I'm delighted to announce that O'Reilly have agreed to publish a book on
Parallel and Concurrent Haskell authored by me. The plan is to make a
significantly revised and extended version of the Parallel and
Concurrent Haskell tutorial from CEFP'11:
http://community.haskell.org/~simonmar/bib/pa
