Using Meta-level Compilation to Check FLASH Protocol Code.

Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich

Browse the full ASPLOS paper archive.