portrait.
Ningning Xie

Assistant Professor
Department of Computer Science
University of Toronto
Research Scientist, Google DeepMind
Faculty Affiliate, Schwartz Reisman Institute

Office: BA 3256
Email: ningningxie at cs.toronto.edu

About

I am an Assistant Professor in the PLSE group in the Department of Computer Science at the University of Toronto. I also work as a Research Scientist at Google DeepMind. My research focuses on programming languages, in particular functional programming, type systems, logics, as well as their applications in the broader domains (e.g. compilers, code generation, and machine learning).

Prospective students: I will have positions for 1-2 students starting from 2025. There is no need to email me -- simply list me as a potential advisor on your application materials.


Publications

Workshop talks (without proceedings)

Dissertation

Recent talks

  • 2024
    • Safe and Easy Compile-Time Generative Programming (Invited plenary keynote at LOPSTR/PPDP 2024)
    • Algebraic effect handlers and parallelizable computations (Invited talk at ZuriHac 2024)
    • Algebraic effect handlers and parallelizable computations (Invited keynote at Lambda Days 2024)
  • 2023
    • Effect handlers for choice-based learning (NII Shonan meeting)
    • Haskell for choice-based learning (Invited keynote at Haskell'23)
    • Efficient Compilation of Algebraic Effect Handlers (Berkeley PL Seminar)
  • 2022
    • MacoCaml: Staging Composable and Modular Macros (McGill PL Seminar)
    • Staging with Class: A Specification of Typed Template Haskell (YOW! Lambda Jam 2022)
    • Staging with Class: A Specification of Typed Template Haskell (EPFL PL Seminar)
  • 2021
    • Efficient Compilation of Algebraic Effect Handlers (International Workshop on Dependable and Secure Software Systems. ETH Zurich)
    • Programming with Effect Handlers and FBIP in Koka (Tutorial at ICFP'21)
    • Perceus: Garbage Free Reference Counting with Reuse (LFCS Seminar. The University of Edinburgh)

Service