Johannes Doerfert Brian Homerding Hal Finkel Performance Exploration Through Optimistic Static Program Annotations. 247-268 2019 ISC https://doi.org/10.1007/978-3-030-20656-7_13 conf/supercomputer/2019 db/conf/supercomputer/isc2019.html#DoerfertHF19