News

International Journal of Parallel Programming (2021). [3] Verified tensor-program optimization via high-level scheduling rewrites. Proceedings of the ACM on Programming Languages (2022).