Sahalu B. Junaidu  Home/Search
Context Related
| fp.dcs.stand.ac.u...naiduthesis.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: fp.dcs.stand.ac.u...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The research presented in this thesis is about the design and implementation of Naira, a parallel, parallelising compiler for a rich, purely functional programming language. The source language of the compiler is a subset of Haskell 1.2. The front end of Naira is written entirely in the Haskell subset being compiled. Naira has been successfully parallelised and it is the largest successfully parallelised Haskell program having achieved good absolute speedups on a network of SUN workstations.... (Update)
Context of citations to this paper: More
.... The main motivation for writing Naira is to explore the prospects and problems of parallelising a modern functional language compiler [Jun98] Another aspect is to make the compiler accept parallelised program inputs and to generate multithreaded parallel code so that we can...
.... The main motivation for writing Naira is to explore the prospects and problems of parallelising a modern functional language compiler [4]. Another aspect is to make the compiler accept parallelised program inputs and to generate multithreaded parallel code so that we can...
Cited by: More
Engineering Parallel Symbolic Programs in GpH - Loidl, Trinder, Hammond.. (1999) (Correct)
Multi-Architecture Parallel Programming Using GpH, a Functional.. - Aswad (2002) (Correct)
Measuring Naira: a Symbolic Program with Irregular Parallelism - Junaidu, Trinder (2002) (Correct)
Active bibliography (related documents): More All
1.3: GpH: An Architecture-independent Functional Language - Trinder, Barry, Jr.. (1998) (Correct)
1.0: Parallel Cost Centre Profiling - Hammond, Loidl, Trinder (1997) (Correct)
0.9: Automatic Spark Strategies and Granularity for a.. - Hammond, Mattson.. (1994) (Correct)
Similar documents based on text: More All
1.7: Proof Search Issues In Some Non-Classical Logics - Howe (1998) (Correct)
0.2: Automatic Completely-Simple Semigroups - Campbell, Robertson, Thomas (Correct)
0.2: Engineering Parallel Symbolic Programs in GPH - Loidl, Trinder, Hall.. (1998) (Correct)
Related documents from co-citation: More All
5: GUM: A Portable Parallel Implementation of Haskell - Trinder, Hammond et al. - 1996
4: Granularity in Large-Scale Parallel Functional Programming (context) - Loidl - 1998
4: Compiling Haskell by program transformation: a report from the trenches - Jones - 1996
BibTeX entry: (Update)
S. Junaidu, A Parallel Functional Language Compiler for Message Passing Multicomputers, PhD thesis, School of Mathematical and Computational Sciences, St Andrews University, Scotland, March 1998. http://citeseer.ist.psu.edu/junaidu98parallel.html More
@phdthesis{ junaidu98parallel,
author = "S. Junaidu",
title = "{A Parallel Functional Language Compiler for Message Passing Multicomputers}",
address = "University of St.\ Andrews",
year = "1998",
url = "citeseer.ist.psu.edu/junaidu98parallel.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
729 The Lambda Calculus: its Syntax and Semantics (context) - Barendregt - 1994
521 Compiling with Continuation (context) - Appel - 1992
484 A Calculus of Communicating Systems (context) - Milner - 1980
474 Term Rewriting Systems - Klop
362 ML for the Working Programmer (context) - Paulson - 1991
359 The Implementation of Functional Programming Languages (context) - Jones - 1987
342 Data Abstraction and Polymorphism (context) - Cardelli, Types - 1985
278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
273 Can Programming be Liberated from the von Neumann Style (context) - Backus
266 Adaptive Load Sharing in Homogeneous Distributed systems (context) - Eager, Lazowska et al. - 1986
244 Imperative Functional Programming - Jones, Wadler - 1991
234 Multilisp: A Language for Concurrent Symbolic Computation (context) - Halstead - 1985
219 Bounds on Multiprocessing Timing Anomalies (context) - Graham - 1969
218 The Mechanical Evaluation of Expressions (context) - Landin - 1964
200 Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner - 1997
185 The Calculi of Lambda-Conversion (context) - Church - 1963
171 Parallel Programming Using Skeleton Functions - Darlington - 1993
166 NESL: A Nested Data-Parallel Language - Blelloch - 1993
152 Structures: Data Structures for Parallel Computing - RS, KK et al. - 1989
146 The Glasgow Haskell Compiler: A Technical Overview - Jones, Hall et al. - 1993
143 A New Implementation Technique for Applicative Languages (context) - Turner - 1979
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993
113 a Non-strict Purely Functional Language (context) - Hudak, Wadler et al. - 1990
107 The Gradient Model Load Balancing Method (context) - Lin, Keller - 1987
102 Term Graph Rewriting (context) - Barendregt, van Eekelen et al. - 1987
95 Elements of Functional Programming (context) - Reade - 1989
94 Projections for Strictness Analysis - Wadler, Hughes - 1987
86 Functional Programming (context) - Field, Harrison - 1988
86 A Correspondence Between Algol 60 and Church's Lambda Calcul.. (context) - Landin - 1965
76 Equations and Rewrite Rules: A Survey (context) - Huet, Oppen
69 Compiling Lazy Functional Languages (context) - Johnsson - 1987
68 Functional Programming for Loosely-Coupled Multiprocessors (context) - Kelly - 1989
66 A High Performance Parallel Lisp (context) - Kranz, Halstead et al.
65 Higher Order Functions for Parsing - Hutton - 1992
65 von Neumann Hybrid Architecture (context) - Iannucci, Dataflow - 1988
63 and Applications of Functional Programming Languages (context) - Hudak, Evolution - 1989
63 Laboratory for the Foundation of Computer Science (context) - Harper, Milner et al. - 1988
63 FUDGETS - A Graphical User Interface in a Lazy Functional La.. - Carlsson, Hallgren - 1993
57 The Implementation of the Gofer Functional Programming Syste.. - Jones - 1994
54 Type Assignment in Programming Languages (context) - Damas - 1985
51 Two Fundamental Issues in Multiprocessing (context) - RA - 1987
51 The Programming Language Concurrent Pascal (context) - Hansen
50 Programming Language Theory and its Implementation (context) - Gordon - 1988
49 Can Dataflow Subsume von Neumann Computing (context) - Nikhil - 1989
49 Resource Requirements of Dataflow Programs (context) - Arvind - 1988
48 Data Flow Program Graphs (context) - Davis, Keller - 1982
47 Department of Computer Science (context) - Milner, of et al. - 1996
45 A Distributed Drafting Algorithm for Load Balancing (context) - Ni, Xu et al. - 1985
44 Clean --- A Language for Functional Graph Rewriting (context) - Brus, van Eekelen et al. - 1987
44 GRIP---A High-Performance Architecture for Parallel Graph Re.. (context) - Jones, Clack et al. - 1987
42 Compiling a Functional Language - Cardelli - 1984
42 Multiprocessor Execution of Functional Programs (context) - Goldberg - 1988
40 Elements of Interaction (context) - Milner - 1993
38 Parallel Programming using Functional Languages - Roe - 1991
37 Parallel Implementation of Functional Programming Languages (context) - Jones - 1989
35 Implementing Functional Languages: A Tutorial (context) - Jones, Lester - 1991
35 Para-functional Programming in Haskell (context) - Hudak - 1995
35 Supercombinators - A New Implementation Method for Applicati.. (context) - Hughes - 1982
33 Purely Functional Language (context) - Peterson, Hammond et al. - 1997
31 Benchmarking Implementations of Lazy Functional Languages - Hartel, Langendoen
29 Transactions of the American Mathematical Society (context) - Church, Rosser et al.
28 Skeleton-Based Parallelisation of Functional Programs (context) - Bratvold - 1994
28 An Introduction to Functional Programming Systems Using Hask.. (context) - Davie - 1992
28 Studies in Logic and Foundations of Mathematics (context) - Curry, Feys et al.
27 Evaluation Transformers --- A Model for the Parallel Evaluat.. (context) - Burn - 1987
26 Preliminary Discussion of the Logical Design of an Electroni.. (context) - Burks, Goldstine et al. - 1973
25 Compiling Pattern Matching by Term Decomposition - Puel, Su'arez - 1990
25 The Parallel Programming Language Id and its Compilation for.. (context) - Nikhil - 1989
24 Time and Space Profiling for Non-strict Higher Order Functio.. - Sansom, Jones - 1995
24 Compilation of Functional Languages using Flow Graph Analysi.. - Hartel, Glaser et al.
23 Implicit and Explicit Parallel Programming in Haskell (context) - Jones, Hudak - 1993
22 The HDG-Machine: A Highly Distributed Graph Reducer for a Tr.. - Kingdon, Lester et al. - 1991
20 Some Computer Organisations and their Effectiveness (context) - Flynn - 1972
20 Transputer Based Experiments with the ZAPP Architecture (context) - McBurney, Sleep - 1987
19 The Ins and Outs of Clean I/O - Achten, Plasmeijer - 1995
19 Report on the Programming Language Haskell Version (context) - Hudak, Jones et al. - 1992
18 TIM - A Simple Lazy Abstract Machine to Execute Supercombina.. (context) - Fairbairn, Wray - 1987
18 Adaptive Pattern Matching - Sekar, Ramesh et al. - 1992
18 Computation Structures Group Memo (context) - Nikhil, Pingali et al. - 1986
18 PTRAN---The IBM Parallel Translation System (context) - Sarkar - 1995
17 Some Early Experiments on the GRIP Parallel Reducer (context) - Hammond, Jones - 1990
17 Towards an Intermediate Language Based on Graph Rewriting (context) - Barendregt, van Eekelen et al. - 1987
17 Parallel Functional Languages and Compilers (context) - Szymanski - 1995
16 Parallel Functional Programming: An Introduction (context) - Hammond - 1994
16 GAML: a Parallel Implementation of Lazy ML - Maranget
16 Detecting Parallel Structures in Functional Programs (context) - Busvine - 1993
15 Experiences with Compiler-Directed Storage Reclamation (context) - Hicks - 1993
15 Prentice Hall International (context) - Henderson, Programming et al. - 1980
15 Using Projection Analysis in Compiling Lazy Functional Progr.. - Burn - 1990
14 Data-Parallel Lazy Functional Programming (context) - Hill - 1994
13 Pseudoknot: A Float-Intensive Benchmark for Functional Compi.. - Hartel - 1994
13 An Implementation of Static Functional Process Networks - Cox, Huang et al. - 1992
13 The Implementation of Functional Logic Programming Languages (context) - Lock - 1992
13 An Effective Speculative Evaluation Technique for Parallel S.. - Jt - 1993
12 Alfalfa: Distributed Graph Reduction on a Hypercube Multipro.. (context) - Goldberg, Hudak - 1986
12 Logic for Computer Science (context) - Reeves, Clarke - 1991
11 The Specificity Rule for Lazy Pattern Matching in Ambiguous .. (context) - Kennaway - 1990
11 Communication Lifting: Fixed Point Computation for Paralleli.. (context) - Vree, Hartel - 1992
11 On Generating Unique Names (context) - Augustsson, Rittri et al. - 1994
11 An Implementation of Portable Standard Lisp on the BBN Butte.. (context) - Swanson, Kessler et al. - 1988
11 Recursive Descent Compiling (context) - Davie, Morrison - 1981
11 La Strat'egie Paresseuse (context) - Maranget - 1992
11 Data Parallel Haskell: Mixing Old and New Glue - Hill - 1992
10 Generating Efficient Portable Code for a Strict Applicative .. (context) - Schulte, Grieskamp - 1991
10 An Introduction to the Programming Language FL (context) - Backus, Williams et al.
10 pHluid: The Design of a Parallel Functional Language Impleme.. (context) - Flanagan, Nikhil - 1996
10 Comparison of Priority Rules in Pattern Matching and Term Re.. (context) - Laville - 1991
9 The Implementation of Functional Languages on Parallel Machi.. (context) - Kesseler - 1996
9 GRIP: A Parallel Graph Reduction Machine (context) - Jones - 1987
9 Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor (context) - Goldberg - 1988
9 Parallel Graph Reduction with (context) - Augustsson, Johnsson - 1989
9 Parallel Functional Programming---An Annotated Bibliography - Schreiner - 1993
9 A Sized Time System for a Parallel Functional Language (context) - Loidl, Hammond - 1996
8 Non-strict Functional Language with State (context) - Barth, Nikhil et al. - 1991
8 Worst Case Scheduling for Parallel Functional Programming (context) - Burton, Rayward-Smith
8 A perspective on Id (context) - Ekanadham - 1991
7 Two Techniques for Compiling Lazy Pattern Matching - Maranget - 1994
7 Automatic Spark Strategies and Granularity for a Parallel Fu.. - Hammond, Jr et al. - 1994
7 Profiling Scheduling Strategies on the GRIP Multiprocessor (context) - Hammond, Jones - 1992
7 Concurrent Clean on ZAPP (context) - McBurney, Sleep - 1990
7 FCG: A Code Generator for Lazy Functional Languages - Langendoen, Hartel - 1992
7 Stacklessness: Compiling Recursion for a Distributed Archite.. (context) - Lester - 1989
7 Making a Packet: Cost-Effective Communication for a Parallel.. (context) - Loidl, Hammond - 1996
7 A Functional Programming Language Compiler for Massively Par.. (context) - Walinsky, Banerjee - 1990
7 FLIC---a Functional Language Intermediate Code (context) - Jones, Joy - 1990
6 Profiling Parallel Functional Computations (context) - Runciman, Wakeling - 1995
6 The ABC-Machine: A Sequential Stack-Based Abstract Machine f.. (context) - Koopman, van Eekelen et al.
6 Parallele Implementierung Funktionaler Programmiersprachen (context) - Loogen - 1988
6 Comparison of Dynamic Load Balancing Strategies - Kuchen, Wagener - 1990
6 Annotations to Control Parallelism and Reduction Order in th.. (context) - Burton - 1984
6 Encapsulating Nondeterminacy in an Abstract Data Type with D.. (context) - Burton - 1991
6 the Benefits of Different Analyses in the Compilation of a L.. - Hartel, Glaser et al. - 1991
6 The Four-Stroke Reduction Engine (context) - Clack, Jones - 1986
6 ML Under UNIX (context) - Cardelli - 1983
6 Technical Report No (context) - Gordon, Programming et al.
5 calculus Characterisations of Some Practical -calculus Reduc.. (context) - Ostheimer, Davie - 1993
5 A Case Study of Data-intensive Programs in Parallel Haskell (context) - Trinder, Loidl et al. - 1996
5 ALFL Reference Manual and Programmer's Guide (context) - Hudak - 1984
5 Compiling Lazy Pattern Matching - Maranget - 1992
4 Bidirectional Fold and Scan (context) - O'Donnell - 1993
4 A User's Guide for the Reduction System ß-RED (context) - Kluge - 1994
4 Parallel Execution of Concurrent Clean on ZAPP (context) - Goldsmith, McBurney et al.
4 Department of Computing (context) - Perry, Solution
4 An Executable Specification of the HDG-Machine (context) - Lester, Burn - 1989
4 Parallel Functional Programming for Message Passing Multipro.. - Ostheimer - 1993
4 Department of Computing Science (context) - GranSim, Guide - 1996
3 Variable Access in Languages in Which Procedures are First C.. (context) - Davie - 1979
3 a Combinator Graph Reduction Multiprocessor (context) - Contessa, Cousin et al. - 1989
3 A Virtual Machine for Applicative Multiprogramming (context) - Abramsky, Sykes - 1985
3 Annotations for Load Distribution (context) - Achten - 1991
3 Parallel Functional Computation STARDUST - Parallel, on et al. - 1991
3 Lambda Hoisting: A Transformation Technique for Fully Lazy E.. (context) - Takeichi
3 A Virtual Machine for Applicative Multiprogramming (context) - Abramsky
3 The Parallel ABC-Machine (context) - Nocker, Plasmeijer et al. - 1991
3 Code Optimisations for Lazy Evaluation (context) - Bloss, Hudak et al.
3 Efficient Type Inference Using Monads - Hammond - 1990
3 LEAN --- An Intermediate Language Based on Graph Rewriting (context) - Barendregt, van Eekelen et al.
2 Wild A Pragmatic Approach to the Analysis and Compilation of.. (context) - Glaser, Hartel
2 A UNIX-based Local Computer with Load Balancing (context) - Hwang - 1982
2 Parallel Programming (context) - Perrot - 1987
2 Implementing Functional Languages on Stock Hardware: the Spi.. (context) - Jones - 1992
2 Machine: A Fine-Grained Concurrent Computer (context) - Dally, Carrick et al. - 1989
2 Implementing the ABC Machine on Transputers (context) - Kesseler - 1991
2 II and III (context) - Backus, of
2 PWS-KENT Publishing Company (context) - Louden, Languages et al. - 1993
2 Control of Parallelism in the Manchester Dataflow Machine (context) - Ruggerio, Sergeant - 1987
2 On Programming Scientific Applications in SAC - a Functional.. - Scholz - 1996
2 the Granularity of Divide-and-Conquer Parallelism - Loidl, Hammond - 1995
2 Program Transformations for Static Process Networks - Cox, Huang et al. - 1993
2 Fine-grained Parallelism with Minimal Hardware Support: A Co.. (context) - DE Culler, Sah et al. - 1991
2 Wild A Pragmatic Approach to the Analysis and Compilation of.. (context) - Glaser, Hartel - 1990
2 Optimal' Grains of Parallelism (context) - Hudak, Goldberg et al. - 1985
1 A Portable Multiprocessing Interface for Standard ML of New .. (context) - Morrisett, Tolmach - 1992
1 A Lazy Version of an SECD Machine with a Flat Environment (context) - Davie, McNally - 1989
1 Compiling Pattern Machine (context) - Augustsson - 1985
1 the Expressiveness of Purely Function I/O Systems (context) - Hudak, Sundaresh - 1988
1 Electronic communications on comp (context) - Clinger - 1995
1 Compiling Functional Languages for Parallel Machines (context) - Hammond - 1988
1 Simulatin Multiprocessor Architectures for Compiled Graph-Re.. (context) - Deschner - 1989
1 Lodil and A Partridge Visualising Granularity in Parallel Pr.. (context) - Hammond - 1995
1 Parallel Abstract Machine for Non-strict Functional Language (context) - Chakravarty, Self-Scheduling
1 Measuring Naira on GUM (context) - Junaidu, Trinder
1 Loidl and PW Trinder Parallel Cost Center Profiling (context) - Hammond, Hall - 1997
1 Wild Compilation of Functional Languages using Flow Graph An.. (context) - Hartel, Glaser - 1994
1 Resource Managers in Parallel Programming (context) - JD - 1984
1 Amamiya Towards Practical Implementation of a Dataflow-based.. (context) - Kusakabe, Morimoto et al. - 1996
1 Definitional Constrant Programming (context) - Guo - 1994
1 and FJ de Vries Transfinite Reductions in Orthogonal Term Re.. (context) - Kennaway, Klop et al. - 1990
1 and FJ de Vries An Introduction to Term Graph Rewriting (context) - Kennaway, Klop et al.
1 MCJD van Eekelen and MJ Palsmeijer (context) - Nocker, Smetsers
1 Relationship Between Lambda Hoisting and Fully Lazy Lambda L.. (context) - Kaneko, Takeichi - 1992
1 An Initial Specification of Data Structures and Functions in.. (context) - Paterson, Davie
1 Introduction to Message Passing Parallel Programming with MP.. (context) - University
1 Parallel Evaluation of Functional Programs: The G-Machine Ap.. (context) - Augustsson - 1991
1 An Approach to Functional Operating Systems In DA Turner (context) - Turner
1 dLisp -- A Local Area Network-Distributed Lisp System (context) - Weber - 1989
1 Introduction to Parallel Programming (context) - Performance, Center
1 Efficient Distributed Evaluation of Functional Programs Usin.. (context) - Hudak, Goldberg - 1985
1 Department of Mathematical and computational sciences (context) - Brock, Ostheimer et al. - 1995
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-fp.dcs.st-and.ac.uk/publications.html): More
Juaskell: Implementing Evaluation Strategies in Java. - Hammond, Walsh-Kemmis (1998) (Correct)
Efficient Persistent Haskell - Davie, Hammond, Quintela (1998) (Correct)
Process Semantics of Graph Reduction - Brock, Ostheimer (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