Manticore: a heterogeneous parallel language

No abstract is available for this paper.

• Publication year

  2007

• Venue

  Workshop on Declarative Aspects of Multicore Programming

• Publication date

  2007-01-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1248648.1248656
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• MapReduce: simplified data processing on large clusters

  2008cited by this paper
• Specialization of CML message-passing primitives

  2007cited by this paper
• Higher Order Flattening

  2006cited by this paper
• Stabilizers: a modular checkpointing abstraction for concurrent functional programs

  2006cited by this paper
• TOWARD OPTIMIZATION OF CONCURRENT ML

  2005cited by this paper
• A framework for simplifying the development of kernel schedulers: design and performance evaluation

  2005cited by this paper
• Kill-safe synchronization abstractions

  2004cited by this paper
• Wait-free cache-affinity thread scheduling

  2003cited by this paper
• The Objective Caml system release 2.04

  2002cited by this paper
• Compiler support for lightweight concurrency

  2002cited by this paper
• Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems

  2001cited by this paper
• Protium, an infrastructure for partitioned applications

  2001cited by this paper
• Featherweight concurrency in a portable assembly language

  2001cited by this paper
• Nepal - Nested Data Parallelism in Haskell

  2001cited by this paper
• Events in Haskell, and how to implement them

  2001cited by this paper
• Implicit parallel programming in pH

  2001cited by this paper
• Asynchronous exceptions in Haskell

  2001cited by this paper
• More types for nested data parallel programming

  2000cited by this paper
• Concurrent programming in ML

  1999influential reference
• A Parallel and Multithreaded ERLANG Implementation

  1998cited by this paper
• The Sisal model of functional programming and its implementation

  1997cited by this paper
• Continuations and threads: Expressing machine concurrency directly in advanced languages

  1997cited by this paper
• A provable time and space efficient implementation of NESL

  1996cited by this paper
• Representing control in the presence of one-shot continuations

  1996cited by this paper
• Programming parallel algorithms

  1996influential reference
• Iterated register coalescing

  1996cited by this paper
• Concurrent programming in erlang (second edition)

  1996cited by this paper
• Concurrent programming in ERLANG (2nd ed.)

  1996cited by this paper
• Laboratory for Computer Science

  1995cited by this paper
• Supporting dynamic data structures on distributed-memory machines

  1995cited by this paper
• Software transactional memory

  1995cited by this paper
• Software caching and computation migration in Olden

  1995cited by this paper
• Scheduling multithreaded computations by work stealing

  1994cited by this paper
• A Portable and Optimizing Back End for the SML/NJ Compiler

  1994cited by this paper
• A multi-threaded higher-order user interface toolkit

  1993cited by this paper
• Implementation of a portable nested data-parallel language

  1993cited by this paper
• Using threads in interactive systems: a case study

  1993cited by this paper
• Implicit and Explicit Parallel Programming in Haskell

  1993cited by this paper
• The discoveries of continuations

  1993cited by this paper
• Supporting SPMD Execution for Dynamic Data Structures

  1992cited by this paper
• Parallel SML: A functional language and its implementation in Dactl

  1991cited by this paper
• Scheduler activations: effective kernel support for the user-level management of parallelism

  1991cited by this paper
• CML: A higher concurrent language

  1991cited by this paper
• CML: A Higher-Order Concurrent Language

  1991influential reference
• Compiling with Continuations

  1991cited by this paper
• Lazy task creation: a technique for increasing the granularity of parallel programs

  1990cited by this paper
• Engines From Continuations

  1989cited by this paper
• WorkCrews: An abstraction for controlling parallelism

  1989cited by this paper
• First-Class Synchronous Operations in Standard ML

  1989cited by this paper
• Continuations and coroutines

  1984cited by this paper
• Engines build process abstractions

  1984cited by this paper
• Particle systems—a technique for modeling a class of fuzzy objects

  1983cited by this paper
• Continuation-Based Multiprocessing

  1980cited by this paper

• All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs

  2025cites this paper
• Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling

  2024cites this paper
• Automatic Parallelism Management

  2024cites this paper
• Responsive Parallelism with Synchronization

  2023cites this paper
• Responsive Parallel Computation

  2021cites this paper
• Ohua as an STM Alternative for Shared State Applications

  2020cites this paper
• Accelerating Nested Data Parallelism: Preserving Regularity

  2020cites this paper
• Computational Fluid Dynamics

  2020cites this paper
• A New Backend for Standard ML of New Jersey

  2020cites this paper
• Towards implicit parallel programming for systems

  2019cites this paper
• Disentanglement in nested-parallel programs

  2019cites this paper
• Parallel App Parallel Runtime General Kernel Node HW User Mode Kernel Mode Parallel App Hybrid Runtime ( HRT ) Node HW User Mode Kernel Mode

  2018cites this paper
• Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures. (Génération automatique de code et optimisation de calculs stencils sur des architectures à mémoire distribuée)

  2018cites this paper
• And Now for Something Completely Different: Running Lisp on GPUs

  2018cites this paper
• An Evaluation of Asynchronous Software Events on Modern Hardware

  2018cites this paper
• Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell

  2018cites this paper
• The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang

  2017cites this paper
• PhD Abstracts

  2017cites this paper
• Reducing Redundant Search in Parallel Graph Mining Using Exceptions

  2016cites this paper
• Automatic Code Generation for Iterative Multi-dimensional Stencil Computations

  2016cites this paper
• PAEAN: Portable and scalable runtime support for parallel Haskell dialects

  2016influential citation
• Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang

  2016cites this paper
• Parallel evaluation strategies for lazy data structures in Haskell

  2016cites this paper
• CertiCoq : A verified compiler for Coq

  2016cites this paper
• Analyse de ressources pour les systèmes concurrents dynamiques

  2016cites this paper
• Hybrid Runtime Systems

  2016cites this paper
• Pushing Software Events to the Hardware Limit

  2016cites this paper
• Enabling Hybrid Parallel Runtimes Through Kernel and Virtualization Support

  2016cites this paper
• Architecture-neutral parallelism via the join calculus

  2015cites this paper
• Number : NU-EECS-1501 April 1 , 2014 Details of the Case for Transforming Parallel Runtime Systems Into Operating System Kernels

  2015cites this paper
• A Case for Transforming Parallel Runtimes Into Operating System Kernels

  2015cites this paper
• Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++

  2015cites this paper
• Parallelising an Erlang Multi-Agent System

  2015cites this paper
• Ohua: Implicit Dataflow Programming for Concurrent Systems

  2015cites this paper
• Incremental Parallelization of Existing Sequential Runtime Systems

  2014cites this paper
• Parallel Haskell implementations of the N‐body problem

  2014cites 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
• The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation

  2013cites this paper
• A Survey of High-Level Parallel Programming Models

  2013cites this paper
• The manticore project

  2013cites this paper
• A monad for deterministic parallelism

  2012cites this paper
• Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation

  2012cites this paper
• A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud

  2012cites this paper
• Composable Scheduling for the Heterogeneous Cloud

  2012cites this paper
• Type system for a safe execution of parallel programs in BSML

  2011cites this paper
• Garbage collection for multicore NUMA machines

  2011cites this paper
• A Mutable Hardware Abstraction to Replace Threads

  2011cites this paper
• Trends in Functional Programming

  2011cites this paper
• INTEGRATING TASK PARALLELISM INTO THE PYTHON PROGRAMMING LANGUAGE

  2011cites this paper
• Functional High Performance Financial IT

  2011cites this paper
• Lazy tree splitting

  2010cites this paper
• EFFECTS OF PARALLEL PROGRAMMING DESIGN PATTERNS ON THE PERFORMANCE OF MULTI-CORE PROCESSOR BASED REAL TIME EMBEDDED SYSTEMS

  2010cites this paper
• Efficient parallel programming in Poly/ML and Isabelle/ML

  2010cites this paper
• Generators-of-Generators Library with Optimization Capabilities in Fortress

  2010cites this paper
• MTC: Modelo de Programação Paralela Baseado na Perspectiva Conexionista

  2010cites this paper
• Back to the futures: incremental parallelization of existing sequential runtime systems

  2010cites this paper
• Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures

  2009cites this paper
• Type-safe higher-order channels with channel locality1

  2009influential citation
• Chapter 1 MultiCore Parallelisation for

  2009cites this paper
• Towards Running Parallel Programs on the Bare Metal via Virtualization

  2009cites this paper
• Objective Caml for Multicore Architectures

  2009cites this paper
• Arity Raising in Manticore

  2009cites this paper
• Programming in Manticore, a Heterogenous Parallel Functional Language

  2009cites this paper
• Multicore scheduling for lightweight communicating processes

  2009cites this paper
• Multi-core parallelisation of Hume through structured transformation

  2009cites this paper
• Scheme with Futures: Incremental Parallelization in a Language Virtual Machine

  2009cites this paper
• A scheduling framework for general-purpose parallel languages

  2008cites this paper
• Implementing Joins Using Extensible Pattern Matching

  2008cites this paper
• Programmable concurrency in a pure and lazy language

  2008cites this paper
• A Tutorial on Parallel and Concurrent Programming in Haskell

  2008cites this paper
• Implicitly-threaded parallelism in Manticore

  2008influential citation
• Transactional events for ML

  2008cites this paper
• Type-safe higher-order channels in ML-like languages

  2007cites this paper
• Data parallel Haskell: a status report

  2007cites this paper
• Lightweight concurrency primitives for GHC

  2007cites this paper
• Status Report: the Manticore Project

  2007cites this paper
• Status report: the manticore project

  2007cites this paper
• Nested schedulers for heterogeneous parallelism

  2007cites this paper
• Village: From High Level Parallelism to High Performance

  year unknowncites this paper
• Under Consideration for Publication in J. Functional Programming Type-safe Higher-order Channels with Channel Locality *

  year unknowninfluential citation