Ptolemy II Acknowledgements

This research is part of the Ptolemy project, which is supported by the Defense Advanced Research Projects Agency (DARPA), the State of California MICRO program, and the following companies: Cadence Design Systems, Hewlett Packard, Hitachi, Hughes Space and Communications, Motorola, NEC, and Philips.

Vergil Acknowledgements

Many people have contributed to the current state of Vergil either by writing code that Vergil is based on, or by giving their suggestions, or reporting bugs, including: Frederic Boulanger, John Davis, Frank Gruetzmacher, Christopher Hylands, Bart Kienhuis, Jie Liu, Sonia Sachs, Michael Shilman, Neil Smyth, Edward Lee, Xavier Warzee, Xiaojun Liu, Scott Weber, Ed Willink, and others I'm sure have been mistakenly left off of this list.

Special thanks to Thompson CSF and Moca Inc. for their direct financial support of Vergil.