large systems / local inference algorithm / unification algorithm / dynamic storage management / low-level systems / web server / memory management / compression utilities / software systems / /
MusicAlbum
Cyclone / /
OperatingSystem
Linux / /
Organization
National Science Foundation / Cornell University / /
Person
Dan Grossman Michael Hicks Greg / Wang James Cheney / Greg Morrisett Trevor Jim / Michael Hicks Greg Morrisett Trevor / / /