Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: Declarative Aspects of Multicore Programming



-----------------------------------------------------

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)

В избранное