Publications and Talks

Papers

2023	Shoggoth - A Formal Foundation for Strategic Rewriting Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer Proc. ACM Program. Lang., Vol. 8, No. POPL, Article 3. Publication date: January 2024.	PDF
2022	Primrose: Selecting Container Data Types by their Properties Xueying Qin, Liam O'Connor, Michel Steuwer The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 11	PDF
2020	Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer Proc. ACM Program. Lang., Vol. 4, No. ICFP, Article 92. Publication date: August 2020.	PDF

2024 POPL	Shoggoth: A Formal Foundation for Strategic Rewriting	slides
2023 June SPLS	Shoggoth: A Formalised Logic for Strategic Rewriting	slides
2022 April SPLS	Property-Based Container Data Types	slides
2020 October SPLS	Proving the Correctness of Rewrite Rules with Agda	slides