Code optimizations using formally verified properties.

Yao Shi, Bernard Blackham, Gernot Heiser

Browse the full OOPSLA paper archive.