Follow
Xueying Qin
Xueying Qin
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
502020
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
32023
Row-Polymorphic Types for Strategic Rewriting
R Fu, X Qin, O Dardha, M Steuwer
arXiv preprint arXiv:2103.13390, 2021
22021
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
The system can't perform the operation now. Try again later.
Articles 1–6