<div class="gmail_quote"><div class="gmail_quote"><div><div class="gmail_quote"><div class="im"><div><div><div>Parallel Haskell project underway</div>

<div><br></div><div>GHC HQ and Well-Typed are pleased to report that work has started on</div><div>the MSR-funded project to push the real-world use of parallel Haskell.</div><div>

<br></div><div>We will be working with four industrial partners over the next two</div><div>years, with the aim of demonstrating that parallel Haskell can be</div><div>employed successfully in industrial projects.</div><div>







<br></div><div>The participating organizations are:</div><div> * Dragonfly (New Zealand)</div><div> * IIJ Innovation Institute Inc. (Japan)</div><div> * Los Alamos National Laboratory (USA)</div><div> * Willow Garage Inc. (USA)</div>







<div><br></div><div>Each group is working on their own project, applying parallel Haskell</div><div>and their domain-specific expertise. In addition to providing advice</div><div>on Haskell tools and techniques, we will work with these partners to</div>







<div>identify and resolve any issues that are hindering progress. We are</div><div>prepared to handle issues covering anything from the compiler and</div><div>runtime system, through to platform, tool and library problems.</div>







<div><br></div><div>All the participants are working on complex, real-world problems. Three</div><div>projects involve scientific problems, and the fourth involves network</div><div>servers. Three of the projects are targeting single-node SMP systems,</div>







<div>while the fourth is targeting clusters. In two cases, Haskell will be</div><div>directly pitted against existing code written in C or C++.</div><div><br></div></div></div></div><div><div class="im"><div>Project progress reports will be posted to the Well-Typed blog [1]</div>







</div><div>and to the new Parallel Haskell mailing list [2].</div><div><br></div></div><div><div></div><div class="h5"><div>[1]: <a href="http://www.well-typed.com/blog/" target="_blank">http://www.well-typed.com/blog/</a></div>


<div>[2]: <a href="http://groups.google.com/group/parallel-haskell" target="_blank">http://groups.google.com/group/parallel-haskell</a></div><div><div></div><div><div><br></div>
<div>== Dragonfly ==</div><div><br></div><div><a href="http://www.dragonfly.co.nz/" target="_blank">http://www.dragonfly.co.nz/</a></div><div><br></div><div>Participants: Finlay Thompson, Edward Abraham</div>
<div><br>
</div><div>    Cloudy Bayes: Hierarchical Bayesian modeling in Haskell</div><div><br></div><div>    The Cloudy Bayes project aims to develop a fast Bayesian model</div><div>    fitter that takes advantage of modern multiprocessor machines. It</div>







<div>    will support model descriptions in the BUGS model description</div><div>    language (WinBUGS, OpenBUGS, and JAGS). It will be implemented as</div><div>    an embedded domain specific language (EDSL) within Haskell. A wide</div>







<div>    range of model hierarchical Bayesian model structures will be</div><div>    possible, including many of the models used in medical, ecological,</div><div>    and biological sciences.</div><div><br></div><div>    Cloudy Bayes will provide an easy to use interface for describing</div>







<div>    models, running Monte Carlo Markov chain (MCMC) fitters, diagnosing</div><div>    performance and convergence criteria as it runs, and collecting</div><div>    output for post-processing. Haskell&#39;s strong type system will be</div>







<div>    used to ensure that model descriptions make sense, providing a</div><div>    fast, safe development cycle.</div><div><br></div><div>== IIJ Innovation Institute Inc. ==</div><div><br></div><div><a href="http://www.iij-ii.co.jp/en/" target="_blank">http://www.iij-ii.co.jp/en/</a></div>







<div><br></div><div>Participants: Kazu Yamamoto</div><div><br></div><div>    Haskell is suitable for many kinds of domain, and GHC&#39;s support for</div><div>    lightweight threads makes it attractive for concurrency </div>







<div>    applications. An exception has been network server programming</div><div>    because GHC 6.12 and earlier have an IO manager that is limited to</div><div>    1024 network sockets. The upcoming GHC 7 has a new IO manager</div>







<div>    implementation that gets rid of this limitation.</div><div><br></div><div>    This project will implement several network servers to demonstrate</div><div>    that Haskell is suitable for network servers that handle a massive</div>







<div>    number of concurrent connections.</div><div><br></div><div>== Los Alamos National Laboratory ==</div><div><br></div><div><a href="http://www.lanl.gov/" target="_blank">http://www.lanl.gov/</a></div><div><br></div>






<div>Participants: Michael Buksas, Timothy M. Kelley</div>
<div><br></div><div>    This project will use parallel Haskell to implement</div><div>    high-performance Monte Carlo algorithms, a class of algorithms</div><div>    which use randomness to sample large or otherwise intractable</div>







<div>    solution spaces. The initial goal is a particle-based MC algorithm</div><div>    suitable for modeling the flow of radiation, with application to</div><div>    problems in astrophysics. From this, the project is expected to</div>







<div>    move to identification of suitable abstractions for expressing a</div><div>    wider variety of Monte Carlo algorithms, and using models for</div><div>    different physical phenomena.</div><div><br></div><div>== Willow Garage ==</div>







<div><br></div><div><a href="http://www.willowgarage.com/" target="_blank">http://www.willowgarage.com/</a></div><div><br></div><div>Participants: Ryan Grant</div><div><br></div><div>    Distributed Rigid Body Dynamics in ROS</div>






<div><br>
</div><div>    Willow Garage seeks a high-level representation for a distributed</div><div>    rigid body dynamics simulation, capable of excellent parallel</div><div>    speedup on current and foreseeable hardware, yet linking to</div>







<div>    existing optimized libraries for low-level message passing and</div><div>    matrix math.</div><div><br></div><div>    This project will drive API, performance, and profiling tool</div><div>    requirements for Haskell&#39;s interface to the Message Passing</div>







<div>    Interface (MPI) specification, an industry-standard in High</div><div>    Performance Computing (HPC), as used on clusters of many nodes.</div><div><br></div><div>    Competing internal initiatives use C++/MPI and CUDA directly.</div>







<div><br></div><div>    Willow Garage aims to lay the groundwork for personal robotics</div><div>    applications in everyday life. ROS (Robot Operating System -</div><div>    ROS.org) is an open source, meta-operating system for your robot.</div>





</div></div></div></div></div><div><div></div><div><br></div></div></div></div></div>-- <br>Dmitry Astapov<div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse;color:rgb(80, 0, 80)">Well-Typed LLP, <a href="http://www.well-typed.com/" style="color:rgb(0, 0, 204)" target="_blank">http://www.well-typed.com/</a></span></div>

<br>