Difference between revisions of "Research papers/Parallelism and concurrency"

Latest revision as of 06:20, 12 June 2023

General

Simon Marlow's publications on parallelism and GHC

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.

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

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

Parallel garbage collection

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.

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 (ν, G)-machine: L Augustsson, T Johnsson, 1990

@@ Line 1: / Line 1: @@
 __TOC__
-==Concurrency==
 See also [[Libraries_and_tools/Concurrency_and_parallelism]]
+==General==
-;[http://research.microsoft.com/~simonpj/Papers/conc-ffi/index.htm Extending the Haskell Foreign Function Interface with Concurrency]
+* [http://www.haskell.org/~simonmar/bib/bib.html Simon Marlow's publications on parallelism and GHC]
+==Concurrent Haskell==
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.80.4811&rep=rep1&type=pdf Extending the Haskell Foreign Function Interface with Concurrency]
 :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.
-;[http://research.microsoft.com/~simonpj/Papers/marktoberdorf Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell]
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.9123&rep=rep1&type=pdf 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.
@@ Line 17: / Line 21: @@
 :Simon Marlow. Journal of Functional Programming, 12(4+5):359--374, July 2002
-;[http://www.seas.upenn.edu/~lipeng/homepage/unify.html A language-based approach to unifying events and threads]
+;[http://www.cis.upenn.edu/~stevez/papers/LZ06b.pdf A language-based approach to unifying events and threads]
 :Peng Li and Steve Zdancewic, April 2006.
+;[http://citeseer.ist.psu.edu/184227.html Four Concurrency Primitives for Haskell]
-==Parallel Haskell==
+:Enno Scholz (1995)
+;[http://web.cecs.pdx.edu/~mpj/pubs/par.html Implicit and explicit parallel programming in Haskell]
-See also [[Libraries_and_tools/Concurrency_and_parallelism]]
+: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]
 :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]
 :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]
 :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]
@@ Line 72: / Line 71: @@
 :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.
-;[http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/gum.html GUM: a Portable Parallel implementation of Haskell]
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.52.7106&rep=rep1&type=pdf 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.
-;[http://citeseer.ist.psu.edu/734590.html An Operational Semantics for Parallel Lazy Evaluation]
+;[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8875 An Operational Semantics for Parallel Lazy Evaluation]
 :Clem Baker-Finch, University of Canberra, ICFP 2000.p162-173
-==Software transactional memory==
+==Lock free data structures and transactional memory==
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67.3686&rep=rep1&type=pdf Composable Memory Transactions]
-See also [[Libraries_and_tools/Concurrency_and_parallelism]]
-;[http://www.haskell.org/~simonmar/papers/stm.pdf 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
-;[http://www.haskell.org/~simonmar/papers/lockfreedatastructures.pdf Lock Free Data Structures using STMs in Haskell]
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.1678&rep=rep1&type=pdf Lock Free Data Structures using STM 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
-;[http://research.microsoft.com/~tharris/papers/2006-transact.pdf Transactional memory with data invariants]
+;[https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=30B8E5E935727CFEDEAA296CB547CF44?doi=10.1.1.129.2583&rep=rep1&type=pdf Transactional memory with data invariants]
 :Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06
+==Parallel garbage collection==
+See also [[Research_papers/Runtime_systems#Garbage_collection|garbage collection]].
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.146.1688&rep=rep1&type=pdf 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.
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.19.6616&rep=rep1&type=pdf 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
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.1988&rep=rep1&type=pdf GRAPHing the Future]
+:K Hammond, HW Loidl, JS Mattson, AS Partridge, SL Peyton Jones
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128.3692&rep=rep1&type=pdf Correctness-preserving derivation of concurrent garbage collection algorithms]
+:MT Vechev, E Yahav, DF Bacon, 2006.
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.1804&rep=rep1&type=pdf 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.
+;[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.52.9377&rep=rep1&type=pdf Parallel graph reduction with the (ν, G)-machine]
+:L Augustsson, T Johnsson, 1990
+See also [[Applications and libraries/Concurrency and parallelism]]
 [[Category:Research]]
+[[Category:Parallel]]

Difference between revisions of "Research papers/Parallelism and concurrency"

Latest revision as of 06:20, 12 June 2023

Contents

General

Concurrent Haskell

Parallel Haskell

Lock free data structures and transactional memory

Parallel garbage collection

Mobile Haskell

Parallel graph reduction

Navigation menu

Search