Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Functional Programming Perspectives on Concurrency and Parallelis
Speaker:Matthew Fluet
coming from:Toyota Technological Institute at Chicago
Speakers Bio:
Event Type:SWS Colloquium
Visibility:SWS, RG1
We use this to send out email in the morning.
Level:Expert Audience
Language:English
Date, Time and Location
Date:Monday, 23 March 2009
Time:16:00
Duration:60 Minutes
Location:Saarbr├╝cken
Building:E1 4
Room:019
Abstract
The trend in microprocessor design toward multicore processors has
sparked renewed interest in programming languages and language
features for harnessing concurrency and parallelism in commodity
applications.  Past research efforts demonstrated that functional
programming provides a good semantic base for concurrent- and
parallel-language designs, but slowed in the absence of widely
available multiprocessor machines.  I will describe new functional
programming approaches towards concurrency and parallelism, grounded
in more recent functional programming research.

To frame the discussion, I will introduce the Manticore project, an
effort to design and implement a new functional language for parallel
programming.  Unlike some earlier parallel language proposals,
Manticore is a heterogenous language that supports parallelism at
multiple levels.  In this talk, I will describe a number of
Manticore's notable features, including implicitly-parallel
programming constructs (inspired by common functional programming
idioms) and a flexible runtime model that supports multiple scheduling
disciplines.  I will also take a deeper and more technical look at
transactional events, a novel concurrency abstraction that combines
first-class synchronous message-passing events with all-or-nothing
transactions.  This combination enables elegant solutions to
interesting problems in concurrent programming.  Transactional events
have a rich compositional structure, inspired by the use of monads for
describing effectful computations in functional programming.  I will
conclude with future research directions in the Manticore project,
aiming to combine static and dynamic information for the
implementation and optimization of parallel constructs.
Contact
Name(s):Claudia Richter
Phone:688
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:206
Meeting ID:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Claudia Richter, 03/13/2009 09:11 AM
  • Claudia Richter, 03/12/2009 04:53 PM -- Created document.