January 2010 - Haskell

Announcing Djinn, version 2004-12-11, a coding wizard
by Lennart Augustsson 07 Apr '11

07 Apr '11

Howdy, y'all! I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is interactive if not given any arguments. # Let's see if it can find the identity function. Djinn> f ? a->a f :: a -> a f x1 = x1 # Yes, that was easy. Let's try some tuple munging. Djinn> sel ? ((a,b),(c,d)) -> (b,c) sel :: ((a, b), (c, d)) -> (b, c) sel ((_, v5), (v6, _)) = (v5, v6) # We can ask for the impossible, but then we get what we # deserve. Djinn> cast ? a->b -- cast cannot be realized. # OK, let's be bold and try some functions that are tricky to write: # return, bind, and callCC in the continuation monad Djinn> type C a = (a -> r) -> r Djinn> returnC ? a -> C a returnC :: a -> C a returnC x1 x2 = x2 x1 Djinn> bindC ? C a -> (a -> C b) -> C b bindC :: C a -> (a -> C b) -> C b bindC x1 x2 x3 = x1 (\ c15 -> x2 c15 (\ c17 -> x3 c17)) Djinn> callCC ? ((a -> C b) -> C a) -> C a callCC :: ((a -> C b) -> C a) -> C a callCC x1 x2 = x1 (\ c15 _ -> x2 c15) (\ c11 -> x2 c11) # Well, poor Djinn has a sweaty brow after deducing the code # for callCC so we had better quit. Djinn> :q Bye. To play with Djinn do a darcs get http://darcs.augustsson.net/Darcs/Djinn or get http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz Then just type make. (You need a Haskell 98 implementation and some libraries.) And then start djinn. For the curious, Djinn uses a decision procedure for intuitionistic propositional calculus due to Roy Dyckhoff. It's a variation of Gentzen's LJ system. This means that (in theory) Djinn will always find a function if one exists, and if one doesn't exist Djinn will terminate telling you so. This is the very first version, so expect bugs. :) Share and enjoy. -- Lennart

8 13

HWN Issue 148 -- unicode error
by Joe Fredette 31 Jan '10

31 Jan '10

Indeed, the Unicode only made it through my system, and not the mailer itself. In fact, the name should look something like "Ćwikłowski", and not the garbled mess that made it through. Apologies again, Bartek! /Joe

1 0

Haskell Weekly News: Issue 148 - January 31, 2010
by jfredett＠gmail.com 31 Jan '10

31 Jan '10

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20100131 Issue 148 - January 31, 2010 --------------------------------------------------------------------------- Welcome to issue 148 of HWN, a newsletter covering developments in the [1]Haskell community. Hello Haskellers, this week begins with a correction. Last week, I noted a blogpost from one 'Bartek Paczesiowa', I was rapidly informed of the complete wrongness of this citation. In fact, Bartek's last name is, and I hope the Unicode makes it through here, 'wikowsk,' and Paczesiowa is his nickname. Apologies to Bartek, as penance I've reread your [2]excellent post on your blog. That said, this week's HWN if packed full of awesome potential naming errors, so I'll let you get to it. Thus, Haskellers, Your Haskell Weekly News! Announcements haskell-src-exts-1.8.0. Niklas Broberg [3]announced a new release of haskell-src-exts. Elerea 1.2.3 with some enhancements. Patai Gergely [4]announced his addition of some new features to the experimental branch of his FRP library, Elerea. hakyll-1.3. Jasper Van der Jeugt [5]announced the release of hakyll 1.3, including several new improvments and changes. ThreadScope 0.1. Satnam Singh [6]announced the release of Threadscope 0.1, the premier graphical thread profiler. The Monad.Reader Issue 15. Brent Yorgey [7]announced the most recent issue of the Monad.Reader, a monthly publication of Haskell Related expostition and discusson articles. afv-0.1.0. Tom Hawkins [8]announced a afv-0.1.0, an infinite state model checker for verifying assertions about embedded C programs. adaptive-tuple 0.1.0. John Lato [9]announced the initial release of adaptive-tuple, his library for combining the space-efficient properties of tuples with the utility of lists. Job opportunities at Citrix Systems (Cambridge, UK). Matthias Goergens [10]announced a opportunity available at Citrix Systems in Cambridge, UK. Discussion OT: Literature on translation of lambda calculus to combinators. Dusan Kolar [11]asked about texts regarding translating the untyped lambda calculus to a combinator calculus such as SKI or BCKW. Linguistic hair-splitting. Andrew Coppin [12]asked an interesting offtopic linguistic question about what we call a number, a field, an element, and a monad. Adopting hpodder? John Goerzen [13]asked if there were any interested adoptive maintainers for his hpodder project. This is an excellent opportunity for a Haskell Neophyte to help the community and learn about project management hopefully we can find hpodder a new maintainer! Blog noise [14]Haskell news from the [15]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Holumbus: [16]HolHac at FH-Wedel. * ++Arch Haskell Team++: [17]Arch Linux updates to GHC 6.12. * Neil Brown: [18]Exploring a Communicating Sequential Processes EDSL. * The GHC Team: [19]Yielding more improvements in parallel performance. Quotes of the Week * Berengal: I'm going to write a module Hmm with a (.) operator in it, so I can go 'Hmm..' in my code * clarkb,: in CS they dont teach you to program...You learn Data Structures, Algorithms, Logic, Discrete Math, Language theory, etc and happen to pick up programming on the way * dons: hey i love core. i dream about unboxes * cale: Differential geometry is the study of manifolds under change of notation. * kmc: the irony being, the abstraction that gets the most complaining and general noise [from imperative programmers] is the one that captures imperative programming * kmc: i am Jack's monad operator * arw: ...and a basic law of haskell is, 50% of all documentation has to be monad tutorials :) * Cale: Here [#haskell], we feed trolls until they explode. * bartek: It took me 2 years of studying teachings of Oleg Kiselyov (who was raised among types, where he learned to speak their language), but finally, I have the solution. * kmc: I think 250 milliolegs is enough to kill an elephant olsner: ... to kill an elephant - in the type system! * syntaxglitch: every time I have a cool idea about something that might work in Haskell, I go check Oleg's stuff and find that 1) he already did it 2) thought it out better 3) did it incidentally while working on something way more interesting * DRMacIver:: I dread to think what category theory would look like after the software engineering world had got their grubby paws on it. Enterprise variant functors. Commutative UML diagrams. About the Haskell Weekly News New editions are posted to [20]the Haskell mailing list as well as to [21]the Haskell Sequence and [22]Planet Haskell. [23]RSS is also available, and headlines appear on [24]haskell.org. To help create new editions of this newsletter, please see the information on [25]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [26]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://paczesiowa.blogspot.com/2010/01/pure-extensible-exceptions-and-self.… 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69749 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69745 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69731 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69612 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69535 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69517 9. http://article.gmane.org/gmane.comp.lang.haskell.general/17764 10. http://article.gmane.org/gmane.comp.lang.haskell.general/17763 11. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/69643 12. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/69620 13. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/69528 14. http://planet.haskell.org/ 15. http://haskell.org/haskellwiki/Blog_articles 16. http://holumbus.fh-wedel.de/blog/?p=32 17. http://archhaskell.wordpress.com/2010/01/31/arch-linux-updates-to-ghc-6-12/ 18. http://chplib.wordpress.com/2010/01/27/exploring-a-communicating-sequential… 19. http://ghcmutterings.wordpress.com/2010/01/25/yielding-more-improvements-in… 20. http://www.haskell.org/mailman/listinfo/haskell 21. http://sequence.complete.org/ 22. http://planet.haskell.org/ 23. http://sequence.complete.org/node/feed 24. http://haskell.org/ 25. http://haskell.org/haskellwiki/HWN 26. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

1 0

ANN: haskell-src-exts-1.8.0
by Niklas Broberg 31 Jan '10

31 Jan '10

Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.8.0! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo: http://code.haskell.org/haskell-src-exts For users of hsx, the latest version 0.6.1 works unchanged with this release. 1.7.2 --> 1.8.0 =============== * Add an instance Show Fixity (derived). * Support for the new ANN and INLINE_CONLIKE pragmas. * Remove support for CFILES and INCLUDE pragmas. The support wasn't correct anyway, as it assumed the pragmas appeared at the top of files. As CFILES/INCLUDE pragmas can (and do) appear anywhere, there's no hope to support them in the AST. Better to remove the support altogether. Files with CFILES/INCLUDE pragmas can still be parsed of course, but those pragmas will be handled as comments. * Parsing with ignoreLinePragmas = False now correctly updates the file name. * Allow the whole SPECIALISE/INLINE family of pragmas in instance declarations. The InsInline constructor is removed, and is now represented by 'InsDecl (InlineSig ...)'. * Fix a bug with line numbering and quasi quotes, and a similar one with line numbering and CDATA. * Fix a few minor bugs in the exactPrinter. * Fix the strange handling of so called strings in LINE pragmas. Cheers, /Niklas

1 1

Announce: adaptive-tuple 0.1.0
by John Lato 27 Jan '10

27 Jan '10

Hello, I am pleased to announce the initial release of adaptive-tuple, a library that aims to combine the variable-length convenience of lists with the smaller space requirements of tuples. Using the AdaptiveTuple class, computations can be constructed in a manner very similar to the ZipList Applicative instance. The final computation is passed to a reification function with an initial input to generate an output. adaptive-tuple is similar in conception to adaptive-containers. Where adaptive-containers uses specialized data types based upon the type of the elements, adaptive-tuple uses specialized containers based upon the number of elements. Using adaptive-tuple is similar to using a type-sized vector library such as parameterized-data, but with much lower runtime space requirements. Adaptive tuples are designed to be used when a very large number of small variable-sized containers are needed and using lists degrades performance. Available on hackage at http://hackage.haskell.org/package/adaptive-tuple. Comments, patches, and bug reports are welcome. In addition to Don Stewart, Alfonso Acosta, and others responsible for the type-level and adaptive-containers libraries, this package would not have been possible with Bulat Ziganshin's excellent Template Haskell tutorials. Cheers, John

1 0

Job opportunities at Citrix Systems (Cambridge, UK)
by Matthias Görgens 26 Jan '10

26 Jan '10

Hi folks, I just posted this job advert on the Haskell Cafe mailing list --- and someone suggested I crosspost here, too. Please pardon me if this double posting is too spammy. I have recently started working for Citrix in Cambridge. We are working on the open source software in Ocaml. Admittedly Ocaml is only a second best compared to Haskell ;o) and I hope my post does not count as too off-topic here. But Ocaml is still a decent language. My experience was primarily with Haskell and I only started working with Ocaml in earnest at Citrix. (So I hope that showing a way to transplant Haskell skills to the real world --- via the roundabout route of Ocaml --- justifies my posting.) So --- if you are looking for a job in Cambridge that involves functional programming, free software [1] and free beer [2], please feel free to drop me a line. I have included our original advert to the Ocaml mailing list for those who want more information first. Cheers, Matthias. [1] As in free speech. LGPL [2] As in free beer. We also get other perks, like snacks and a pool table. ---------- Forwarded message ---------- From: Dave Scott <Dave.Scott(a)eu.citrix.com> Date: 2010/1/18 Subject: [Caml-list] [jobs] Citrix Systems (Cambridge, UK) To: "caml-list(a)yquem.inria.fr" <caml-list(a)yquem.inria.fr>, "ocaml-jobs(a)inria.fr" <ocaml-jobs(a)inria.fr> Dear fellow OCaml users, Summary: We (Citrix Systems) are looking for OCaml programmers to join our team in Cambridge, UK. We use OCaml extensively in the "xapi tool-stack": the control-plane used in the Xen Cloud Platform[1] on which the widely used XenServer server virtualisation product[2] is based. XCP aims to provide a complete open-source cloud infrastructure platform with a powerful management stack based on standards-based APIs, support for multi-tenancy, SLA guarantees and detailed metrics for consumption based charging. We are looking to recruit top-class engineers to work on the tool-stack; applicants must have a good knowledge of data structures and algorithms, experience of programming in the context of large systems and general aesthetic good taste when it comes to code and architecture. Our code base is significant and varied: over 130,000 lines of OCaml, solving problems ranging from the low-level (Xen hypercalls) to the high-level (resource pool management), to the compiler-driven (generating language bindings for our Xen datamodel). Our ideal candidate will have: * significant experience of applications programming in high-level languages (such as OCaml :-) * an aptitude for implementing (and reasoning about) complex concurrent, distributed systems * the skills required to contribute to both the architectural design and day-to-day development of a large code-base * strong communication skills and problem solving ability * a determination to deliver great products that perform brilliantly and meet our customers' needs So if you want to tackle interesting and challenging programming problems and contribute to an innovative, fast-growing product that is already used by tens of thousands of customers across the world, please don't hesitate to send me your CV. [1] http://www.xen.org/products/cloudxen.html [2] http://www.citrix.com/English/ps2/products/feature.asp?contentID=1686939 Thanks, -- Dave Scott <dave.scott(a)eu.citrix.com>

1 0

ANN: The Monad.Reader Issue 15
by Brent Yorgey 26 Jan '10

26 Jan '10

I am very pleased to announce that Issue 15 of The Monad.Reader is now available for your reading pleasure [1]. Issue 15 consists of the following four articles: * "The hp2any project" by Gergely Patai * "Adventures in Three Monads" by Edward Z. Yang * "The Operational Monad Tutorial" by Heinrich Apfelmus * "Implementing STM in pure Haskell" by Andrew Coppin Feel free to browse the source files. You can check out the entire repository using darcs: darcs get http://code.haskell.org/~byorgey/TMR/Issue15 If you'd like to write something for Issue 16, please get in touch. The deadline will likely be sometime in mid-late April; more details will be forthcoming. -Brent [1] http://themonadreader.files.wordpress.com/2010/01/issue15.pdf

1 0

ANN: ftdi-0.1
by Roel van Dijk 25 Jan '10

25 Jan '10

Hello, I just released a very early version of my 'ftdi' library [1]. It is a small layer on top of the usb package [2] that enables you to communicate with FTDI [3] devices. Its design is based on the C-library libftdi [4], but it implemented completely in Haskell. Most functionality is untested. I only have access to an FT2232C chip, so testing other chips is not possible at the moment. Furthermore, the only thing I do with that chip is perform bulk reads and the occasional small (1 byte) bulk write. The good news is that it is quite good a bulk reads. It outperformed both libftdi-0.16 and the official driver [5] by about 40% for my use case. Although to be fair, both C libraries used the old libusb-0.1 library. This library is ultimately linked with libusb-1.0.* which is a complete rewrite. To play with the library either cabal install ftdi or darcs get http://code.haskell.org/~roelvandijk/code/ftdi Regards, Roel van Dijk 1 - http://hackage.haskell.org/package/ftdi 2 - http://ftdichip.com/ 3 - http://hackage.haskell.org/package/usb 4 - http://www.intra2net.com/en/developer/libftdi/ 5 - http://www.ftdichip.com/Drivers/D2XX.htm

1 0

Haskell Weekly News: Issue 147 - January 24, 2010
by jfredett＠gmail.com 24 Jan '10

24 Jan '10

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20100124 Issue 147 - January 24, 2010 --------------------------------------------------------------------------- Welcome to issue 147 of HWN, a newsletter covering developments in the [1]Haskell community. This week on the HWN, we have a new blogger in town, Bartek, over at 'The Power of Types Compels You', wrote an excellent article which is highlighted in the blogs section. Many new packages this week as well, and some interesting discussions about performance and existential types. So, Haskellers, till next week, your Haskell Weekly News! Announcements ForSyDe DSL v3.1. Seyed Hosein Attarzadeh Niaki [2]announced a new version of the ForSyDe DSL. This version provides more freedom in the declaration of process functions, as well as compatibility with base 4. parameterized-data library v0.1.4. Seyed Hosein Attarzadeh Niaki [3]announced a new version of the parameterized-data library. The parameterized-data library provides fixed-sized vectors, this update is provide minor compatibility fixes. Updates and a new member of the Monadic Regions family. Bas van Dijk [4]announced several new updates and a new member of the Monadic Regions family. bindings-DSL 1.0.4 (Category: FFI). Mauricio CA [5]announced a new version of his package bindings-DSL. Haskell XML Toolbox Version 8.5.0. Uwe Schmidt [6]announced a new version of the Haskell XML Toolbox (HXT). The main change in this version is the separation of the XPath and XSLT modules. Cardinality-0.1. Andrey Sisoyev [7]announced the release of his package Cardinality, a package for transforming between container types safely. afv-0.0.3. Tom Hawkins [8]announced a new release of AFV, an infinite state model checker for simple, iterative C programs. CfP: PPDP 2010. Temur Kutsia [9]announced a call for papers for the PPDP 2010 conference in July Mini-announce: A few package updates. Andrew Coppin [10]announced several new releases and updates to AC-EasyRaster-GTK, AC-Vector, and other packages. amqp-0.1. Holger Reinhardt [11]announced the release of his AMQP library. It currently only works with RabbitMQ and supports most of the 0-8 spec. An introduction to AMQP can be found [12]here. nntp 0.0.3. Maciej Piechotka [13]1f4e gmane.comp.lang.haskell.cafe/69228 announced a bugfix release to nntp. haskell-src-exts 1.7.0. Niklas Broberg [14]announced a new version of haskell-src-exts, featuring many new changes to the API. Discussion Existential Types (I guess). Ozgur Akgun [15]asked about a problem he encountered when trying to use Existential types. Is Haskell capable of matching C in string processing performance? John Millikin [16]asked a question about Haskell Performance... Quick! Someone get Don Stewart! Blog noise [17]Haskell news from the [18]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * ++Bartek Paczesiowa++: [19]Pure, extensible exceptions and self-returning functions. Bartek, over at 'The Power of Types Compels You', wrote a fantastic introduction to his forthcoming exceptions package. It's funny, and a great read about using type families (particularly, equality constraints) to create a pure exception handling mechanic. Definitely worth a visit. * Neil Mitchell: [20]Optimising HLint. * Kevin Reid (kpreid): [21]Darcs repositories back. * Darcs: [22]darcs weekly news #52. * Bryan O'Sullivan: [23]New GHC I/O manager, first sets of benchmark numbers. * Galois, Inc: [24]POPL 2010, Day 1. * Galois, Inc: [25]Tech Talk: A Scalable I/O Manager for GHC. * Galois, Inc: [26]PADL/PEPM 2010, Day 2. * Neil Brown: [27]The Process Composition Monad. * Galois, Inc: [28]PADL/PEPM 2010, Day 1. * Thomas M. DuBuisson: [29]GHC on ARM. * David Sankel: [30]Semantic Editor Combinators - one of my favorite blog posts. * David Sankel: [31]Best Haskell Papers of 2009. * Gtk2HS: [32]Compiling with ghc 6.12. * Arch Haskell News: [33]wxHaskell packaged for Arch. * Darcs: [34]darcs weekly news #51. * Don Stewart (dons): [35]Playing with the new Haskell epoll event library. * Dan Piponi (sigfpe): [36]Target Enumeration with the Euler Characteristic. Parts 1 & 2. Quotes of the Week * tensorpudding: the Plot monad allow you to keep the story pure by containing all the glaring time travel silliness * sproingie: quickcheck myLanguage.hs --> "Web browser created after 285,731 tests" * RossPaterson: I'm afraid you voided the warranty when you used UndecidableInstances. * aavogt: strong static typing is not a substitute for sleep * tensorpudding: fixity goes up to 11 * temoto: Backwards written in as Forth? * Paczesiowa: oh. can't argue with Cale :) * Axman6: and smilies make code run faster About the Haskell Weekly News New editions are posted to [37]the Haskell mailing list as well as to [38]the Haskell Sequence and [39]Planet Haskell. [40]RSS is also available, and headlines appear on [41]haskell.org. To help create new editions of this newsletter, please see the information on [42]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [43]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69474 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69473 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69470 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69465 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69434 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69366 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69339 9. http://article.gmane.org/gmane.comp.lang.haskell.general/17753 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69322 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69250 12. http://blogs.digitar.com/jjww/2009/01/rabbits-and-warrens/ 13. http://article.gmane.org/ 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/69197 15. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/69428 16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/69416 17. http://planet.haskell.org/ 18. http://haskell.org/haskellwiki/Blog_articles 19. http://paczesiowa.blogspot.com/2010/01/pure-extensible-exceptions-and-self.… 20. http://neilmitchell.blogspot.com/2010/01/optimising-hlint.html 21. http://kpreid.livejournal.com/21077.html 22. http://blog.darcs.net/2010/01/darcs-weekly-news-52.html 23. http://www.serpentine.com/blog/2010/01/22/new-ghc-io-manager-first-benchmar… 24. http://www.galois.com/blog/2010/01/21/popl-2010-day-1/ 25. http://www.galois.com/blog/2010/01/20/tech-talk-a-scalable-io-manager-for-g… 26. http://www.galois.com/blog/2010/01/20/padlpepm-2010-day-2/ 27. http://chplib.wordpress.com/2010/01/19/the-process-composition-monad/ 28. http://www.galois.com/blog/2010/01/19/padlpepm-2010-day-1/ 29. http://tommd.wordpress.com/2010/01/19/ghc-on-arm/ 30. http://netsuperbrain.com/blog/posts/semantic-editor-combiners/ 31. http://netsuperbrain.com/blog/posts/best-haskell-papers-of-2009/ 32. http://haskell.org/gtk2hs/archives/2010/01/18/compiling-with-ghc-612/ 33. http://archhaskell.wordpress.com/2010/01/18/wxhaskell-packaged-for-arch/ 34. http://blog.darcs.net/2010/01/darcs-weekly-news-51.html 35. http://donsbot.wordpress.com/2010/01/17/playing-with-the-new-haskell-epoll-… 36. http://blog.sigfpe.com/2010/01/target-enumeration-with-euler.html 37. http://www.haskell.org/mailman/listinfo/haskell 38. http://sequence.complete.org/ 39. http://planet.haskell.org/ 40. http://sequence.complete.org/node/feed 41. http://haskell.org/ 42. http://haskell.org/haskellwiki/HWN 43. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

1 0

Workshop on Advances in Message Passing (AMP) - Submission Deadline March 20, 2010
by Greg Bronevetsky 24 Jan '10

24 Jan '10

-------------------------------------------------------------------------------- Workshop on Advances in Message Passing (AMP) Languages, Compilers, and Run-time Support at the SIGPLAN 2010 Conference on Programming Language Design and Implementation June 6, 2010 Toronto, Canada CALL FOR PAPERS Submission: March 20, 2010 Notification: April 25, 2010 Final paper: May 16, 2010 http://www.cs.rochester.edu/u/cding/amp -------------------------------------------------------------------------------- As feature sizes in electronics grow smaller, physical issues such as bounds on the speed of light, pin counts and 2-dimensional network layouts threaten to constrain improvements in communication bandwidth and latency even as increasing core counts improve compute performance. The resulting limitations force application and system developers to explicitly optimize communication locality and timing sensitivity by using explicit communication primitives such as point-to-point sends/receives, puts/gets and collective operations such as broadcast. Today message passing is supported by a wide variety of APIs, including run-time libraries such as MPI, network interfaces such as TCP/IP and Internet protocols such as HTTP. However, relatively little attention has been paid to the connection between message-passing runtimes and programming languages and compilers. Programming a message-passing system involves the fundamental tasks of computation partitioning, data partitioning, and data communication. It poses a distinct set of challenges in the analysis, transformation, and support of such programs. Significant advances have been made in the areas programming languages, compiler support, and run-time systems for message passing programs. Such progress can be accelerated by integrating and sharing ideas, results, and tools, enabling new parallel programming techniques and improving the performance and maintainability of scientific applications as well as collaboration software. The AMP workshop brings together researchers in academia, industry and government research institutes to discuss the shared challenges and present state-of-art research results. It aims to become a focused forum on subjects in the interaction of programming language, program analysis, and run-time support of message passing systems. The topics of interest include but are not limited to o algorithms and applications o parallel languages and programmability studies o compiler and run-time techniques for improving locality, scalability, and reliability o performance, testing, and debugging tools o program analysis tools for message passing programs o programming constructs to improve the usability of message-passing AMP is soliciting both position papers (3 pages) and research papers (10 pages) that report previously unpublished work. Papers must be PDF files in ACM proceedings format, printable on US Letter and A4 paper (http://www.acm.org/sigs/sigplan/authorInformation.htm, 9 pt template). ORGANIZERS: Greg Bronevetsky, Lawrence Livermore National Laboratory greg(a)bronevetsky.com Chen Ding, University of Rochester cding(a)cs.rochester.edu Sven-Bodo Scholz, University of Hertfordshire S.Scholz(a)herts.ac.uk Michelle Strout, Colorado State University mstrout(a)cs.colstate.edu

1 0