Personal tools

Research papers/Parallelism and concurrency

From HaskellWiki

< Research papers
Revision as of 04:29, 14 September 2006 by DonStewart (Talk | contribs)

Jump to: navigation, search

Contents


1 Concurrency

See also Libraries_and_tools/Concurrency_and_parallelism

Extending the Haskell Foreign Function Interface with Concurrency
Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller, Proceedings of the Haskell Workshop, Snowbird, Sept 2004.
Concurrent Haskell
SL Peyton Jones, A Gordon, S Finne, 23rd ACM Symposium on Principles of Programming Languages, St Petersburg Beach, Florida, Jan 1996, pp295-308.
Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
In "Engineering theories of software construction", ed Tony Hoare, Manfred Broy, Ralf Steinbruggen, IOS Press, ISBN 1 58603 1724, 2001, pp47-96.
Developing a high-performance web server in Concurrent Haskell
Simon Marlow. Journal of Functional Programming, 12(4+5):359--374, July 2002
A language-based approach to unifying events and threads
Peng Li and Steve Zdancewic, April 2006.

2 Parallel Haskell

See also Libraries_and_tools/Concurrency_and_parallelism

Haskell on a Shared-Memory Multiprocessor
Tim Harris, Simon Marlow, Simon Peyton Jones) Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 49--61, Tallinn, Estonia, ACM Press, September 2005
Managing Heterogeneity in a Grid Parallel Haskell
A. D. Al Zain, P. W. Trinder, G.J.Michaelson and H-W.Loid
Strong Mobility in Mobile Haskell
Rauber Du Bois A. Trinder P.W. Loidl H.W. Journal of Universal Computer Science, 12(7) (2006), pp 868-884.
mHaskell: Mobile Computation in a Purely Functional Language
Rauber Du Bois A. Trinder P.W. Loidl H.W. Journal of Universal Computer Science, 11(7) (2005), pp 1234-1254.
Comparing Parallel Functional Languages: Programming and Performance
Loidl H-W. Rubio F. Scaife N. Hammond K. Horiguchi S. Klusik U. Loogen R. Michaelson G.J. Pena R. Priebe S. Trinder P.W. Higher-order and Symbolic Computation 16(3) (2003).
Implementing Mobile Haskell
Rauber Du Bois A. Trinder P.W. Loidl H.W. Proc. TFP'03 --- Trends in Functional Programming Vol.4, Intellect (September 2003), pp 79-94.
Towards a Mobile Haskell
Rauber Du Bois A. Trinder P.W. Loidl H.W. Proc. 12th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), Valencia, Spain (June 2003), pp 113-116.
Parallel and Distributed Haskells
Trinder P.W. Loidl H-W. Pointon R.F. Journal of Functional Programming 12(4&5) (2002), pp 469-510.
The Multi-Architecture Performance of the Parallel Functional Language GPH
Trinder P.W. Loidl H-W. Barry E. Rebon Portillo A.J. Euro-Par 2000 - Parallel Processing, Munich, Germany, Bode A. Ludwig T. and Wismuller R. (Eds) Springer Verlag LNCS (September 2000), pp 739-743.
Large-scale Functional Applications
Trinder P.W. Loidl H-W. Hammond K. Chapter of Parallel Functional Programming, Hammond K. and Michaelson G. (Eds) Springer Verlag ISBN 1-85233-092-9 (2000).
The Design and Implementation of Glasgow distributed Haskell
Pointon R.F. Trinder P.W. Loidl H-W. IFL'00 - 12th International Workshop on the Implementation of Functional Languages, Aachen, Germany (September 2000) Springer Verlag LNCS 2011, pp 53-70..
Motivation for GdH, a Distributed Non-strict Functional Language
Trinder P.W. International Workshop on Parallel and Distributed Computing for Symbolic, Irregular Applications (PDSIA'99), Sendai, Japan (July 1999), T. Ito, T Yuasa (Eds), World Scientific ISBN 981-02-4139-9 (2000), pp 72-81.
Engineering Parallel Symbolic Programs in GpH
Loidl H-W. Trinder P.W. Hall C.V. Hammond K. Junaidu S.B. Morgan R.G. Peyton Jones S.L. Concurrency: Practice and Experience, 11(12) (December 1999), pp 701-752.
Algorithm + Strategy = Parallelism
Trinder P.W. Hammond K. Loidl H-W. Peyton Jones S.L. Journal of Functional Programming, 8(1) (January 1998) pp~23-60.
Towards an operational semantics for a parallel non-strict functional language
Hall J.G. Baker-Finch C. Trinder P.W. King D.J. Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, University College London, England (September 1998), Springer Verlag LNCS 1595, pp 55-67 .
A Strategic Profiler for Glasgow Parallel Haskell (GpH)
King D.J. Hall J.G. Trinder P.W. Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, University College London, England (September 1998), {\em Springer Verlag} LNCS 1595, pp 90-104.
GUM: a Portable Parallel implementation of Haskell
Trinder P. Hammond K. Mattson J. Partridge A. Peyton Jones S. Proceedings of Programming Languages Design and Implementation (PLDI), Philadelphia, USA, (May 1996) pp79-88.

3 Software transactional memory

See also Libraries_and_tools/Concurrency_and_parallelism

Composable Memory Transactions
Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy. PPoPP'05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005
Lock Free Data Structures using STMs in Haskell
Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh) FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Fuji Susono, JAPAN, April 2006
Transactional memory with data invariants
Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06