A tool for the static optimization of concurrent programs | IEEE Conference Publication | IEEE Xplore