A paper was just presented at PLDI on Project Oak (PDF not yet available?): https://pldi19.sigplan.org/details/deepspec-2019-papers/11/Project-Oak-Control-Data

A paper was just presented at PLDI on Project Oak (PDF not yet available?): https://pldi19.sigplan.org/details/deepspec-2019-papers/11/Project-Oak-Control-Data-in-Distributed-Systems-Verify-All-The-Things https://pldi19.sigplan.org/details/deepspec-2019-papers/11/P...