Ningning Xie

In Chinese: 谢宁宁
xnning at connect.hku.hk

Native Chinese, fluent English, communicable Japanese.

Education

Ph.D. Candidate, April 2017 - present
M.Phil. Candidate, September 2015 - March 2017
Programming Languge Group. Advisor: Prof. Bruno C. d. S. Oliveira.
The University of Hong Kong, Hong Kong.
B.S. Computer Science and Technology. GPA 3.97/4.0.
Zhejiang University, China. July 2015

Kind Inference for Datatypes. [pdf] [appendix]
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
accepted at 47th Symposium on Principles of Programming Languages (POPL 2020). January 2020
Coherence of Type Class Resolution. [pdf]
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
24th International Conference on Functional Programming (ICFP 2019). August 2019
Consistent Subtyping for All. [pdf]
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
to appear in ACM Transactions on Programming Languages and Systems (TOPLAS). 2019
Distributive Disjoint Polymorphism for Compositional Programming. [pdf] [slides] [poster]
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
28th European Symposium on Programming (ESOP 2019). April 2019
Consistent Subtyping for All. [pdf]
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
27th European Symposium on Programming (ESOP 2018). April 2018
Let Arguments Go First. [pdf] [slides]
Ningning Xie, Bruno C. d. S. Oliveira
27th European Symposium on Programming (ESOP 2018). April 2018

Program Committee Member. Haskell Implementors' Workshop 2019.
Program Committee Member. Haskell Symposium 2019.
Committee Member in Artifact Evaluation Committee. ICFP 2019.
Sub-Reviewer. APLAS 2016. APLAS 2017. ESOP 2017. FLOPS 2018. ECOOP 2019. ICFP 2019.
Student Volunteer. APSys 2016. PLDI 2018. ICFP 2018. ETAPS 2019.

Inferring Datatypes. [slides]
Ningning Xie
Lightning talk. 11th Haskell Implementors' Workshop (HIW 2019). Berlin, Germany. August 23, 2019.
Dependent Types in Haskell. [slides] [code] [Emurgo HK]
Ningning Xie
Hong Kong Functional Programming Meetup. Hong Kong. December 13, 2018.
Coercion Quantification. [extended abstract] [slides]
Ningning Xie, Richard A. Eisenberg
10th Haskell Implementors' Workshop (HIW 2018). St. Louis, Missouri, USA, September 23, 2018.
Consistent Subtyping for All. [slides]
Ningning Xie
Penn PLClub. University of Pennsylvania, Philadelphia, PA, USA. May 11, 2018.
Towards Unification for Dependent Types. [extended abstract] [slides]
Ningning Xie, Bruno C. d. S. Oliveira
18th Symposium on Trends in Functional Programming (TFP 2017). Canterbury, UK, June 19, 2017.

Teaching Assistant. Principles of Programming Languages. The University of Hong Kong. Spring 2019.
Teaching Assistant. Functional Programming. The University of Hong Kong. Fall 2017.