Exjobbsförslag från företag

Detta är ett uppsatsförslag hämtat från Nationella Exjobb-poolen. Klicka här för att komma tillbaka till samtliga exjobbsförslag.

Förslaget inkom 2010-02-10

Optimizing the ForSyDe simulations in Haskell

OBS! ANSÖKNINGSTIDEN FÖR DETTA EXJOBB HAR LÖPT UT.
Description
ForSyDe is a system level modelling language which is currently implemented in the functional language Haskell as an embedded domain specific language (EDSL). The Glaskow Haskell Compiler (GHC), which is the mostly used compiler in Haskell community, provides several opportiunities to boost the performance of the applications on today's machines. Also, the pure, lazy nature of Haskell helps detecting and exploiting more parallelism in the code.
The goal of this thesis is to optimize the performance of the ForSyDe simulations using:

1. the optimization options provided by GHC,
* understand the optimization techniques used in functional programming such as strictness analysis, call-pattern specialisation, static argument transformation, etc.
* study whether/how these optimizations could be applied to the ForSyDe library
* benchmark the optimized library using proper examples to show the performance benefit.
2. the parallel/concurrent programming techniques provided by Haskell,
* understand different approaches to parallelism in Haskell such as implicit parallelism(sparks and parallel strategies), explicit parallelism(threads and shared memory), software transactional memory and data parallelism
* study whether/how these optimizations could be applied to the ForSyDe library
* benchmark the optimized library using proper examples to show the performance benefit.

Prerequisites
The thesis is research oriented and needs a strong background in computer science. The student should be able to work independently. Students who are familliar with functional programming are encouraged to apply.

  GÅ TILL XJOBB.NU FÖR FULLSTÄNDIG INFO OM DETTA EXJOBB




Informationen om uppsatsförslag är hämtad från Nationella Exjobb-poolen.