[Haskell-cafe] Satnam Singh of Microsoft Research

[Donnie Jones]

Hello,

I contacted Satnam Singh about this talk and we tried to arrange with
Stanford to video record the presentation, but it was not possible on the
short notice...
__
Donnie

On 3/18/08, Galchin Vasili <vigalchin at gmail.com> wrote:
>
> oops ... my bad ... it was at Standford's CS dept on Feb 29 at 1:30:
>
>
> 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
> effecting operations clearly indicated by the type system) facilitates the
> exploitation of parallelism.
>
> It would be great to get more than the above!
>
> Regards.
>
> Vasili
>
>
>
>
>
>
> On 3/18/08, Adam Langley <agl at imperialviolet.org> wrote:
> >
> > 2008/3/18 Galchin Vasili <vigalchin at gmail.com>:
> > >     Recently Satnam Singh of Microsoft Research gave a talk at Google
> > about
> > > concurrency, Haskell STM, etc. Was there a transcript of this talk?
> >
> > Do you have the exact date of this talk? I can't see that anyone
> > called Satnam has given a talk at Google.
> >
> > (It might have been very informal, in which case there wouldn't be a
> > record of it, and nor would there be a video)
> >
> >
> > Cheers,
> >
> > AGL
> >
> > --
> > Adam Langley agl at imperialviolet.org http://www.imperialviolet.org
> >
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080319/371dd501/attachment.htm