A Compiler-Based Approach To Protocol Optimization | IEEE Conference Publication | IEEE Xplore