Ningning Xie

Ningning Xie

Department of Computer Science
University of Hong Kong

Email: nnxie at cs.hku.hk

About

I am a Ph.D. student in the Programming Language Group at HKU, advised by Prof. Bruno Oliveira. Before that, 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 July Will serve on the PC of PADL 2021.
2020 June New paper Effect Handlers in Haskell, Evidently accepted at Haskell 2020.
2020 May New paper Effect Handlers, Evidently conditionally accepted at ICFP 2020. Preprint coming soon.
2020 Apr New paper Row and Bounded Polymorphism via Disjoint Polymorphism accepted at ECOOP 2020.
2020 Jan Presented Kind Inference for Datatypes on POPL 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 in Haskell, Evidently.
Ningning Xie, Daan Leijen
Haskell 2020 [paper] [Haskell implementation]
Effect Handlers, Evidently.
Ningning Xie, Jonathan Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
ICFP 2020 [paper] [technical report]
Row and Bounded Polymorphism via Disjoint Polymorphism.
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
ECOOP 2020 [paper] [appendix] [Coq proof]
Kind Inference for Datatypes.
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
POPL 2020 [paper] [slides] [appendix]
ACM SIGPLAN Distinguished Paper Award
Distributive Disjoint Polymorphism for Compositional Programming.
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
ESOP 2019 [paper] [slides] [Coq proof, Haskell implementation] [poster]
Coherence of Type Class Resolution.
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
ICFP 2019 [paper] [appendix]
Consistent Subtyping for All.
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
TOPLAS [paper] [Coq proof, Haskell implementation]
Consistent Subtyping for All.
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
ESOP 2018 [paper] [Coq proof, Haskell implementation]
Selected for TOPLAS Special Issue
Let Arguments Go First.
Ningning Xie, Bruno C. d. S. Oliveira
ESOP 2018 [paper] [appendix] [slides] [Coq proof]

Extended Abstract

Coercion Quantification.
Ningning Xie, Richard A. Eisenberg
Haskell Implementors' Workshop 2018 [extended abstract] [slides]
Towards Unification for Dependent Types.
Ningning Xie, Bruno C. d. S. Oliveira
Trends in Functional Programming 2017 [extended abstract] [slides]

Talks

Inferring Datatypes.
Lightning talk. Haskell Implementors' Workshop 2019. [slides]
Dependent Types in Haskell.
Hong Kong Functional Programming Meetup. 2018. [code] [slides]
Consistent Subtyping for All.
Penn PLClub. University of Pennsylvania. 2018. [slides]

Instructor. Haskell 101 NYC. Google, New York City. November 2019.
Teaching Assistant. Principles of Programming Languages. The University of Hong Kong. Spring 2019.
Teaching Assistant. Functional Programming. The University of Hong Kong. Fall 2017.