<div>oops ... my bad ... it was at Standford&#39;s CS dept on Feb 29 at 1:30:</div>
<div>&nbsp;</div>
<p>This presentation describes a variety of ways to write parallel and concurrent programs in the lazy functional language Haskell. We start off by introducing par/pseq annotations which provide guidance to the run-time about how work can be performed speculatively which provides a basic mechanism for writing implicitly parallel programs. We then describe how a library of strategies can be used to force specific evaluation orders which are necessary to exploit parallelism. We then go on to describe the basic mechanism for writing explicitly parallel programs using Haskell's lightweight threads and then we describe how Haskell's STM implementation can help to write programs that share state between threads through the use of a special monads and as an example we describe the implementation of a multi-way rendezvous library. We then describe some work with Tim Harris on feedback directed implicit parallelism which provides yet another way to write implicitly parallel programs with out resorting to par/pseq annotations. Finally, we report on the progress of a nested data parallel library for Haskell inspired by the NESL language. Throughout the talk we shall emphasizes how Haskell's pure nature (with side<br>
effecting operations clearly indicated by the type system) facilitates the exploitation of parallelism. </p>
<div>&nbsp;</div>
<div>It would be great to get more than the above!</div>
<div>&nbsp;</div>
<div>Regards. </div>
<div>&nbsp;</div>
<div>Vasili</div>
<div>&nbsp;</div>
<p>&nbsp;</p>
<div><br><br>&nbsp;</div>
<div><span class="gmail_quote">On 3/18/08, <b class="gmail_sendername">Adam Langley</b> &lt;<a href="mailto:agl@imperialviolet.org">agl@imperialviolet.org</a>&gt; wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">2008/3/18 Galchin Vasili &lt;<a href="mailto:vigalchin@gmail.com">vigalchin@gmail.com</a>&gt;:<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp; Recently Satnam Singh of Microsoft Research gave a talk at Google about<br>
&gt; concurrency, Haskell STM, etc. Was there a transcript of this talk?<br><br>Do you have the exact date of this talk? I can&#39;t see that anyone<br>called Satnam has given a talk at Google.<br><br>(It might have been very informal, in which case there wouldn&#39;t be a<br>
record of it, and nor would there be a video)<br><br><br>Cheers,<br><br>AGL<br><br>--<br>Adam Langley <a href="mailto:agl@imperialviolet.org">agl@imperialviolet.org</a> <a href="http://www.imperialviolet.org">http://www.imperialviolet.org</a><br>
</blockquote></div><br>