Cited By
View all- Johannsen CJones PKempa BRozier KZhang P(2023)R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and SoftwareComputer Aided Verification10.1007/978-3-031-37709-9_23(483-497)Online publication date: 17-Jul-2023
- Fukuhara JTakimoto M(2022)Scalar Replacement Considering Branch DivergenceJournal of Information Processing10.2197/ipsjjip.30.16430(164-178)Online publication date: 2022
- Tan JJiao SChabbi MLiu XAyguadé EHwu WBadia RHofstee H(2020)What every scientific programmer should know about compiler optimizations?Proceedings of the 34th ACM International Conference on Supercomputing10.1145/3392717.3392754(1-12)Online publication date: 29-Jun-2020
- Show More Cited By