Generating Efficient Protocol Code from an Abstract Specification.

Walid Dabbous, Sean W. O'Malley, Claude Castelluccia

Browse the full SIGCOMM paper archive.