top | item 30016807

(no title)

ProfHewitt | 4 years ago

Great to see further progress on CHERI!

See the following for theoretical foundations for the work:

Linux 60th Anniversary Keynote

https://t.co/IRe3vpMlWn

discuss

order

jrtc27|4 years ago

Your research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.

ProfHewitt|4 years ago

Foundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.