Optimistic Evaluation: An Adaptive Evaluation Strategy for Non-Strict Programs

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn 8, Issue , 2003, Pages 287-298

  Ennals, Robert ^a   Peyton Jones, Simon ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Haskell; Lazy Evaluation; Online Profiling

Indexed keywords

LAZY EVALUATION; ONLINE PROFILING;

AUTOMATIC PROGRAMMING; MATHEMATICAL MODELS; OPTIMIZATION; PROGRAM COMPILERS; RESOURCE ALLOCATION; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1142299744     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (40)

1. L. Augustsson and T. Johnsson. The chalmers lazy-ML compiler. The Computer Journal, 32(2):127-141, Apr. 1989.
2. T. Ball and J. R. Larus. Branch prediction for free. In ACM Conference on Programming Languages Design and Implementation (PLDI'93), pages 300-313. ACM, June 1993.
3. U. Boquist. Code Optimisation Techniques for Lazy Functional Languages. PhD thesis, Chalmers University of Technology, Sweden, April 1999.
4. M. G. Burke, J.-D. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. J. Serrano, V. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeno dynamic optimizing compiler for Java. In Proceedings of the ACM Java Grande Conference, 1999.
5. F. W. Burton. Speculative computation, parallelism and functional programming. IEEE Trans Computers, C-34(12):1190-1193, Dec. 1985.
6. M. M. T. Chakravarty. Lazy thread and task creation in parallel graph reduction. In International Workshop on Implementing Functional Languages, Lecture Notes in Computer Science. Springer Verlag, 1998.
7. K.-F. Faxén. Cheap eagerness: Speculative evaluation in a lazy functional language. In ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montreal, Sept. 2000. ACM.
8. K.-F. Faxén. Dynamic cheap eagerness. In Proceedings of the 2001 Workshop on Implementing Functional Languages. Springer Verlag, 2001.
9. ACM Workshop on Feedback Directed and Dynamic Optimization (FDDO), 2001.
10. M. Frigo, C. E. Leiserson, and K. H. Randall. The implementation of the Cilk-5 multithreaded language. In ACM Conference on Programming Languages Design and Implementation (PLDI'98), volume 33, pages 212-223, Atlanta, May 1998. ACM.
11. J. Gustavsson. A type-based sharing analysis for update avoidance and optimisation. In ACM SIGPLAN International Conference on Functional Programming (ICFP'98), volume 34(1) of ACM SIGPLAN Notices, Baltimore, 1998. ACM.
12. R. H. Halstead. Multilisp - a language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501-538, Oct. 1985.
13. K. Hammond and J. O'Donnell, editors. Functional Programming, Glasgow 1993, Workshops in Computing. Springer Verlag, 1993.
14. C. Haynes and D. Friedman. Engines build process abstractions. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, 1984.
15. U. Hölzle. Adaptive optimization for Self: reconciling high performance with exploratory programming. Ph.D. thesis, Computer Science Department, Stanford University. Mar. 1995.
16. J. Hughes. Why functional programming matters. The Computer Journal, 32(2):98-107, Apr. 1989.
17. M. Huntback. Speculative computation and priorities in concurrent logic languages. In ALPUK Conference, 1991.
18. H. M. J Gosling. The Java Language Environment: a White Paper. Technical report, Sun Microsystems, 1996.
19. J.-W. Maessen. Eager Haskell: Resource-bounded execution yields efficient iteration. In The Haskell Workshop, Pittsburgh, 2002.
20. J.-W. Maessen. Hybrid Eager and Lazy Evaluation for Efficient Compilation of Haskell. PhD thesis, Massachusetts Institute of Technology, June 2002.
21. S. Marlow, S. Peyton Jones, A. Moran, and J. Reppy. Asynchronous exceptions in Haskell. In ACM Conference on Programming Languages Design and Implementation (PLDI'01), pages 274-285, Snowbird, Utah, June 2001. ACM.
22. J. Mattson. An effective speculative evaluation technique for parallel supercombinator graph reduction. Ph.D. thesis, Department of Computer Science and Engineering, University of California, San Diego, Feb. 1993.
23. J. S. Mattson Jr and W. G. Griswold. Local Speculative Evaluation for Distributed Graph Reduction. In Hammond and O'Donnell [13], pages 185-192.
24. L. Maurer. Isn't this tail recursive? Message posted to the Haskell mailing list: http://haskell.org/pipermail/haskell/2002-March/009126.html, Mar. 2002.
25. E. Mohr, D. Kranz, and R. Halstead. Lazy task creation - a technique for increasing the granularity of parallel programs. IEEE Transactions on Parallel and Distributed Systems, 2(3), July 1991.
26. A. Moran, S. Lassen, and S. Peyton Jones. Imprecise exceptions, co-inductively. In Higher Order Operational Techniques in Semantics: Third International Workshop, number 26 in Electronic Notes in Theoretical Computer Science, pages 137-156. Elsevier, 1999.
27. R. Osbourne. Speculative computation in Multilisp. PhD thesis, MIT Lab for Computer Science, Dec. 1989.
28. W. Partain. The nofib benchmark suite of Haskell programs. In J. Launchbury and P. Sansom, editors, Functional Programming, Glasgow 1992, Workshops in Computing, pages 195-202. Springer Verlag, 1992.
29. S. Peyton Jones, C. Hall, K. Hammond, W. Partain, and P. Wadler. The Glasgow Haskell Compiler: a technical overview. In Proceedings of Joint Framework for Information Technology Technical Conference, Keele, pages 249-257. DTI/SERC, Mar. 1993.
30. S. Peyton Jones, S. Marlow, and A. Reid. The STG runtime system (revised). Technical report, Microsoft Research, February 1999. Part of GHC source package.
31. S. Peyton Jones and W. Partain. Measuring the effectiveness of a simple strictness analyser. In Hammond and O'Donnell [13], pages 201-220.
32. S. Peyton Jones, A. Reid, C. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation (PLDI'99), pages 25-36, Atlanta, May 1999. ACM.
33. S. Peyton Jones and P. Wadler. Imperative functional programming. In 20th ACM Symposium on Principles of Programming Languages (POPL '93), pages 71-84. ACM, Jan. 1993.
34. K. Schauser, D. Culler, and S. Goldstein. Separation constraint partitioning: a new algorithm for partitioning non-strict programs into sequential threads. In 22nd ACM Symposium on Principles of Programming Languages (POPL'95), pages 259-271. ACM, Jan. 1995.
35. P. Sestoft. Deriving a lazy abstract machine. Journal of Functional Programming, 7, 1997.
36. J. E. Smith. A study of branch prediction strategies. In International Symposium on Computer Architecture, 1981.
37. Sun Microsystems. The Java HotSpot Virtual machine, White Paper, 2001.
38. K. Traub. Sequential implementation of lenient programming languages. Ph.D. thesis, MIT Lab for Computer Science, 1988.
39. C. von Dorrien. Stingy evaluation. Licentiate thesis, Chalmers University of Technology, May 1989.
40. P. Wadler and J. Hughes. Projections for strictness analysis. In G. Kahn, editor, Functional Programming Languages and Computer Architecture. Springer Verlag LNCS 274, Sept. 1987.