Cited By
View all- Li XLiang HFeng X(2024)Verified Validation for Affine Scheduling in Polyhedral CompilationTheoretical Aspects of Software Engineering10.1007/978-3-031-64626-3_17(287-305)Online publication date: 29-Jul-2024
- Wang YXie FYang ZCasas JCocchini PYang J(2023)An Automated Verification Framework for HalideIR-Based Compiler Transformations2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10137308(1-6)Online publication date: Apr-2023
- Nandi CWillsey MAnderson AWilcox JDarulova EGrossman DTatlock ZDonaldson ATorlak E(2020)Synthesizing structured CAD models with equality saturation and inverse transformationsProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3386012(31-44)Online publication date: 11-Jun-2020
- Show More Cited By