Private Links

• The ANSI C 1999 standard is available here.
• A grant proposal related to the project is available here.
• The current roster of project members is available here.
• A mailing list archive is available here (although it is missing a few early messages).
• Rupak Majumdar's slides from his related work at Microsoft.
• David Gay's C parser is available under CVS at ~dgay/src/cvs/cparser. It should be readable from commonly accessible machines such as the NOW.
• Jeff Foster's personal notes on Alessandro Rubini's book Linux Device Drivers are available.
• Sean Rhea, Proof Carrying Code For Linux Device Drivers. This paper is a writeup of a Fall 1999 research project involving PCC and Linux (character) device drivers. The writeup also contains a general overview of the requirements (interfaces) for certain functions. Sean also prepared a fully commented version of the psaux driver.
• Andy Chou's paper on the extension language used in the project that extended gcc to catch common kernel errors is available here.

Last modified: Fri Oct 6 10:19:12 PDT 2000