| Threads of
Research |
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | 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 |
|||||||||||
