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.
• BS/MS Projects We have several potential projects for students pursuing the joint BS/MS degree at the University of Chicago.
• 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:

• Lars Bergstrom (Mozilla Research)
• Kavon Farvardin (University of Chicago)
• Matthew Fluet (Rochester Institute of Technology)
• Matthew Le (Rochester Institute of Technology)
• Mike Rainey (INRIA)
• John Reppy (University of Chicago)
• Joseph Wingerter (University of Chicago)

Past participants and friends include:

• Vitor Rodrigues (Rochester Institute of Technology)
• Sven Auhagen (University of Chicago)
• Carsen Berger (University of Chicago)
• Chelsea Bingiel (University of Chicago)
• Patrick Collins (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)
• Stephen Rosen (University of Chicago)
• Nora Sandler (University of Chicago)
• Ridg Scott (University of Chicago)
• Adam Shaw (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).

• From Folklore to Fact: Comparing Implementations of Stacks and Continuations
  By K. Farvardin and J. Reppy.
  PLDI 2020 June 2020. (Awarded Distinguished Paper)

• Compiling with Continuations and LLVM
  By K. Farvardin and J. Reppy.
  In Kenichi Asai and Mark Shinwell, editors, Proceedings ML Family Workshop / OCaml Users and Developers workshops (September 22-23, 2016), Volume 285 of Electronic Proceedings in Theoretical Computer Science, pages 131--142. Open Publishing Association, 2018.
  

• Weighing Continuations for Concurrency
  By K. Farvardin
  Master's paper, Department of Computer Science, University of Chicago, April 2017.

• Compiling with Continuations and LLVM
  By K. Farvardin and J. Reppy.
  ML 2016, September 2016.

• Partial Aborts for Transactions via First Class Continuations
  By M. Le, M. Fluet.
  ICFP 2015, September 2015.

• Practical and Effective Higher-Order Optimizations
  By L. Bergstrom, M. Fluet, M. Le, J. Reppy, and N. Sandler.
  ICFP 2014, September 2014.

• Parallel Functional Programming with Mutable State
  By L. Bergstrom
  PhD. Dissertation, Department of Computer Science, University of Chicago, June 2013.

• Data-Only Flattening for Nested Data Parallelism
  By L. Bergstrom, M. Fluet, M. Rainey, J. Reppy, S. Rosen, and A. Shaw.
  PPoPP 2013, February 2013.

• Lazy Tree Splitting
  By L. Bergstrom, M. Fluet, M. Rainey, J. Reppy, and A. Shaw.
  Journal of Functional Programming, 22(4-5):537-576, 2012.
  This paper is a longer version of the ICFP '10 paper.

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

• 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, Department 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, Department 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, Department 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, Department 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, Department of Computer Science, University of Chicago, 2005.