•Typed
Intermediate and Low-Level Languages
–Karl
Crary, Robert Harper
–Collaboration
with Cornell
•Proof-Carrying
Code and Logical Frameworks
–Peter
Lee, Frank Pfenning
–Collaborations:
Berkeley, Princeton, Yale, Stanford
–Commercial
Java tech transfer to Cedilla Systems
ÔStaged
Computation
–Peter Lee, Frank Pfenning