Ningning Xie

Having fun with types

Ningning Xie is an assistant professor in the Department of Computer Science at the University of Toronto. She also works as a research scientist at Google DeepMind. She received her Ph.D. in Computer Science at the University of Hong Kong in 2021. Before joining U of T, she was a research associate at the University of Cambridge. Ningning's research interests are in the field of programming languages, where she applies programming language theory to a variety of domains, including language design, runtime and compiler systems, and machine learning systems. 

Algebraic effects and handlers are a powerful way to incorporate effects in programming languages. Algebraic effect handlers can express any free monad in a concise and composable way, and can be used to express complex control-flow, like exceptions, asynchronous I/O, local state, backtracking, and many more. However, existing designs of algebraic effects often require effects to be executed sequentially.

In this talk, I give an overview of algebraic effect handlers, and discuss how to combine effect handlers with parallelizable computations.

Video ←Back