A Provably Time-Efficient Parallel Implementation of Full Speculation (1996)

by John Greiner , Guy E. Blelloch
Venue:In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages
Citations:17 - 5 self

Documents Related by Co-Citation

82 Provably efficient scheduling for languages with fine-grained parallelism – Guy E. Blelloch, Phillip B. Gibbons, Yossi Matias - 1995
70 A provable time and space efficient implementation of nesl – Guy E. Blelloch, John Greiner - 1996
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – J├Ârgen Gustavsson , David Sands - 1999
81 Space-Efficient Scheduling of Multithreaded Computations – Robert D. Blumofe, Charles E. Leiserson - 1993
398 Scheduling Multithreaded Computations by Work Stealing – Robert D. Blumofe, Charles E. Leierson
177 Implementation of a Portable Nested Data-Parallel Language – Guy Blelloch, Siddhartha Chatterjee, Jonathan C. Hardwick, Jay Sipelstein, Marco Zagha - 1994
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
16 Parallelism in sequential functional languages – Guy Blelloch , John Greiner - 1995
102 Mul-T: A high-performance parallel Lisp – D Kranz, R H Halstead Jr, E Mohr - 1989
121 Bisimilarity as a theory of functional programming – A D Gordon
225 I-Structures: Data Structures for Parallel Computing – Arvind Rishiyur Nikhil, Rishiyur S. Nikhil Y (mit - 1989
23 An Operational Semantics for Parallel Lazy Evaluation – C Baker-Finch, D J King, J G Hall, P W Trinder - 2000
625 Compiling With Continuations – A W Appel - 1992
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
444 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
28 Space-Efficient Scheduling of Parallelism with Synchronization Variables – Guy E. Blelloch, Phillip B. Gibbons, Yossi Matias, Girija J. Narlikar
15 Efficient Compilation of High-Level Data Parallel Algorithms – Dan Suciu, Val Tannen - 1994
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991