Workshop on Declarative Languages for 
	  Multicore Architectures

	  Charleston, South Carolina
	     Jan 15th, 2006

  Organized by: Programming Systems Lab, Intel
	General Chair: Neal Glew, Intel

8:00-10:00 Continental breakfast (avail. until 10).

8:30- 8:40 Welcome

8:40- 9:40 Keynote: The Evolution of Computing Architectures
           Douglas Carmean, Senior Principal Architect, 
		       Intel Corporation

9:40- 9:55 Break

9:55-10:20 pH: Lessons Learned
            Jan-Willem Maessen, Sun Microsystems
10:20-10:45 Nesl
            Guy Blelloch, Carnegie Mellon University

10:45-11:00 Break

11:00-11:25 The Next Generation of Logic Programming Systems
            Gopal Gupta, University of Texas at Dallas
11:25-11:50 A Look Back and a Look Forward at Parallel Logic Programming
            Vitor Santos Costa, University Federal do Rio de Janeiro

11:50- 1:00 Lunch

1:00- 2:00 Panel: Lessons from the Past and What it Means for Multicores
            Arvind, Massachuettes Institute of Technology
            Guy Blelloch, Carnegie Mellon University
            Gopal Gupta, University of Texas at Dallas
            Simon Peyton Jones, Microsoft Research

2:00- 2:20 Break

2:20- 2:45 Now you C it.  Now you don't.
            Rob Ennals ,Intel Research
2:45- 3:10 Hume and Multicore Architectures
            Kevin Hammond, University of St. Andrews
3:10- 3:35 Automatic Parallelization and Granularity Control of Logic
           and Constraint Programs
            Manuel Hermenegildo, University of New Mexico

3:35- 3:55 Break

3:55- 4:20 Design and Implementation Issues for Atomicity and
           Functional Languages
                 Dan Grossman, University of Washington
4:20- 4:45 Stabilizers: A Safe Lightweight Checkpointing Abstraction
           for Concurrent Programs
            Suresh Jaganathan, Purdue University
4:45- 5:10 Nested Data Parallelism in Haskell
            Manuel Chakravarty, University of New South Wales

5:10- 5:25 Wrap up