Status report: the manticore project

Authors:
Matthew Fluet;Nic Ford;Mike Rainey;John Reppy;Adam Shaw;Yingqi Xiao
Affiliations:
Toyota Technological Institute at Chicago, Chicago, IL;University of Chicago, Chicago, IL;University of Chicago, Chicago, IL;University of Chicago, Chicago, IL;University of Chicago, Chicago, IL;University of Chicago, Chicago, IL
Venue:
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Year:
2007

Citing 48
Cited 14

Workcrews: an abstraction for controlling parallelism

International Journal of Parallel Programming
Simple generational garbage collection and fast allocation

Software—Practice & Experience
Engines from continuations

Computer Languages
Lazy task creation: a technique for increasing the granularity of parallel programs

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
CML: A higher concurrent language

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Compiling with continuations

Compiling with continuations
A multi-threaded higher-order user interface toolkit

User interface software
A concurrent, generational garbage collector for a multithreaded implementation of ML

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using threads in interactive systems: a case study

SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Portable, unobtrusive garbage collection for multiprocessor systems

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementation of a portable nested data-parallel language

Journal of Parallel and Distributed Computing - Special issue on data parallel algorithms and programming
Programming parallel algorithms

Communications of the ACM
Iterated register coalescing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Representing control in the presence of one-shot continuations

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
A provable time and space efficient implementation of NESL

Proceedings of the first ACM SIGPLAN international conference on Functional programming
Concurrent programming in ML

Concurrent programming in ML
Atomic heap transactions and fine-grain interrupts

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Scheduling multithreaded computations by work stealing

Journal of the ACM (JACM)
Efficient and safe-for-space closure conversion

ACM Transactions on Programming Languages and Systems (TOPLAS)
More types for nested data parallel programming

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Particle Systems—a Technique for Modeling a Class of Fuzzy Objects

ACM Transactions on Graphics (TOG)
Asynchronous exceptions in Haskell

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Implicit parallel programming in pH

Implicit parallel programming in pH
Events in Haskell, and how to implement them

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Optimizing Nested Loops Using Local CPS Conversion

Higher-Order and Symbolic Computation
A Term Pattern-Match Compiler Inspired by Finite Automata Theory

CC '92 Proceedings of the 4th International Conference on Compiler Construction
A Portable and Optimizing Back End for the SML/NJ Compiler

CC '94 Proceedings of the 5th International Conference on Compiler Construction
Engines build process abstractions

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Continuations and coroutines

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Continuation-based multiprocessing

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The Sisal Model of Functional Programming and its Implementation

PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
First-Class Synchronous Operations in Standard ML

First-Class Synchronous Operations in Standard ML
Asynchronous Signals is Standard ML

Asynchronous Signals is Standard ML
Kill-safe synchronization abstractions

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Brook for GPUs: stream computing on graphics hardware

ACM SIGGRAPH 2004 Papers
The Future of Microprocessors

Queue - Multiprocessors
The standard ML basis library

The standard ML basis library
Parallel programming and code selection in fortress

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Message analysis for concurrent programs using message passing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Stabilizers: a modular checkpointing abstraction for concurrent functional programs

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Specialization of CML message-passing primitives

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interpreting the data: Parallel analysis with Sawzall

Scientific Programming - Dynamic Grids and Worldwide Computing
Data parallel Haskell: a status report

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Manticore: a heterogeneous parallel language

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
MapReduce: simplified data processing on large clusters

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Higher order flattening

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II

Implicitly-threaded parallelism in Manticore

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A scheduling framework for general-purpose parallel languages

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Space profiling for parallel functional programs

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Parallel concurrent ML

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Language embedding and optimization in mython

DLS '09 Proceedings of the 5th symposium on Dynamic languages
Scheduling light-weight parallelism in ArTCoP

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Optimizations in a private nursery-based garbage collector

Proceedings of the 2010 international symposium on Memory management
Lazy tree splitting

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Programming in Manticore, a heterogenous parallel functional language

CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Space profiling for parallel functional programs

Journal of Functional Programming
Implicitly threaded parallelism in manticore

Journal of Functional Programming
Garbage collection for multicore NUMA machines

Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness
Data-only flattening for nested data parallelism

Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
The manticore project

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous language that supports parallelism at multiple levels. Specifically, we combine CML-style explicit concurrency with fine-grain, implicitly threaded, parallel constructs. We have been working on an implementation of Manticore for the past six months; this paper gives an overview of our design and a report on the status ofthe implementation effort.