Air Force Research Laboratory / ACM Press / Intel Corporation / Object-Oriented Technologies / /
Event
Person Communication and Meetings / /
Facility
Prentice Hall / Cornell University / University of California / /
IndustryTerm
measurement tool / prototype systems / extensible systems / transformation tool / Memory protection hardware / web browser / software-based fault isolation / software components / Internet Programming / realistic applications / level language processors / helper applications / system software / software systems / web browser resources / ment tool / produce target systems / trusted computing base / software-fault isolation / target systems / extension technologies / /
OperatingSystem
Linux / GNU / SPIN / /
Organization
SASI JVML / Defense Advanced Research Projects Agency / National Science Foundation / U.S. Government / Ulfar Erlingsson Fred B. Schneider Department of Computer Science Cornell University Ithaca / JVML SASI / Cornell University / Congress / Air Force Material Command / University of California / Davis / /
Person
Michal Cierniak / Andrew Myers / David Evans / David Walker / Fred B. Schneider / Dexter Kozen / Greg Morrisett / /
Position
editor / author of a security policy / generic partial evaluator / partial evaluator / programmer / /
Product
x86 SASI / x86 SASI processor / /
ProgrammingLanguage
Java / C / Assembly Language / C++ / /
ProvinceOrState
New York / California / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
Java system / Virtual Machine / prototype x86 SASI processor / Linux / operating system / operating systems / OS extension technologies / Java / high-level language processors / prototype JVML SASI processor / simulation / /