Andrew Appel

A person: a professor at Princeton working on Proof-Carrying Code and other topics.

This page is linked from: Bootstrap Garbage Collection

CTO pages can be modified by anyone at anytime. Imagine an appropriate disclaimer. Double it. Add two.