About

I am on the academic job market for 2022 positions.
I am a research associate at University of Cambridge. I finished my Ph.D. in the Programming Languages Group at University of Hong Kong in 2021.
I had the pleasure to work with a lot of amazing people during my Ph.D. journey. Check out my wonderful collaborators!

I am a former research intern at DeepMind London (May-Sept 2021), and at the RiSE team at Microsoft Research Redmond (Jan-Aug 2020), and more previously a software engineer intern at Google Search in New York City (Aug-Nov 2019), and at Google Summer of Code (Haskell) (May-Aug 2018).

I am a steering committee member of the Haskell Symposium.

News

• (Pinned) I am currently on the program committee of FLOPS 2022, TFP 2022, and ICFP 2022. Please consider submitting a paper!

• 2022 Feb Will give an invited talk at Georgia Tech!

• 2022 Jan New paper accepted at MLSys 2022.

• 2021 Dec Gave an invited talk at EPFL. Thanks for the invite!

• 2021 Nov New paper accepted at PEPM 2022.

• 2021 Oct Will give an invited talk at Workshop on Dependable and Secure Software Systems at ETH. Please consider joining us!

• 2021 Sept New work accepted at POPL 2022.

• 2021 May Thrilled to share that Perceus won the ACM SIGPLAN Distinguished Paper Award at PLDI 2021.

• 2021 May New work accepted at ICFP 2021.

• 2021 Mar New paper accepted at PLDI 2021.

Drafts

• First-class Names for Effect Handlers
  Ningning Xie, Youyou Cong, Daan Leijen
  [draft]

• Union Types with Disjoint Switches
  Baber Rehman, Ningning Xie, Xuejing Huang, Bruno C. d. S. Oliveira
  (draft available upon request)

• Fusing Lexing and Parsing
  Neel Krishnaswami, Ningning Xie, Jeremy Yallop
  [draft]

Publications

• Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning
  Ningning Xie, Tamara Norman, Diminik Grewe, Dimitrios Vytiniotis
  MLSys 2022 [preprint]

• Staging with Class: A Specification for Typed Template Haskell
  Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
  POPL 2022 [paper] [appendix]

• Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C
  Ningning Xie, Daan Leijen
  ICFP 2021 [doi] [paper] [technical report] [slides] [artifact]

• Perceus: Garbage Free Reference Counting with Reuse
  Ningning Xie*, Alex Reinking*, Leonardo de Moura, Daan Leijen (*Equal contributions)
  PLDI 2021 [doi] [paper] [slides] [technical report] [artifact]
  ACM SIGPLAN Distinguished Paper Award

• Effect Handlers in Haskell, Evidently.
  Ningning Xie, Daan Leijen
  Haskell 2020 [doi] [paper] [slides] [Haskell implementation] [eveff on Hackage]

• Effect Handlers, Evidently.
  Ningning Xie, Jonathan Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
  ICFP 2020 [doi] [paper] [technical report] [slides]

• Kind Inference for Datatypes.
  Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
  POPL 2020 [doi] [paper] [slides] [appendix]
  ACM SIGPLAN Distinguished Paper Award

• Row and Bounded Polymorphism via Disjoint Polymorphism.
  Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
  ECOOP 2020 [doi] [paper] [appendix] [slides] [Coq proof] [poster]

• Consistent Subtyping for All.
  Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
  ACM Transactions on Programming Languages and Systems 2020
  [doi] [paper] [slides] [Coq proof, Haskell implementation]

• Coherence of Type Class Resolution.
  Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
  ICFP 2019 [doi] [paper] [appendix]

• Distributive Disjoint Polymorphism for Compositional Programming.
  Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
  ESOP 2019 [doi] [paper] [slides] [Coq proof, Haskell implementation] [poster]

• Consistent Subtyping for All.
  Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
  ESOP 2018 [doi] [paper] [slides] [Coq proof, Haskell implementation]
  Selected for Special Issue of ACM Transactions on Programming Languages and Systems
  

• Let Arguments Go First.
  Ningning Xie, Bruno C. d. S. Oliveira
  ESOP 2018 [doi] [paper] [appendix] [slides] [Coq proof]

Workshop

• Parallel Algebraic Effect Handlers
  Ningning Xie*, Daniel D. Johnson*, Dougal Maclaurin, Adam Paszke (*Equal contributions)
  ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2022 [pdf]

• First-class Names for Effect Handlers
  Ningning Xie, Youyou Cong, Daan Leijen
  ACM SIGPLAN Workshop on Higher-Order Programming with Effects 2021 [extended abstract]

• 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]

Tutorial

• Programming with Effect Handlers and FBIP in Koka
  Daan Leijen, Ningning Xie
  ICFP 2021 Tutorial

Dissertation

• Higher-rank Polymorphism: Type Inference and Extensions.
  Ph.D. Dissertation. [thesis]
  Committee: Bruno Oliveira (advisor), Zhiyi Huang, Giulio Chiribella, Simon Peyton Jones (external)

Invited Talks

• Efficient Compilation of Algebraic Effect Handlers. [slides]
  International Symposium on High Confidence Software. Peking University. Dec 2021.
  Workshop on Dependable and Secure Software Systems. ETH Zurich. Oct 2021.

• Perceus: Garbage Free Reference Counting with Reuse.
  Laboratory for Foundations of Computer Science. The University of Edinburgh. Mar 2021. [slides]

• Type-based Language Design.
  Programming Languages Seminar. Peking University. Dec 2020.
  John Hopcroft Center for Computer Science. Shanghai Jiao Tong University. Dec 2020.

• Dependent Types in Haskell.
  Hong Kong Functional Programming Meetup. Dec 2018. [code] [slides]

• Consistent Subtyping for All.
  Penn PLClub. University of Pennsylvania. May 2018. [slides]

Service

• Steering Committee: Haskell Symposium (2020 - 2023).
• Program Chair: Haskell Implementor's Workshop 2021.
• Program Committee: Haskell Implementors' Workshop 2019. Haskell 2019. PADL 2021. FLOPS 2022. TFP 2022. ICFP 2022.
• 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.

Mentoring

• SIGPLAN-M. Long-term Mentor.
• PLMW@POPL 2021. Mentor.
• PLMW@SPLASH 2020. Mentor.

Teaching

• Instructor. Haskell 101. 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.
• I was a funded participant of DeepSpec Summer School 2017.
• I passed Japanese-Language Proficiency Test N2. 日本語能力試験N2に合格しました。2016.
• Software Foundations, Chinese edition.