Difference between revisions of "Research papers/Runtime systems"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (Lots of parallel haskell papers) |
DonStewart (talk | contribs) (Factor out parallel/concurrency papers) |
||
Line 85: | Line 85: | ||
;[http://www.cs.chalmers.se/~rjmh/Papers/cds-loops.ps A Loop-detecting Interpreter for Lazy, Higher-order Programs] |
;[http://www.cs.chalmers.se/~rjmh/Papers/cds-loops.ps A Loop-detecting Interpreter for Lazy, Higher-order Programs] |
||
:Alex Ferguson and John Hughes. The 1992 Glasgow Workshop on Functional Programming. 85-101 |
:Alex Ferguson and John Hughes. The 1992 Glasgow Workshop on Functional Programming. 85-101 |
||
− | |||
− | ==Concurrency== |
||
− | |||
− | See also [[Libraries_and_tools/Concurrency_and_parallelism]] |
||
− | |||
− | ;[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. |
||
− | |||
− | ;[http://research.microsoft.com/copyright/accept.asp?path=/users/simonpj/papers/concurrent-haskell.ps.gz&pub=ACM 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] |
||
− | :In "Engineering theories of software construction", ed Tony Hoare, Manfred Broy, Ralf Steinbruggen, IOS Press, ISBN 1 58603 1724, 2001, pp47-96. |
||
− | |||
− | ;[http://www.haskell.org/~simonmar/papers/web-server-jfp.pdf Developing a high-performance web server in Concurrent Haskell] |
||
− | :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] |
||
− | :Peng Li and Steve Zdancewic, April 2006. |
||
− | |||
− | ==Parallel Haskell== |
||
− | |||
− | See also [[Libraries_and_tools/Concurrency_and_parallelism]] |
||
− | |||
− | ;[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.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] |
||
− | :Trinder P.W. Loidl H-W. Pointon R.F. Journal of Functional Programming 12(4&5) (2002), pp 469-510. |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/europar00.html 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. |
||
− | |||
− | ;[http://www-fp.dcs.st-and.ac.uk/pfpbook/ 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). |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~dsg/gdh/papers/diyGdh_ifl00_draft.ps 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.. |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~dsg/gdh/papers/sprocl.ps 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. |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/cpe.html 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. |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/strategies.html 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. |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~gnik/apset/transitionsystem.ps.gz 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 . |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~gnik/apset/strat-prof.ps.gz 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. |
||
− | |||
− | ;[http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/gum.html 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. |
||
− | |||
− | ==Software transactional memory== |
||
− | |||
− | 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] |
||
− | :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 |
||
==Foreign language interfaces== |
==Foreign language interfaces== |
Revision as of 04:20, 14 September 2006
- Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
- SL Peyton Jones, Journal of Functional Programming 2(2), Apr 1992, pp127-202.
- How to make a fast curry: push/enter vs eval/apply
- Simon Marlow and Simon Peyton Jones, Proc International Conference on Functional Programming, Snowbird, Sept 2004, pp4-15.
- The New GHC/Hugs Runtime System
- Simon Marlow and Simon Peyton Jones. (Unpublished.)
- The interactive Lazy ML System
- Lennart Augustsson, J. Funct. Program. 3(1): 77-92 (1993)
- Stretching the storage manager: weak pointers and stable names in Haskell
- Simon Peyton Jones, Simon Marlow, and Conal Elliott. Proc Workshop on Implementing Functional Languages, 1999.
- Putting the Spine back in the Spineless Tagless G-machine: An Implementation of Resumable Blackholes
- A. Reid, In Proceedings of Implementation of Functional Languages (IFL98), Lecture Notes in Computer Science, volume 1595, pp 189-202, Springer Verlag, 1999.
- The Brisk Machine: A Simplified STG Machine
- Ian Holyer and Eleni Spiliopoulou. University of Bristol. Technical Report CSTR-98-003. March 1998.
- The Brisk Machine: the Next Step in the Execution of Functional Languages
- Eleni Spiliopoulou. Proceedings of Festival Workshop in Foundations and Computations, FC'00. July 2000.
- The GRIN Project: A Highly Optimising Back End For Lazy Functional Languages
- Urban Boquist and Thomas Johnsson. 8th International Workshop on Implementation of Functional Languages. LNCS 1268. September 1996.
Profiling
- Formally-based profiling for higher-order functional languages
- PM Sansom and SL Peyton Jones, ACM Transactions on Programming Languages and Systems, 19(2), March 1997, pp 334-385.
- Time and space profiling for non-strict functional languages
- P Sansom and SL Peyton Jones, 22nd ACM Symposium on Principles of Programming Languages (POPL'95), San Francisco, Jan 1995, pp355-366.
- Execution profiling for non-strict functional languages
- P Sansom, PhD thesis, University of Glasgow, Nov 1994.
- Heap Profiling of Lazy Functional Programs
- Colin Runciman and David Wakeling. York University. YCS-92-172. 1992.
- New Dimensions in Heap Profiling
- Colin Runciman and Niklas Rojemo. York University. YCS-95-256. 1995.
Garbage collection
- Exploring the Barrier to Entry: Incremental Generational Garbage Collection for Haskell
- Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While, International Symposium on Memory Management, Vancouver, 2004.
- Non-stop Haskell
- Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While. ICFP 2000.
- Generational garbage collection for Haskell
- P Sansom and SL Peyton Jones Proc Functional Programming Languages and Computer Architecture (FPCA'93), Copenhagen, June 1993, pp106-116.
- An Incremental Garbage Collector for Embedded Real-Time Systems,
- Malcolm Wallace and Colin Runciman. Proceedings of Chalmers Winter Meeting, June 1993.
- Fixing some space leaks with a garbage collector
- Philip Wadler. Software Practice and Experience, 17(9):595-608, September 1987.
Optimistic Evaluation
- Optimistic Evaluation: an adaptive evaluation strategy for non-strict programs
- Robert Ennals and Simon Peyton Jones, Proc ACM International Conference on Functional Programming, Uppsala, Aug 2003 (ICFP'03).
- Eager Haskell: Resource-bounded Execution Yields Efficient Iteration
- Jan-Willem Maessen. Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. Pittsburgh, Pennsylvania. 38 - 50. 2002 ISBN 1-58113-605-6
- Cheap Eagerness: Speculative Evaluation in a Lazy Functional Language
- Karl-Filip Faxn. ICFP 2000. September 2000.
Dynamic linking
- Plugging Haskell In
- Andre Pang, Don Stewart, Sean Seefried, and Manuel M. T. Chakravarty. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 10-21. ACM Press, 2004
- Dynamic Applications From the Ground Up
- Don Stewart and Manuel M. T. Chakravarty. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 27-38. ACM Press, 2005.
Loop detection
- A Loop-detecting Interpreter for Lazy, Higher-order Programs
- Alex Ferguson and John Hughes. The 1992 Glasgow Workshop on Functional Programming. 85-101
Foreign language interfaces
- Scripting COM components in Haskell
- SL Peyton Jones, E Meijer, and D Leijen, Software Reuse 1998.
- Calling hell from heaven and heaven from hell
- Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones. ICFP '99.
- Green Card: a foreign-language interface for Haskell
- T Nordin and SL Peyton Jones, Proceedings of the Haskell Workshop, Amsterdam, June 1997.
- Calling heaven from hell, and hell from heaven
- Sigbjorn Finne, Daan Leijen, Erik Meijer and Simon Peyton Jones. ICFP'99
- C -> Haskell, or Yet Another Interfacing Tool
- Manuel M. T. Chakravarty. In Pieter Koopman and Chris Clack, editors, Implementation of Functional Languages, 11th. International Workshop (IFL'99), Springer-Verlag, LNCS 1868, 2000.
- H/Direct: A Binary Foreign Language Interface for Haskell
- Sigbjorn Finne, Daan Leijen, Erik Meijer and Simon Peyton Jones. Presented at the International Conference on Functional Programming, Baltimore, M
- Template Greencard
- A. Reid. To be presented at IFL 2003, 15th International Workshop on the Implementation of Functional Languages, Edinburgh, Scotland, September 8-10, 2003.