The Manticore Project

Use

• Install Manticore
• Our wiki provides more documentation
• Get involved! We are actively seeking undergraduates, potential Ph.D. students, and post-docs.
• Contact us at manticore@mailman.cs.uchicago.edu

Support

The Manticore project is supported, in part, by National Science Foundation grants CCF-0811389/0811419 (Implementation Techniques for High-level Parallel Languages) and CNS-1065002/1065099 (Extending Declarative Parallel Programming with State and Nondeterminism). Additional computing resources are provided by Intel's Manycore Testing Lab.

People

The Manticore project is a joint project between researchers at the University of Chicago and Rochester Institute of Technology. The following people are actively involved:

• Sven Auhagen (University of Chicago)
• Carsen Berger (University of Chicago)
• Lars Bergstrom (University of Chicago)
• Matthew Fluet (Rochester Institute of Technology)
• Mike Rainey (Max Planck Institute for Software Systems)
• John Reppy (University of Chicago)
• Stephen Rosen (University of Chicago)
• Nora Sandler (University of Chicago)
• Adam Shaw (University of Chicago)

Past participants and friends include:

• Chelsea Bingiel (University of Chicago)
• Nic Ford (University of Chicago)
• Korie Klein (University of Chicago)
• Joshua Knox (University of Chicago)
• Jordan Lewis (University of Chicago)
• Jon Riehl (University of Chicago)
• Ridg Scott (University of Chicago)
• Damon Wang (University of Chicago)
• Yingqi Xiao (University of Chicago)

Papers

These papers are in chronological order of appearance (most recent first).

• Implementation techniques for nested-data-parallel languages
  By A. Shaw
  PhD. Dissertation, Departent of Computer Science, University of Chicago, August 2011.

• Lazy Tree Splitting
  By L. Bergstrom, M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
  Submitted for publication, June 2011.
  This paper is a longer version of the ICFP '10 paper.

• Garbage Collection for Multicore NUMA Machines
  By S. Auhagen, L. Bergstrom, M. Fluet, and J. Reppy.
  MSPC '11, June 2011.

• Implicitly-threaded parallelism in Manticore
  By M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
  Journal of Functional Programming, 20(5-6):537-576, 2010.
  This paper is a longer version of the ICFP '08 paper.

• Lazy tree splitting
  By L. Bergstrom, M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
  ICFP 2010, September 2010.

• Effective scheduling techniques for high-level parallel programming languages
  By M. Rainey
  PhD. Dissertation, Departent of Computer Science, University of Chicago, August 2010.

• Arity raising in Manticore
  By L. Bergstrom and J. Reppy.
  IFL 2009, September 2009.

• Arity raising and control-flow analysis in Manticore
  By L. Bergstrom
  Master's paper, Departent of Computer Science, University of Chicago, November 2009.

• Parallel Concurrent ML
  By J. Reppy, C. Russo, and Y. Xiao.
  ICFP 2009, September 2009.

• Programming in Manticore, a Heterogenous Parallel Functional Language
  Notes from Matthew Fluet's lectures at the Central European Functional Programming Summer School, May 2009.

• Implicitly-threaded parallelism in Manticore
  By M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
  ICFP 2008, September 2008.

• A scheduling framework for general-purpose parallel languages
  By M. Fluet, M. Rainey, and J. Reppy.
  ICFP 2008, September 2008.
  This paper covers much of the material in the Nested schedulers for heterogeneous parallelism paper below, but omits the formal semantics and adds some empirical evaluation.

• Toward a parallel implementation of Concurrent ML
  By J. Reppy and Y. Xiao.
  DAMP 2008, January 2008.

• Status Report: The Manticore project
  By M. Fluet, N. Ford, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
  ML 2007, October 2007.

• Data Parallelism in Manticore (Draft)
  By A. Shaw
  Master's paper, Departent of Computer Science, University of Chicago, July 2007.

• Nested schedulers for heterogeneous parallelism
  By M. Fluet, M. Rainey, and J. Reppy
  Unpublished, April 2007.

• The Manticore runtime model
  By M. Rainey
  Master's paper, Departent of Computer Science, University of Chicago, January 2007.

• Specialization of CML message-passing primitives
  By J. Reppy and Y. Xiao.
  POPL 2007, January 2007.

• Manticore: A heterogeneous parallel language
  By M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao.
  DAMP 2007, January 2007.

• Toward optimization of Concurrent ML
  By Y. Xiao.
  Master's paper, Departent of Computer Science, University of Chicago, 2005.