Patrice Quinton, Sanjay Rajopadhye, Doran Wilde  Home/Search
Context Related
| irisa.fr/techreports/199...PI905.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.irisa.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Alpha is a data parallel functional language which has the capability of specifying algorithms at a very high level. Our ultimate objective is to generate efficient parallel imperative code from an Alpha program. In this paper, we discuss the related problem of generating efficient single processor imperative code. Analysis techniques that were developed for the synthesis of systolic arrays are extended and adapted for the compilation of functional programming languages. We also demonstrate... (Update)
Context of citations to this paper: More
...point in the polyhedron. This can be done with a set of nested loops with piecewise affine upper and lower bounds. This work is related to [QRW95b] which discusses efficient compilation of Alpha for a single processor when a schedule is known, and [QRW95a] which proposes a...
.... the resulting context switches can be avoided if the program is transformed into (sequential) imperative single assignment code (SAC) [13]. This is currently done semi automatically the user chooses the transformation, and the system generates the final code automatically...
Cited by: More
On Code-Generation in the Polyhedral Model - Quiller, Rajopadhye (2001) (Correct)
The Data Field Model - Lisper, Hammarlund (2001) (Correct)
Systolic Origins of the Polyhedral Model - Rajopadhye (Correct)
Similar documents (at the sentence level):
43.0%: From ALPHA to Imperative Alpha to Imperative Code: A.. - Wilde (1995) (Correct)
7.5%: On Deriving Data Parallel Code from a Functional Program - Patrice Quintonz (Correct)
Active bibliography (related documents): More All
0.8: Derivation of Data Parallel Code from a Functional Program - Quinton, Rajopadhye, Wilde (1994) (Correct)
0.7: Memory Reuse Analysis in the Polyhedral Model - Rajopadhye, Wilde (1996) (Correct)
0.3: The Naive Execution of Affine Recurrence Equations - Patrice Quinton (1995) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Using Static Analysis To Derive Imperative Code From Alpha - Quinton, Rajopadhye, Wilde (Correct)
0.5: On Manipulating Z-Polyhedra - Quinton, al. (1996) (Correct)
0.4: An Inductive Constructive Method For Computation Of The Face .. - Wilde, Rajopadhye (Correct)
Related documents from co-citation: More All
8: Some efficient solution to the affine scheduling problem - Feautrier - 1992
6: Synthesizing systolic arrays from recurrence equations (context) - Rajopadhye, Fujimoto - 1990
5: Dataflow analysis of array and scalar references - Feautrier - 1991
BibTeX entry: (Update)
P. Quinton, S. Rajopadhye, and D. Wilde. Deriving Imperative Code from Functional Programs. Technical Report PI ?, IRISA, Rennes, France, Jan 1995. http://citeseer.ist.psu.edu/quinton95deriving.html More
@inproceedings{ quinton95deriving,
author = "Patrice Quinton and Sanjay V. Rajopadhye and Doran Wilde",
title = "Deriving Imperative Code from Functional Programs",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "36-44",
year = "1995",
url = "citeseer.ist.psu.edu/quinton95deriving.html" }
Citations (may not include all citations):2441 The Johns Hopkins University Press (context) - Golub, Van Loan - 1983
287 Mathematica: A System for Doing Mathematics by Computer (context) - Wolfram - 1991
183 Some efficient solutions to the affine scheduling problem - Feautrier - 1992
169 Scanning polyhedra with DO loops - Ancourt, Irigoin - 1991
89 SISAL---streams and iteration in a single--assignment langua.. (context) - McGraw, Skedzielewski et al. - 1985
54 A Library for Doing Polyhedral Operations - Wilde - 1993
43 Crystal: theory and pragmatics of generating efficient paral.. (context) - Chen, Choo et al. - 1991
34 Synthesizing systolic arrays from recurrence equations (context) - Rajopadhye, Fujimoto - 1990
19 eles synchrones. PhD thesis, Universit (context) - Mauras, un et al. - 1989
13 Derivation of data parallel code from a functional program - Quinton, Rajopadhye et al. - 1995
11 A new array operation - Wadler - 1986
10 Regular array synthesis using Alpha - Wilde, Si'e - 1994
6 Loop Nest Synthesis Using the Polyhedral Library - Le Verge, Van Dongen et al. - 1994
6 Reduction operators in Alpha (context) - Le Verge - 1992
5 The Naive Execution of Affine Recurrence Equations - Quinton, Rajopadhye et al. - 1995
4 Program and Data Transformations for Efficient Execution on .. - O'Boyle - 1992
2 ATABLE 92: Second International Workshop on Array Structure (context) - Hains, Mullin - 1992
1 Automata Networks in Computer Science: Theory and Applicatio.. (context) - Quinton, design et al. - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.irisa.fr.html): More
Table 51: Topology error tests - Test Path (Correct)
Solving the Consensus Problem in a Mobile Environment - Badache, Hurfin, Macedo (1997) (Correct)
A New Method For The Generation Of Strong Prime Numbers - Saouter (1995) (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