See this document in CiteSeerX!

Automatic Parallelization of Higher-Order Languages in the Polytope Model (1997)  (Make Corrections)  
Jean-François Collard



  Home/Search   Context   Related

 
View or download:
prism.uvsq.fr/rapp...ment_1997_16.ps.gz
prism.uvsq.fr/pub/repo...1997.016.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  prism.uvsq.fr/rapports/1997/ (more)
From:  fermivista.math...p.prism.uvsq.fr
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Automatic parallelization and reduction of memory requirement for functional programs have been two active research topics. In this paper, we address both issues simultaneously thanks to the polytope model, a framework originally crafted for the parallelization of imperative programs. 1 Introduction The concept of data-fields has been proposed as one way to integrate data-parallelism and functional programming. According to the definition given in [1], data-fields model collections of data as... (Update)

Active bibliography (related documents):   More   All
2.1:   Automatic Parallelization of Higher-Order Languages in the.. - Collard (1997)   (Correct)
0.3:   On The Space-Time Mapping Of While-Loops - Griebl, LENGAUER (1994)   (Correct)
0.3:   The Data Field Model - Lisper, Hammarlund (2001)   (Correct)

Similar documents based on text:   More   All
0.3:   Associative Datafields in Automotive Control - Schmitt, Ullrich, Tolle (1994)   (Correct)
0.2:   A Practical Framework for Redundancy Elimination on EPIC - Processors Jean-Fran Cois   (Correct)
0.1:   Development of Parallel Algorithms in Data Field Haskell - Holmerin, Lisper (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ collard-automatic,
  author = "Jean-François Collard",
  title = "Automatic Parallelization of Higher-Order Languages in the Polytope Model",
  url = "citeseer.ist.psu.edu/154110.html" }
Citations (may not include all citations):
183   Some efficient solutions to the affine scheduling problem - Feautrier - 1992
164   A practical algorithm for exact array dependence analysis (context) - Pugh - 1992
146   Unimodular transformations of double loops (context) - Banerjee - 1990
127   Control-flow analysis in scheme (context) - Shivers - 1988
88   Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
87   Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
66   Loop parallelization in the polytope model - Lengauer - 1993
58   Better static memory management: Improving region-based anal.. - Aiken, Fahndrich et al. - 1995
34   Automatic parallelization in the polytope model - Feautrier - 1996
24   Compilation of haskell array comprehensions for scientific c.. (context) - Anderson, Hudak - 1990
21   A backwards analysis for compile-time garbage collection (context) - Jensen, Mogensen - 1990
16   Code generation in automatic parallelizers (context) - Collard - 1994
15   PEI: A language and its refinement calculus for parallel pro.. (context) - Violard, Perrin - 1992
14   Data parallelism and functional programming (context) - Lisper - 1996
13   Mapping recurrences on parallel architectures (context) - Quinton - 1988
13   Derivation of data parallel code from a functional program - Quinton, Rajopadhye et al. - 1995
12   Efficient compile-time garbage collection for arbitrary data.. - Mohnen - 1995
12   Environnement logiciel de programmation d'un acc'el'erateur .. (context) - Chamski - 1993
7   Automatic code generation in the polytope model (context) - Wetzel - 1996
6   Extent analysis of data fields - Lisper, Collard - 1994
4   Alpha du centaur: A prototype environment for the design of .. (context) - Gachet, Quinton et al. - 1988
3   An algorithm to automate non-unimodular transformations of l.. - Xue - 1993
2   enonc'es pei pour la productions de programmes dataparall `e.. (context) - Genaud - 1995
1   Lawrence Livermore Nat (context) - Cann, Introduction

Documents on the same site (http://www.prism.uvsq.fr/rapports/1997/):   More
Eligible Start-time Fair Queuing: A New Fair Queuing Policy.. - Oula Abuamsha (1997)   (Correct)
Constrained Two-Dimensional Cutting Stock Problems - A.. - Cung, Hifi, Le Cun (1997)   (Correct)
On Data Fragmentation and Allocation in Distributed Object .. - Koreïchi, Le Cun (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC