ideas for a phd in the area of paralleism?

Hello, currently I'm searching for a topic for my phd-thesis or at least for a workshop-paper (as a starting point, to get my feet wet...). My academic group has specialized itself on (practical, i.e. not too theoretical stuff like verification, etc...) parallel programming and related topics, so my future thesis has to be in this area, but as long as its related I'm free to choose whatever I want. Since I've been interested in FP in general for a few years as a "private hobby" and since Haskell has as a pure language a lot of potential in the area of parallelism, and it's community (esp. #haskell and this list) is really nice and supportive I'd like to do something in this area; I've been hacking in Haskell more intensive for about six month now. I've looked at the different parallelism/concurrency models in Haskell (dph, gph, nested data parallelism) and (after a preliminary overview-reading) it seems that a lot of research has already been done on the basic topics, except for distributed Haskell, where I could not found current papers (i.e. newer than ~2003). If anyone could give me further advice, tips, or hints in general, what could be interesting or where I should take a more deeper look to find a niche I'd really be thankful (and you'll get a special thanks in my foreword in 3 years! ;-)). Best regards, Michael -- Dipl.-Inf. Michael C. Lesniak University of Kassel Programming Languages / Methodologies Research Group Department of Computer Science and Electrical Engineering Wilhelmshöher Allee 73 34121 Kassel Phone: +49-(0)561-804-6269

On Wed, Jan 07, 2009 at 10:35:25AM +0100, Michael Lesniak wrote:
Hello,
currently I'm searching for a topic for my phd-thesis or at least for a workshop-paper (as a starting point, to get my feet wet...). My academic group has specialized itself on (practical, i.e. not too theoretical stuff like verification, etc...) parallel programming and related topics, so my future thesis has to be in this area, but as long as its related I'm free to choose whatever I want.
GPU programming seems to be hot: http://www.cse.unsw.edu.au/~chak/papers/gpugen.pdf http://www.cs.chalmers.se/Cs/Education/Courses/svh/Slides/may-15-Obsidian-sh... Regards, Frederik

Frederik Deweerdt wrote:
On Wed, Jan 07, 2009 at 10:35:25AM +0100, Michael Lesniak wrote:
Hello,
currently I'm searching for a topic for my phd-thesis or at least for a workshop-paper (as a starting point, to get my feet wet...). My academic group has specialized itself on (practical, i.e. not too theoretical stuff like verification, etc...) parallel programming and related topics, so my future thesis has to be in this area, but as long as its related I'm free to choose whatever I want.
GPU programming seems to be hot:
http://www.cse.unsw.edu.au/~chak/papers/gpugen.pdf http://www.cs.chalmers.se/Cs/Education/Courses/svh/Slides/may-15-Obsidian-sh...
Make OpenCL bindings please, please ... pretty please. Martin
Regards, Frederik _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Hi, check http://www.intellasys.net/index.php?option=com_content&task=view&id=35 http://groups.google.com.tw/group/seaforth That's a FORTH cpu I ever took a look one year ago when my professor introduced it. It has some very promising features as the above links claims.The most impressive one for me is its mechanism of inter-core commuication. Unfortunately(FORTH advocators may disagree), it seems to require native FORTH programming and manual parallelism among the processor arrary. I wonder whether it's possible to implement a compiler with parallelism capability(coordinate those cores) on it, especially for functional languages. Regards, Mura
participants (4)
-
Frederik Deweerdt
-
Michael Lesniak
-
nml
-
Trin