|
|
|
|
|
|
|
|
|
|
|
|
• |
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
|
|