Ningning Xie

Ningning Xie

Department of Computer Science
University of Hong Kong

Email: xnning at hku.hk

About

I am a final-year Ph.D. student in the Programming Language Group at HKU, working with Bruno Oliveira. Before that, I obtained my B.S. (with Honors) from Zhejiang Unversity.
I had the pleasure to work with Tom Schrijvers over Spring 2018, and Richard Eisenberg over Summer 2018.
I spent my Summer 2019 with the Google Search Team in New York City.
I greatly enjoyed my 2020 working with Daan Leijen at Microsoft Research.
I am a steering committee member of the Haskell Symposium.

News

2020 Nov Excited to serve as a mentor at PLMW @ SPLASH.
2020 Oct Selected for Rising Stars in EECS.
2020 Aug Will serve as the PC chair of Haskell Implementor's Workshop 2021.
2020 July Will serve on the PC of PADL 2021.
2020 June New paper accepted at Haskell 2020.
2020 May New paper accepted at ICFP 2020.
2020 Apr New paper accepted at ECOOP 2020.
2020 Jan Presented Kind Inference for Datatypes on POPL 2020.

Publications

Effect Handlers in Haskell, Evidently.
Ningning Xie, Daan Leijen
Haskell 2020 [paper] [slides] [Haskell implementation] [Haskell library on Hackage]
Effect Handlers, Evidently.
Ningning Xie, Jonathan Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
ICFP 2020 [paper] [slides] [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] [poster]
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]

Talks

Workshops

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

Talks

Type-based Language Design.
Invited talk. Peking University. Dec 2020.
Invited talk. JHC. Shanghai Jiao Tong University. Dec 2020.
Algebraic Effects.
Internship talk. RiSE. Microsoft Research Redmond. June 2020.
Inferring Datatypes.
Lightning talk. Haskell Implementors' Workshop 2019. Aug 2019. [slides]
Dependent Types in Haskell.
Invited talk. Hong Kong Functional Programming Meetup. Dec 2018. [code] [slides]
Consistent Subtyping for All.
Invited talk. Penn PLClub. University of Pennsylvania. May 2018. [slides]

Service

Steering Committee. Haskell Symposium.
Program Committee Chair. Haskell Implementor's Workshop 2021.
Program Committee. PADL 2021.
Program Committee. Haskell Implementors' Workshop 2019.
Program Committee. Haskell 2019.
Artifact Evaluation Committee. ICFP 2019. PLDI 2020.
Sub-Reviewer. APLAS 2016, 2017. ESOP 2017. FLOPS 2018. ECOOP 2019. ICFP 2019.
Student Volunteer. APSys 2016. PLDI 2018. ICFP 2018. ETAPS 2019.

Teaching

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.

Misc

Literature Review of GHC Core. June 2018.
Voluntary Translator. Software Foundations, Chinese edition.