[Swift-devel] [Haskell] Call for papers: PAPP 2010, 7th International Workshop on Practical Aspects of High-level Parallel Programming (fwd)
Michael Wilde
wilde at mcs.anl.gov
Thu Dec 3 07:50:21 CST 2009
That sounds like a good place to complete and submit the language paper
we started earlier this year.
- Mike
On 12/3/09 7:38 AM, Ben Clifford wrote:
> this came by on one of the haskell lists - maybe interesting for swift
> from the language side of things
>
> ---------- Forwarded message ----------
> Date: Thu, 03 Dec 2009 13:10:30 +0100
> From: Clemens Grelck <c.grelck at uva.nl>
> To: haskell at haskell.org
> Cc: c.grelck at uva.nl
> Subject: [Haskell] Call for papers: PAPP 2010,
> 7th International Workshop on Practical Aspects of High-level Parallel
> Programming
>
> ---------------------------------------------------------------------
> Please accept our apologies if you have received multiple copies.
> Please feel free to distribute it to those who might be interested.
> ---------------------------------------------------------------------
>
>
> ----------------------------------------------------------
> CALL FOR PAPERS
>
> PAPP 2010
> Seventh International Workshop on
> Practical Aspects of High-level Parallel Programming
> http://lacl.univ-paris12.fr/gava/PAPP2010/
>
> part of
>
> ICCS 2010
> The International Conference on Computational Science
> May 31- June 2, 2010, University of Amsterdam, The Netherlands.
> ----------------------------------------------------------
>
>
> AIMS AND SCOPE
>
> Computational Science applications are more and more complex to develop and
> require more and more computing power. Bill McColl's post "Sequential Computing
> Considered Harmful" is an excellent summary of today's situation. Sequential
> computing cannot go further. Major companies in the computing industry now
> recognizes the urgency of reorienting an entire industry towards massively
> parallel computing (Think Parallel or Perish).
>
> Parallel and grid computing are solutions to the increasing need for computing
> power. The trend is towards the increase of cores in processors, the number of
> processors and the need for scalable computing everywhere. But parallel and
> distributed programming is still dominated by low-level techniques such as
> send/receive message passing. Thus high-level approaches should play a key role
> in the shift to scalable computing in every computer.
>
> Algorithmic skeletons, parallel extensions of functional languages such as
> Haskell and ML, parallel logic and constraint programming, parallel execution
> of declarative programs such as SQL queries, genericity and meta-programming in
> object-oriented languages, etc. have produced methods and tools that improve
> the price/performance ratio of parallel software, and broaden the range of
> target applications. Also, high level languages offer a high degree of
> abstraction which ease the development of complex systems. Moreover, being
> based on formal semantics, it is possible to certify the correctness of critical
> parts of the applications.
>
> The PAPP workshop focuses on practical aspects of high-level parallel
> programming: design, implementation and optimization of high-level programming
> languages, semantics of parallel languages, formal verification, design or
> certification of libraries, middlewares and tools (performance predictors
> working on high-level parallel/grid source code, visualisations of abstract
> behaviour, automatic hotspot detectors, high-level GRID resource managers,
> compilers, automatic generators, etc.), application of proof assistants to
> parallel applications, applications in all fields of computational science,
> benchmarks and experiments. Research on high-level grid programming is
> particularly relevant as well as domain specific parallel software.
>
> The aim of all these languages and tools is to improve and ease the development
> of applications (safety, expressivity, efficiency, etc.). Thus the Seventh PAPP
> workshop focuses on applications.
>
> The PAPP workshop is aimed both at researchers involved in the development of
> high level approaches for parallel and grid computing and computational science
> researchers who are potential users of these languages and tools.
>
> TOPICS
>
> We welcome submission of original, unpublished papers in English on
> topics including:
>
> * applications in all fields of high-performance computing and
> visualisation (using high-level tools)
>
> * high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel
> and grid computing
>
> * Program verification and Formal verification of parallel applications/
> libraries/languages or parallel computing in
> computer-assisted reasoning
>
> * high-level parallel language design, implementation and
> optimisation
>
> * modular, object-oriented, functional, logic, constraint programming
> for parallel, distributed and grid computing systems
>
> * algorithmic skeletons, patterns and high-level parallel libraries
>
> * generative (e.g. template-based) programming with algorithmic
> skeletons, patterns and high-level parallel libraries
>
> * benchmarks and experiments using such languages and tools
>
> * industrial uses of a high-level parallel language
>
>
>
> PAPER SUBMISSION AND PUBLICATION
>
> Prospective authors are invited to submit full papers in English
> presenting original research. Submitted papers must be unpublished and
> not submitted for publication elsewhere. Papers will go through a
> rigorous reviewing process. Each paper will be reviewed by at least
> three referees. The accepted papers will be published in the
> conference proceedings published by Elsevier Science in the open-access
> Procedia Computer Science series, as part of the ICCS proceedings.
>
> Submission must be done through the ICCS website:
> http://www.iccs-meeting.org/iccs2010/papers/upload.php
> We invite you to submit a full paper of 10 pages formatted according to
> the rules of Procedia Computer Science (see
> http://www.elsevier.com/wps/find/journaldescription.cws_home/719435/description#description),
> describing
> new and original results, no later than January 11, 2010 -HARD DEADLINE.
> Submission implies the willingness of at least one
> of the authors to register and present the paper. An early email to
> "gava at univ-paris12.fr" with your intention to submit a paper would
> be greatly appreciated (especially if you have doubts about the
> relevance of your paper).
>
> Accepted papers should be presented at the workshop and extended and
> revised versions could be published in a special issue of Scalable Computing:
> Practice and Experience, provided revisions suggested by the
> referees are made.
>
>
> IMPORTANT DATES
>
> * January 11, 2010 - Full paper due (HARD DEADLINE)
> * February 15, 2010 - Notification
> * March 1, 2010 - Camera-ready paper due
> * September, 2010 - Journal version due
>
> PROGRAM COMMITTEE
>
> * Marco Aldinucci (University of Torino, Italy)
> * Anne Benoit (ENS Lyon, France)
> * Umit V. Catalyurek (The Ohio State University, USA)
> * Emmanuel Chailloux (University of Paris 6, France)
> * Frédéric Dabrowski (University of Orléans, France)
> * Frédéric Gava (University Paris-East (Paris 12), France)
> * Alexandros Gerbessiotis (NJIT, USA)
> * Clemens Grelck (University of Amsterdam, Netherlands)
> * Hideya Iwasaki (The University of Electro-communications, Japan)
> * Christoph Kessler (Linkopings Universitet, Sweden)
> * Rita Loogen (University of Marburg, Germany)
> * Kiminori Matsuzaki (Kochi University of Technology, Japan)
> * Samuel Midkiff (Purdue University, USA)
> * Susanna Pelagatti (University of Pisa, Italy)
> * Bruno Raffin (INRIA, France)
> * Casiano Rodriguez-Leon (University La Laguna, Spain)
>
>
> ORGANIZERS
>
> Dr. Anne BENOIT
> Laboratoire d'Informatique du Parallélisme
> Ecole Normale Supérieure de Lyon
> 46 Allée d'Italie
> 69364 Lyon Cedex 07 - France
>
> Dr. Frédéric GAVA
> Laboratoire d'algorithmique, complexité et logique
> Université de Paris-Est (Paris 12)
> 61 avenue du Général de Gaulle
> 94010 Créteil cedex - France
>
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Swift-devel mailing list
> Swift-devel at ci.uchicago.edu
> http://mail.ci.uchicago.edu/mailman/listinfo/swift-devel
More information about the Swift-devel
mailing list