[A scenic desert tree] [Mojave]


Home
People
Research
Projects
Publications
Download
Laboratory
Support
CVSweb
Mailing Lists
Links
Funded by...

 

Group pictureThe Mojave project is a research team using advanced formal methods, programming languages, and compilers to design distributed systems that are safe, reliable, and robust against failures.

The Mojave project includes several parts.

  • The MetaPRL logical framework for formal reasoning, optimization, and code synthesis.
  • The OMake build system.
  • The Mojavecomm group communication toolkit.
  • The MojaveFS filesystem, a decentralized, distributed, fault-tolerant filesystem.
  • The multi-language Mojave compiler, which supports safe process migration and transactions for programs written in C, Caml, Java, and Pascal. You can download the compiler from the download page.


Webmaster | Contact Us | Generated on Sat Jan 27 19:01:32 PST 2007

Copyright (c) 2002-2006 Caltech Mojave Research Group.
Computer Science Department, California Institute of Technology