conf.researchr.org / Ningning Xie
Registered user since Sat 4 Aug 2018
Name:Ningning Xie
Country:Canada
Affiliation:University of Toronto
Personal website: http://xnning.github.io/
X (Twitter): https://x.com/xnningxie
Research interests:Functional programming, type systems, logics, as well as their applications in the broader domains
Contributions
2025
ICFP/SPLASH
PLDI
- Artifact Evaluation Co-Chair in Organizing Committee
- Co-chair in Artifact Evaluation Committee within the Research Artifacts-track
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of Handling the Selection Monad within the PLDI Research Papers-track
- Author of Practical Type Inference with Levels within the PLDI Research Papers-track