Personal tools

Research papers/Parallelism and concurrency

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(+link)
m (Concurrent Haskell)
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
__TOC__
 
__TOC__
 
==Concurrency==
 
   
 
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
 
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
  +
  +
==General==
  +
  +
* [http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow's publications on parallelism and GHC]
  +
  +
==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]
 
:Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller, Proceedings of the Haskell Workshop, Snowbird, Sept 2004.
 
:Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller, Proceedings of the Haskell Workshop, Snowbird, Sept 2004.
   
;[http://research.microsoft.com/copyright/accept.asp?path=/users/simonpj/papers/concurrent-haskell.ps.gz&pub=ACM Concurrent Haskell]
+
;[http://www.haskell.org/ghc/docs/papers/concurrent-haskell.ps.gz 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.
 
:SL Peyton Jones, A Gordon, S Finne, 23rd ACM Symposium on Principles of Programming Languages, St Petersburg Beach, Florida, Jan 1996, pp295-308.
   
Line 20: Line 24:
 
:Peng Li and Steve Zdancewic, April 2006.
 
:Peng Li and Steve Zdancewic, April 2006.
   
==Parallel Haskell==
+
;[http://citeseer.ist.psu.edu/184227.html Four Concurrency Primitives for Haskell]
  +
:Enno Scholz (1995)
   
See also [[Libraries_and_tools/Concurrency_and_parallelism]]
+
;[http://web.cecs.pdx.edu/~mpj/pubs/par.html Implicit and explicit parallel programming in Haskell]
  +
:Mark P. Jones and Paul Hudak, Research Report YALEU/DCS/RR-982, Yale University, New Haven, Connecticut, USA, August 1993.
  +
  +
==Parallel Haskell==
   
 
;[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]
 
: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
 
: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
  +
  +
;[http://www.cse.unsw.edu.au/~chak/papers/CLPKM06.html Data Parallel Haskell: a status report]
  +
:Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, and Simon Marlow, 2006.
   
 
;[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 73:
 
: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 83:
 
;[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==
  +
  +
See also [[Research_papers/Runtime_systems#Garbage_collection|garbage collection]].
  +
  +
;[http://research.microsoft.com/~simonpj/papers/parallel-gc/index.htm Parallel generational-copying garbage collection with a block-structured heap]
  +
:Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones, International Symposium on Memory Management 2008.
  +
  +
;[http://portal.acm.org/citation.cfm?id=378823&dl=ACM&coll=GUIDE&CFID=11111111&CFTOKEN=2222222 A parallel, real-time garbage collector]
  +
:P Cheng, GE Blelloch 2001
  +
  +
;[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
  +
  +
;[http://www.macs.hw.ac.uk/~dsg/gph/papers/ps/graphing.ps.gz GRAPHing the Future]
  +
:K Hammond, HW Loidl, JS Mattson, AS Partridge, SL Peyton Jones
  +
  +
;[http://portal.acm.org/citation.cfm%3Fid%3D1133255.1134022 Correctness-preserving derivation of concurrent garbage collection algorithms]
  +
:MT Vechev, E Yahav, DF Bacon, 2006.
  +
  +
;[http://portal.acm.org/citation.cfm?id=301631.301648 On bounding time and space for multiprocessor garbage collection]
  +
:GE Blelloch, P Cheng, 1999
  +
  +
;[http://www.ai.mit.edu/projects/aries/Documents/jhbrown_thesis_proposal.pdf Memory Management on a Massively Parallel Capability Architecture]
  +
:J Brown
  +
  +
==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 [[Applications and libraries/Concurrency and parallelism]]
  +
  +
[[Category:Research]]
  +
[[Category:Parallel]]

Latest revision as of 09:53, 27 January 2012

Contents


See also Libraries_and_tools/Concurrency_and_parallelism

[edit] 1 General

[edit] 2 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)
Implicit and explicit parallel programming in Haskell
Mark P. Jones and Paul Hudak, Research Report YALEU/DCS/RR-982, Yale University, New Haven, Connecticut, USA, August 1993.

[edit] 3 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
Data Parallel Haskell: a status report
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, and Simon Marlow, 2006.
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

[edit] 4 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

[edit] 5 Parallel garbage collection

See also garbage collection.

Parallel generational-copying garbage collection with a block-structured heap
Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones, International Symposium on Memory Management 2008.
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

[edit] 6 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.

[edit] 7 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 Applications and libraries/Concurrency and parallelism