The Express project
The Express project's goals are to:
- Explore the interaction between advanced programming languages,
operating systems, and compilers.
- Develop the software technology to make advanced programming languages
practical, useful tools for systems programming.
Please note: the Express Project has moved to Georgia Tech with
Prof. Shivers.
This page exists for archival purposes.
To this end, we intend to develop an OS kernel and programming
environment that will both support and exploit advanced language
implementations.
We are currently developing an experimental kernel constructed by
porting the
SML/NJ
implementation of Standard ML to run on a bare PC.
We use the University of Utah's
OS Kit
library for the low-level machine management.
We have some ML/OS code snapshots available for
FTP and
HTTP.
The
CMU Fox project
provides us with a killer app: their
FoxNet Web server,
which we are porting to run on our experimental SML/NJ kernel.
Papers
Some papers written by the Express project:
The Express group was running a weekly
study seminar
on advanced language implementation technology.
Jobs
We're looking for a Ph.D. student interested in operating systems based on
advanced languages. If you are such a student, please
contact
our fearless leader.
Support
The Express project's research is supported by grants and research contracts
from DARPA and NSF.
Olin Shivers
/
shivers@ai.mit.edu