Symbolic performance prediction of scalable parallel programs | IEEE Conference Publication | IEEE Xplore