I am a Ph.D. student in the Programming Language Group at HKU, advised by Prof. Bruno Oliveira.
I obtained my B.S. (with Honors) from Zhejiang Unversity.
I had the pleasure to work with Richard Eisenberg over Summer 2018, and Tom Schrijvers over Spring 2018.
I spent my Summer 2019 with the Google Search Team in New York City.
I am currently working with Daan Leijen at Microsoft Research, Redmond.
2020 May New paper
Effect Handlers, Evidentlyconditionally accepted at ICFP 2020. Preprint coming soon.
2020 Apr New paper Row and Bounded Polymorphism via Disjoint Polymorphism accepted at ECOOP 2020.
2020 Jan Started an internship at Microsoft Research Redmond.
2019 Dec Will serve on Artifact Evaluation Committee of PLDI 2020.
2019 Dec Our Kind Inference for Datatypes work won POPL Distinguished Paper Award
Effect Handlers, Evidently.[preprint]
Ningning Xie, Jonathan Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
Conditionally accepted at 25th International Conference on Functional Programming (ICFP 2020)
Row and Bounded Polymorphism via Disjoint Polymorphism.[preprint] [appendix] [artifact]
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
34th European Conference on Object-Oriented Programming (ECOOP 2020)
Kind Inference for Datatypes.[paper] [slides] [appendix]
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
47th Symposium on Principles of Programming Languages (POPL 2020)
ACM SIGPLAN Distinguished Paper Award
Consistent Subtyping for All.[paper] [artifact]
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Special Issue on ESOP 2018
Distributive Disjoint Polymorphism for Compositional Programming.[paper] [slides] [artifact] [poster]
Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
28th European Symposium on Programming (ESOP 2019)
Lightning talk. 11th Haskell Implementors' Workshop (HIW 2019). Berlin, Germany. August 23, 2019.
- Artifact Evaluation Committee. PLDI 2020.
- Program Committee. Haskell Implementors' Workshop 2019.
- Program Committee. Haskell Symposium 2019.
- Artifact Evaluation Committee. ICFP 2019.
- Sub-Reviewer. APLAS 2016, 2017. ESOP 2017. FLOPS 2018. ECOOP 2019. ICFP 2019.
- Student Volunteer. APSys 2016. PLDI 2018. ICFP 2018. ETAPS 2019.