Compositional Systems Research Group at Caltech

Bringing Theory to the Marketplace

Compositional Systems Research Group Goals

We are developing formal methods and tools to enable users to write correct parallel and distributed programs. We believe program compositionality is a powerful means to these ends.

People in the group
Resources on the Web
Calls for papers and conferences
Webliography of projects and tools related to ours

Research Group Projects

Archetypes parallel patterns and electronic textbook
CC++ programming language
Computational Biology
Computer Algorithms class at Caltech
Fortran M programming language
Fortran M and MPI program examples
Infospheres compositional distributed computing components
Infospheres Infrastructure Java package
Maisie program examples
Problem Solving Environments

Thanking our Sponsors

Theory, Formal Methods : AFOSR (Air Force Office of Scientific Research) grant F49620-94-1-0244.
CC++ , Fortran M , PCN : DARPA grant N00014-91-J-4014
Archetypes : CRPC grant CCR-9120008
PSE , Infospheres Infrastructure / Java / Infospheres Distributed Computing : NSF /PSE grant CCR-9527130 and Novell , Inc.

[ Home ] [ People ] [ Papers ] [ Releases ] [ Mailing Lists ]
[ Related Work ] [ Past Projects ] [ Group Resources ] [ Our Sponsors ]

Last modified: Wed Jun 9 01:31:23 PDT 1999