Difference between revisions of "Event:DAMP 2006"

Latest revision as of 12:04, 28 June 2023

Deadlines

Metrics

Venue

Charleston, South Carolina, United States of America

Loading map...

Warning: Venue is missing. The map might not show the exact location.

Source: http://glew.org/damp2006/cfp.txt

                                  Workshop on
          Declarative Programming Languages for Multicore Architectures
                              Charleston, SC, USA
                                15 Janurary 2006
                     (informally colocated with POPL 2006)

Many chip manufactures are turning to multi-core processors rather
than frequency increases in a single core as a way to get increasing
performance in their desktop, enterprise, and mobile processors.  This
endeavour is not likely to succeed long term if mainstream
applications cannot be parallelised to take advantage of 10s and
eventually 100s of hardware treads.  Parallelising programs is a
difficult problem.  User specification of parallelism is fraught with
pitfalls such as race conditions, anticipated interactions between
threads, difficult debugging models, and poorly understood performance
consequencies.  Automatic parallelisation of imperative langauges is
difficult due to dependencies and aliasing.

Functional and logic programming languages, especially
referentially-transparent ones, have many fewer and more transparent
dependencies and aliasing.  Therefore such langauges are much easier
to extract parallelism from.  Moreover, the advanced type systems and
strong semantic foundations of these languages make correctness easier
to achieve.

This workshop is an informal one-day event seeking to explore the
leading role declarative programming languages might take in
programming multi-core architectures.  It seeks to gather together the
research of the last two decades on parallelising declarative
programming languages, examine what has changed from parallel machines to
multicore chips, and set research directions for the coming decade.

Specific topics include, but are not limited to:

* suitability of functional and logic programming languages to
  future multicore applications
* extraction of parallelism from functional and logic programs
* ways of specifying or hinting at parallelism in functional and logic
  programs
* type systems for accurately knowing or limiting dependencies,
  aliasing, effects, and nonpure features
* ways of specifying or hinting at data placement in functional and
  logic programs
* implementation techniques to support parallelisation of functional
  and logic programs
* experiences of and challengers arising from making practical
  declarative programming parallelisation

Organisers:

Neal Glew
Intel Corporation, Santa Clara, CA, USA
neal.glew@intel.com

Leaf Petersen
Anwar Ghuloum
Jesse Fang

Sponsor:

Intel's Programming Systems Lab

@@ Line 2: / Line 2: @@
 |Acronym=DAMP 2006
 |Title=Declarative Programming Languages for Multicore Architectures 2006
-|Type=Workshop
+|Ordinal=1
-|Official Website=glew.org/damp2006/
+|In Event Series=Event Series:B56c1216-9413-48bf-92cd-5a2acddeed46
+|Single Day Event=no
+|Start Date=2006/01/15
+|End Date=2006/01/15
+|Event Status=as scheduled
+|Event Mode=on site
 |City=Charleston
 |Region=South Carolina
 |Country=Country:US
+|Academic Field=Programming Paradigms
+|Official Website=http://glew.org/damp2006/
+|Type=Workshop
 |pageCreator=Floebe
 |pageEditor=Floebe
 |contributionType=1
-|In Event Series=Event Series:DAMP
-|Single Day Event=no
-|Start Date=2006/01/15
-|End Date=2006/01/15
-|Academic Field=Programming Paradigms
-|Event Status=as scheduled
-|Event Mode=on site
 }}
 {{Event Deadline}}
+{{Organizer
+|Contributor Type=organization
+|Organization=Special Interest Group on Programming Languages, Association for Computing Machinery
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery
+}}
+{{Event Metric}}
 {{S Event}}
 ''Source:'' http://glew.org/damp2006/cfp.txt