| 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 | 47 | 2020 |
| 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 | 2 | 2023 |
| Row-Polymorphic Types for Strategic Rewriting R Fu, X Qin, O Dardha, M Steuwer arXiv preprint arXiv:2103.13390, 2021 | 1 | 2021 |
| 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 | | 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 |
