I finally finished reading the three relevant papers. This is absolutely brilliant. This isn't my area of expertise, but to me this looks like the future of OS design. I would love to use this as my base OS, if/when it can be brought to the point of being able to run virtualized linux applications.

The concept of state spill also explains why OOP code bases are often a nightmare of complexity, despite pervasive modularization and encapsulation.