
Research Scientist
Google Brain
Assistant Professor (Fall 2023)
Department of Computer Science
University of Toronto
Email: ningningxie at google.com
ningningxie at cs.toronto.edu
About
I am
a research scientist at Google Brain,
and
an incoming Assistant Professor in the
Department of Computer Science
at the
University of Toronto in Fall 2023.
I'm actively looking for self-motivated Ph.D. students to join me at UofT. Please take a look at this link if you're interested.
News
-
I am currently on the program committee of TFP 2023, PLDI 2023, ML 2023, and TACAS 2024, Please consider submitting a paper!
-
2023 Feb New paper conditinoally accepted at PLDI 2023.
-
2022 Sept New paper accepted at OOPSLA 2022.
-
2022 Aug New paper accepted at APLAS 2022.
-
2022 May New paper accepted at ECOOP 2022.
-
2022 Jan New paper accepted at MLSys 2022.
-
2021 Nov New paper accepted at PEPM 2022.
-
2021 Sept New work accepted at POPL 2022.
Publications
-
flap: A Deterministic Parser with Fused Lexing
Neel Krishnaswami,Ningning Xie , Jeremy Yallop
PLDI 2023 (conditionally accepted) -
Applicative Intersection Types
Xu Xue, Bruno C. d. S. Oliveira,Ningning Xie
APLAS 2022 [doi] [paper] -
First-class Names for Effect Handlers
Ningning Xie , Youyou Cong, Kazuki Ikemori, Daan Leijen
OOPSLA 2022 [doi] [paper] -
Union Types with Disjoint Switches
Baber Rehman, Xuejing Huang,Ningning Xie , Bruno C. d. S. Oliveira
ECOOP 2022 [doi] [paper] -
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning
Ningning Xie , Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
MLSys 2022 [doi] [paper] -
Staging with Class: A Specification for Typed Template Haskell
Ningning Xie , Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
POPL 2022 [doi] [paper] [appendix] [slides] -
Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C
Ningning Xie , Daan Leijen
ICFP 2021 [doi] [paper] [technical report] [slides] [Haskell implementation] [mpeff on Hackage] [artifact] -
Perceus: Garbage Free Reference Counting with Reuse
Ningning Xie *, Alex Reinking*, Leonardo de Moura, Daan Leijen (*Equal contributions)
PLDI 2021 [doi] [paper] [technical report] [slides] [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 (PEPM 2022) [pdf] [Arxiv] -
First-class Names for Effect Handlers
Ningning Xie , Youyou Cong, Daan Leijen
ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2021) [extended abstract] -
Coercion Quantification.
Ningning Xie , Richard A. Eisenberg
Haskell Implementors' Workshop (HIW 2018) [extended abstract] [slides] [Haskell implementation] -
Towards Unification for Dependent Types.
Ningning Xie , Bruno C. d. S. Oliveira
Trends in Functional Programming (TFP 2017) [extended abstract] [slides]
Dissertation
-
Higher-rank Polymorphism: Type Inference and Extensions.
Ph.D. Dissertation. 2021. [thesis]
Advisor: Bruno Oliveira. External committee: Simon Peyton Jones.
Service
- Steering Committee: Haskell (2020 - 2023).
-
Program Committee:
- 2024: TACAS 2024 . PLDI 2024 (AEC co-chair).
- 2023: POPL 2023. PLDI 2023. PADL 2023. TFP 2023. ML 2023.
- 2022: ML 2022. HOPE 2022. Scala 2022. TFP 2022. FLOPS 2022. ICFP 2022. MFPS 2022 (session organizer). SPLASH 2022 SRC.
- 2021: PADL 2021. HIW 2021 (chair).
- 2019: Haskell 2019. HIW 2019.
Mentoring
- Panelist. PLMW @ PLDI 2022.
- Long-term Mentor. SIGPLAN-M.
- Mentor. PLMW @ POPL 2021.
- Mentor. PLMW @ SPLASH 2020.
Teaching
- Tutorial. Programming with Effect Handlers and FBIP in Koka. ICFP 2021. Aug 2021.
- 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.