Siesta: Synthesizing Proxy Applications for MPI Programs | IEEE Conference Publication | IEEE Xplore