3 ms·
Greg Morrisett is one of those people who is consistently involved in neat work. Typed x86, Cyclone, and SAFE architecture come to mind. It’s best to just all t
by nickpsecurity 3y ago
Greg Morrisett is one of those people who is consistently involved in neat work. Typed x86, Cyclone, and SAFE architecture come to mind. It’s best to just all the papers of such people. I found a list of his:
https://www.cs.cornell.edu/~jgm/jgm.html https://www.cs.cornell.edu/~jgm/jgm.html