Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement.

Hao Sun, Zhendong Su

Browse the full SOSP paper archive.