Personal tools

Research papers/Parallelism and concurrency

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(category)
(add some parallel GC papers)
Line 1: Line 1:
 
__TOC__
 
__TOC__
 
==Concurrency==
 
   
 
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
 
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
  +
  +
==Concurrent Haskell==
   
 
;[http://research.microsoft.com/~simonpj/Papers/conc-ffi/index.htm Extending the Haskell Foreign Function Interface with Concurrency]
 
;[http://research.microsoft.com/~simonpj/Papers/conc-ffi/index.htm Extending the Haskell Foreign Function Interface with Concurrency]
Line 21: Line 21:
   
 
==Parallel Haskell==
 
==Parallel Haskell==
 
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
 
   
 
;[http://www.haskell.org/~simonmar/papers/multiproc.pdf Haskell on a Shared-Memory Multiprocessor]
 
;[http://www.haskell.org/~simonmar/papers/multiproc.pdf Haskell on a Shared-Memory Multiprocessor]
Line 29: Line 27:
 
;[http://www.scpe.org/vols/vol07/no3/SCPE_7_3_02.pdf Managing Heterogeneity in a Grid Parallel Haskell]
 
;[http://www.scpe.org/vols/vol07/no3/SCPE_7_3_02.pdf Managing Heterogeneity in a Grid Parallel Haskell]
 
:A. D. Al Zain, P. W. Trinder, G.J.Michaelson and H-W.Loid
 
:A. D. Al Zain, P. W. Trinder, G.J.Michaelson and H-W.Loid
 
;[http://www.jucs.org/jucs_12_7/strong_mobility_in_mobile 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.
 
 
;[http://www.macs.hw.ac.uk/~trinder/papers/SBLP05.pdf 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.
 
   
 
;[http://www.macs.hw.ac.uk/~trinder/papers/EdenGpH.ps Comparing Parallel Functional Languages: Programming and Performance]
 
;[http://www.macs.hw.ac.uk/~trinder/papers/EdenGpH.ps 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).
 
: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).
 
;[http://www.macs.hw.ac.uk/~trinder/papers/TFP03-mhaskell.pdf 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.
 
 
;[http://www.macs.hw.ac.uk/~trinder/papers/wflp03.ps 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.
 
   
 
;[http://www.macs.hw.ac.uk/~trinder/papers/ParDistrHaskells.ps Parallel and Distributed Haskells]
 
;[http://www.macs.hw.ac.uk/~trinder/papers/ParDistrHaskells.ps Parallel and Distributed Haskells]
Line 78: Line 64:
 
:Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173
 
:Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173
   
==Software transactional memory==
+
==Lock free data structures and transactional memory==
 
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
 
   
 
;[http://www.haskell.org/~simonmar/papers/stm.pdf Composable Memory Transactions]
 
;[http://www.haskell.org/~simonmar/papers/stm.pdf Composable Memory Transactions]
Line 88: Line 74:
 
;[http://research.microsoft.com/~tharris/papers/2006-transact.pdf Transactional memory with data invariants]
 
;[http://research.microsoft.com/~tharris/papers/2006-transact.pdf Transactional memory with data invariants]
 
:Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06
 
:Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06
  +
  +
==Parallel garbage collection==
  +
  +
;[http://reports-archive.adm.cs.cmu.edu/anon/usr0/ftp/home/anon/usr/anon/2001/CMU-CS-01-174.pdf Scalable Real-time Parallel Garbage Collection for Symmetric Multiprocessors]
  +
:P Cheng, 2001
  +
  +
==Mobile Haskell==
  +
  +
;[http://www.jucs.org/jucs_12_7/strong_mobility_in_mobile 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.
  +
  +
;[http://www.macs.hw.ac.uk/~trinder/papers/SBLP05.pdf 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.
  +
  +
;[http://www.macs.hw.ac.uk/~trinder/papers/TFP03-mhaskell.pdf 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.
  +
  +
;[http://www.macs.hw.ac.uk/~trinder/papers/wflp03.ps 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 graph reduction==
  +
  +
;[http://portal.acm.org/citation.cfm?id=36583.36590&coll=Portal&dl=GUIDE&CFID=11111111&CFTOKEN=2222222 GRIP A high-performance architecture for parallel graph reduction]
  +
:SLP Jones, C Clack, J Salkild, M Hardie, 1987.
  +
  +
;[http://portal.acm.org/citation.cfm?id=99370.99386 Parallel graph reduction with the (v, G)-machine]
  +
:L Augustsson, T Johnsson, 1990
  +
  +
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
   
 
[[Category:Research]]
 
[[Category:Research]]

Revision as of 06:18, 4 November 2006

Contents


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.

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

Scalable Real-time Parallel Garbage Collection for Symmetric Multiprocessors
P Cheng, 2001

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