Program Analysis Group Internal Information

PAG logistics

An introduction to PAG logistics, equipment, procedures, and general suggestions for coding and paper-writing.

Group meeting schedule

PAG vacation/travel plans

Using Daikon

How to setup and run Daikon when working for PAG.
The Daikon Manual, with useful usage examples.

Using Joe

How to setup and run Joe when working for PAG.

PAG Projects

Current or potential PAG Projects. Yours might be listed here! These are the projects that PAG is interested in researching.

Mainly Historic

Here is an older note explaining how to get access to the PAG CD-R drives. The logistics page has more up-to-date (but less detailed) instructions.

See also

Also see Michael Ernst's advice webpages.