Personal tools

Research papers/Parallelism and concurrency

From HaskellWiki

Jump to: navigation, search


See also Libraries_and_tools/Concurrency_and_parallelism

1 Concurrent Haskell

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.
Four Concurrency Primitives for Haskell
Enno Scholz (1995)

2 Parallel Haskell

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
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).
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.
An Operational Semantics for Parallel Lazy Evaluation
Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173

3 Lock free data structures and transactional memory

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

4 Parallel garbage collection

See also garbage collection.

A parallel, real-time garbage collector
P Cheng, GE Blelloch 2001
Scalable Real-time Parallel Garbage Collection for Symmetric Multiprocessors
P Cheng, 2001
GRAPHing the Future
K Hammond, HW Loidl, JS Mattson, AS Partridge, SL Peyton Jones
Correctness-preserving derivation of concurrent garbage collection algorithms
MT Vechev, E Yahav, DF Bacon, 2006.
On bounding time and space for multiprocessor garbage collection
GE Blelloch, P Cheng, 1999
Memory Management on a Massively Parallel Capability Architecture
J Brown

5 Mobile Haskell

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.
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.

6 Parallel graph reduction

GRIP A high-performance architecture for parallel graph reduction
SLP Jones, C Clack, J Salkild, M Hardie, 1987.
Parallel graph reduction with the (v, G)-machine
L Augustsson, T Johnsson, 1990

See also Libraries_and_tools/Concurrency_and_parallelism