Automatic Generation of Executable Communication Specifications from Parallel Applications | IEEE Conference Publication | IEEE Xplore