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

Publications

  • 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

Service

Talks

Teaching

Miscellany