
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.