The Sisal model of functional programming and its implementation

No abstract is available for this paper.

• Publication year

  1997

• Venue

  Proceedings of IEEE International Symposium on Parallel Algorithms Architecture Synthesis

• Publication date

  1997-03-17

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/AISPAS.1997.581640
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Retrospective: Monsoon: an explicit token-store architecture

  1998cited by this paper
• Proceedings: High performance functional computing

  1995cited by this paper
• Design of storage hierarchy in multithreaded architectures

  1995cited by this paper
• Reducing communication by honoring multiple alignments

  1995cited by this paper
• Decoupling integer execution in superscalar processors

  1995cited by this paper
• The EM-X parallel computer: architecture and basic performance

  1995cited by this paper
• A design study of the EARTH multiprocessor

  1995cited by this paper
• An Evaluation of Optimized Threaded Code Generation

  1994cited by this paper
• MPI: A Message-Passing Interface Standard

  1994cited by this paper
• Performance Studies of Id on the Monsoon Dataflow System

  1993cited by this paper
• An evaluation of coarse grain dataflow code generation strategies

  1993influential reference
• T: A Multithreaded Massively Parallel Architecture

  1992cited by this paper
• Implementation of a general purpose dataflow multiprocessor

  1991cited by this paper
• Retire Fortran? A debate rekindled

  1991cited by this paper
• Fine-grain parallelism with minimal hardware support: a compiler-controlled threaded abstract machine

  1991influential reference
• The Tera computer system

  1990cited by this paper
• Fortran D Language Specification

  1990cited by this paper
• Compilation techniques for high-performance applicative computation

  1989cited by this paper
• The data-driven microprocessor

  1989cited by this paper
• A dataflow/von Neumann hybrid architecture

  1988cited by this paper
• Applicative parallelism on a shared-memory multiprocessor

  1988cited by this paper
• Applicative parallelism on a shared memory multiprocessor

  1988cited by this paper
• A simple method to remove reference counting in applicative programs

  1988cited by this paper
• Graph transformation algorithms for array memory optimization in applicative languages

  1987cited by this paper
• DI: an interactive debugging interpreter for applicative languages

  1987cited by this paper
• SISAL: streams and iteration in a single-assignment language. Language reference manual, Version 1. 1

  1983cited by this paper
• Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

  1978cited by this paper
• Can programming be liberated from the von Neumann style

  1977cited by this paper

• Polymorphic Types with Polynomial Sizes

  2023cites this paper
• The Promise of Dataflow Architectures in the Design of Processing Systems for Autonomous Machines

  2021cites this paper
• Static Analysis of OpenStream Programs

  2016cites this paper
• Spartan: A Distributed Array Framework with Smart Tiling

  2015cites this paper
• Hardware design of task superscalar architecture

  2014cites this paper
• Hybrid Dataflow/von-Neumann Architectures

  2014cites this paper
• Abstractions for In-memory Distributed Computation

  2014cites this paper
• Mars: an imperative/declarative higher-order programming language with automatic destructive update

  2014cites this paper
• Towards High Performance Computing (Hpc) Through Parallel Programming Paradigms and Their Principles

  2014cites this paper
• A Multi-objective Framework for Characterization of Software Specifications

  2014cites this paper
• TOWARDS HIGH PERFORMANCE COMPUTING (HPC) THROUGH PARALLEL PROGRAMMING PARADIGMS

  2014cites this paper
• Manual Parallelization Versus State-of-the-Art Parallelization Techniques: The SPEC CPU2006 as a Case Study

  2014cites this paper
• The manticore project

  2013cites this paper
• Programming Models and Runtime Systems for Heterogeneous Architectures. (Modèles de programmation et supports exécutifs pour architectures hétérogènes)

  2013cites this paper
• A foundation for quantum programming and its highly-parallel virtual execution

  2012cites this paper
• Control-Driven Data Flow

  2012cites this paper
• Static guarantees for coordinated components : a statically typed composition model for stream-processing networks

  2012cites this paper
• Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE. (Clock Based SoC Design, Towards a Design Space Exploration in MARTE)

  2011cites this paper
• Leveraging streaming for deterministic parallelization : an integrated language, compiler and runtime approach

  2011influential citation
• Introducing a New Language for Stream Applications

  2011cites this paper
• Integrating Streaming Computations for Efficient Execution on Novel Multicore Architectures

  2010cites this paper
• Programming with Exceptions in JCilk 1

  2010cites this paper
• High Level Language Embeddings for Deterministic Concurrency

  2010cites this paper
• Workflow representation and runtime based on lazy functional streams

  2009influential citation
• Programming in Manticore, a Heterogenous Parallel Functional Language

  2009cites this paper
• Runtime support for multicore Haskell

  2009cites this paper
• Hints on Parallelization of the SPEC CPU 2006

  2009cites this paper
• The KISS Principle applied to Dataflow Language Paradigms for Visualization Frameworks

  2009cites this paper
• Models and Methods for Development of DSP Applications on Manycore Processors

  2009cites this paper
• Implicitly-threaded parallelism in Manticore

  2008cites this paper
• Clustered Workflow Execution of Retargeted Data Analysis Scripts

  2008cites this paper
• Status Report: the Manticore Project

  2007cites this paper
• Manticore: a heterogeneous parallel language

  2007cites this paper
• Status report: the manticore project

  2007cites this paper
• The JCilk Language for Multithreaded Computing [ Extended Abstract ]

  2007cites this paper
• Types for deterministic concurrency

  2006cites this paper
• MPEG-2 decoding in a stream programming language

  2006cites this paper
• Programming with exceptions in JCilk

  2006cites this paper
• Stream Programming for Image and Video Compression

  2006cites this paper
• Metacomputing on Clusters Augmented with Reconfigurable Hardware

  2006cites this paper
• Cache aware optimization of stream programs

  2005cites this paper
• Design and optimisation of scientific programs in a categorical language

  2005cites this paper
• MPEG-2 in a Stream Programming Language

  2005cites this paper
• The JCilk Language for Multithreaded Computing

  2005cites this paper
• Teleport messaging for distributed stream programs

  2005cites this paper
• Cache Optimizations for Stream Programs

  2005cites this paper
• Implicit Memory Management for a Functional Array Processing Language

  2005cites this paper
• Optimizing stream programs using linear state space analysis

  2005cites this paper
• Cache Optimizations for Stream Programs by Janis Sermulips

  2005cites this paper
• Implicit Memory Management for SAC.

  2004cites this paper
• Linear State-Space Analysis and Optimization of StreamIt Programs

  2004cites this paper
• Phased scheduling of stream programs

  2003influential citation
• Linear analysis and optimization of stream programs

  2003cites this paper
• A stream compiler for communication-exposed architectures

  2002influential citation
• Constrained and phased scheduling of synchronous data flow graphs for StreamIt language

  2002cites this paper
• Compiling Data Flow Diagrams into Functional Programs

  1998influential citation
• Transparent Retargeting and Remote Execution of Data Analysis Scripts to Exploit Locality

  year unknowncites this paper