Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies B Hagedorn, J Lenfers, T Koehler, X Qin, S Gorlatch, M Steuwer Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 58 | 2020 |
Row-polymorphic types for strategic rewriting R Fu, X Qin, O Dardha, M Steuwer arXiv preprint arXiv:2103.13390, 2021 | 4 | 2021 |
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies B Hagedorn, J Lenfers, T Koehler, X Qin, S Gorlatch, M Steuwer Communications of the ACM 66 (3), 89-97, 2023 | 3 | 2023 |
Shoggoth: A Formal Foundation for Strategic Rewriting X Qin, L O’Connor, R van Glabbeek, P Höfner, O Kammar, M Steuwer Proceedings of the ACM on Programming Languages 8 (POPL), 61-89, 2024 | 1 | 2024 |
Primrose: Selecting Container Data Types by Their Properties X Qin, L O'Connor, M Steuwer arXiv preprint arXiv:2205.09655, 2022 | | 2022 |
RR LIFT’R-BS X Qin | | 2020 |