TY - RPRT TI - Performance Exploration Through Optimistic Static Program Annotations AU - Doerfert, Johannes AU - Homerding, Brian AU - Finkel, Hal PY - 2019 DO - 10.1007/978-3-030-20656-7_13 UR - https://www.osti.gov/biblio/1574771 ID - 1574771 ER -