A Static Characterization of Af?nity in a Distributed Program | IEEE Conference Publication | IEEE Xplore