[MLton-user] DAMP '11 Call for Participation

[John Reppy]

**********************************************************************
                        CALL FOR PARTICIPATION 

                              DAMP 2011 

             Declarative Aspects of Multicore Programming

                           23 January 2011 
                            Austin, TX, USA

              To be held in conjunction with POPL 2011

                  http://damp2011.cs.uchicago.edu/

**********************************************************************

IMPORTANT DATES 

Hotel reservation deadline:                     December 21, 2010
Early registration deadline:                    December 31, 2010


VENUE 

DAMP'11 and all POPL'11 affiliated events will take place at the 
Omni Austin Hotel in downtown Austin, TX.


REGISTRATION

To register for DAMP'11, follow the link from the POPL 2011 page, at

      https://regmaster3.com/2011conf/POPL11/register.php


SCOPE 

DAMP 2011 is the  sixth in  a series of  one-day  workshops seeking to
explore  ideas in  declarative  programming  language design that will
greatly  simplify programming for  multicore  architectures, and  more
generally  for tightly  coupled parallel  architectures.  The emphasis
will be  on (constraint-)logic and  functional  programming, but  any
declarative programming language ideas that aim to raise the level of
abstraction are welcome. DAMP seeks to gather together researchers in
declarative approaches to parallel programming and to foster cross
fertilization across different approaches.


WORKSHOP PROGRAM 

Welcome: 9:20-9:30

Session 1: Invited Talk (9:30 - 10:30)

	Domain Specific Compilation in the NVIDIA OptiX Ray Tracing
	Engine
	Austin Robison (NVIDIA)

	Break  (10:30-11:00)

Session 2: GPUs (11:00-12:30)
	Accelerating Haskell Array Codes with Multicore GPUs
	Manuel Chakravarty, Gabriele Keller, Sean Lee,
	Trevor McDonell and Vinod Grover

	Breaking the GPU Programming Barrier with the
	Auto-Parallelising SAC Compiler
	Jing Guo, Jeyarajan Thiyagalingam and Sven-Bodo Scholz

	Optimizing an Applicative Array Language for Graphics
	Processors
	Bradford Larsen

	Lunch (12:30-14:00)

Session 3: Programming models (14:00-15:30)

	Computing with Streams
	Joaquin Aguado and Michael Mendler

	Parallel Computing with the Pi-calculus
	Frederic Peschanski

	Concurrent Programming Constructs in Multi-engine Prolog
	Paul Tarau

	Break (15:30-16:00)

Session 4: Invited talk (16:00-17:00)

	Declarative Coordination in a Multicore Environment:
	The Tyranny of Streams
	Alex Shafarenko (University of Hertfordshire)