Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
Schedule
View analytic
Tuesday, December 10 • 10:30am - 11:25am
(SLIDES) Kevin Hammond--ParaForming: Forming Parallel (Functional) Programs using Advanced Refactoring Techniques

Sign up or log in to save this to your schedule and see who's attending!

Despite Moore's "law", uniprocessor clock speeds have now stalled. Rather than single processors running at ever higher clock speeds, it is
common to find dual-, quad- or even hexa-core processors, even in consumer laptops and desktops. Haswell, Intel's forthcoming multicore architecture, will have eight cores by default. Future hardware will not be slightly parallel, however, as in today's multicore systems, but will be massively parallel, with manycore and perhaps even megacore systems
becoming mainstream. This means that programmers need to start thinking parallel. To achieve this they must move awayfrom traditional programming models where parallelism is a
bolted-on afterthought. Rather, programmers must use languages where parallelism is deeply embedded into the programming model from the outset.

By providing a high level model of computation, without explicit ordering of computations,
declarative languages in general, and functional languages in particular, offer many advantages for parallel programming.
ParaForming aims to radically improve the process of parallelising purely functional programs through a comprehensive set of high-level parallel refactoring patterns for Parallel Haskell, supported by advanced refactoring tools. By matching parallel design patterns with appropriate algorithmic skeletons
using advanced software refactoring techniques and novel cost information, we will bridge the gap between fully automatic and fully explicit approaches to parallelisation, helping programmers "think parallel" in a systematic, guided way. This talk introduces the ParaForming approach, gives some examples and shows how effective parallel programs can be developed in Erlang (and C++) using advanced refactoring technology.

Speakers
avatar for Kevin Hammond

Kevin Hammond

Kevin Hammond is Professor in Computer Science, in the School of Computer Science, at the University of St. Andrews, St. Andrews, Scotland. He leads the Functional Programming research group. Kevin is also an Honorary Professor at Heriot-Watt University, Edinburgh, Scotland. The main interests are cost modeling, parallelism and real- time and embedded systems.



Tuesday December 10, 2013 10:30am - 11:25am
Hall 5.1

Attendees (17)