Safe Process State Upgrades Through Static Analysis.

Daniel Ferenczi, Melinda Tth

Browse the full SACI paper archive.