S-Check: a tool for tuning parallel programs | IEEE Conference Publication | IEEE Xplore