R. Todd Hammel, et al.  Home/Search
Context Related
| mit.edu/publicatio...MITLCSTR421.pdf mit.edu/publicatio...MITLCSTR420.pdf 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: mit.edu/publications/pubs/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We analyze how much the FX-87 static effect system can improve the execution times of five benchmark programs on a parallel graph interpreter. Three of our benchmark programs do not use side-effects (factorial, fibonacci, and polynomial division) and thus did not have any effect induced constraints. Their FX-87 performance was comparable to their performance in a purely functional langauge. Two of our benchmark programs use side-effects (DNA sequence matching and Scheme interpretation) and our... (Update)
Context of citations to this paper: More
...programs is to add information to a serial program that the compiler uses to produce parallelized target code. For example, in FX 87[14, 7], the programmer declares the side effects that each procedure can generate. A static type checking algorithm verifies the correctness...
.... because they determine an expression dependency graph that can be used to automatically schedule expressions for parallel execution [HG88]. Morris [M68] recognized that type reconstruction is a constraint satisfaction problem. All that is necessary to reconstruct the...
Cited by: More
Report on the FX Programming Language - David Gifford Pierre (Correct)
Static Dependent Costs for Estimating Execution Time - Brian Reistad David (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) (Correct)
Active bibliography (related documents): More All
0.1: Type Abstraction Rules for References: A Comparison of Four.. - O'Toole, Jr. (Correct)
0.1: Type Reconstruction with First-Class Polymorphic Values - OToole, Jr., Gifford (1989) (Correct)
0.1: Reasoning about Continuations - With Control Effects (Correct)
Similar documents based on text: More All
0.2: Effect Systems with Subtyping - Tang, Jouvelot (1995) (Correct)
0.1: How Much Non-strictness do Lenient Programs Require? - Schauser, Goldstein (1995) (Correct)
0.1: Developing Benchmarks to Measure the Performance of .. - Finkel, Kinicki.. (1990) (Correct)
Related documents from co-citation: More All
5: A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
5: Communicating Sequential Processes (context) - Hoare - 1985
5: Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
BibTeX entry: (Update)
R. T. Hammel and D. K. Gifford. FX-87 Performance Measurements: Dataflow Implementation. Technical Report MIT/LCS/TR-421, MIT, November 1988. http://citeseer.ist.psu.edu/hammel88fx.html More
@techreport{ hammel88fx,
author = "R. T. Hammel and D. K. Gifford",
title = "{FX}-87 {PERFORMANCE} {MEASUREMENTS}: {DATAFLOW} {IMPLEMENTATION}",
number = "MIT/LCS/TR-421",
pages = "49",
year = "1988",
url = "citeseer.ist.psu.edu/hammel88fx.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
122 Multilisp: A Language for Concurrent Symbolic Computation (context) - Halstead - 1985
34 Lambda Lifting: Transforming Programs to Recursive Equations - Johnsson - 1986
29 Types and Effects- Towards the Integration of Functional and.. (context) - Lucassen - 1987
7 FX-87 Reference Manual (context) - Gifford, Jouvelot et al. - 1987
1 Jonathan Itees aud William C-TmS (context) - Itees, TmS et al. - 1986
1 oI Dataflow ArdRetr (context) - Taub, MIT
1 An FX-87 Compiler for a Dataflow Machine (context) - Hamreel - 1988
1 Executing a Program on the Tagged-Token Dataflow Architectur.. (context) - Arvind - 1987
1 to appear in the 1988 IEEE International Con- ference on Com.. (context) - Jouvelot, Gifford et al. - 1988
1 Lstructures: Data Structures for Parallel Computing (context) - Rishiyur, Nikhil et al. - 1987
1 CSG memo (context) - Nikhil, No et al. - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.lcs.mit.edu/publications/pubs/pdf/): More
Proving Correctness of a Distributed Shared Memory Implementation - Castro (1999) (Correct)
Experience with Fine-Grain Synchronization in MIMD Machines.. - Yeung, Agarwal (1993) (Correct)
Write Barrier Removal by Static Analysis - Zee, Rinard (2002) (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