• Sign in
  • Sign up
conf.researchr.org / Xueying Qin
  • POPL 2024 profile
  • ‹Programming› 2023 profile
Xueying Qin

Registered user since Sun 15 Jan 2023

Name:Xueying Qin
Affiliation:The University of Edinburgh
Personal website: https://xyunknown.github.io
GitHub: https://github.com/XYUnknown

Contributions

2024

POPL

  • Author of Shoggoth - A Formal Foundation for Strategic Rewriting within the POPL-track

2023

‹Programming›

  • Author of Primrose: Selecting Container Data Types by their Properties within the Research Papers-track
Share
xWed 21 May 12:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up