Ningning Xie -

Registered user since Sat 4 Aug 2018

Name:Ningning Xie

Country:United Kingdom

Affiliation:Google Brain / University of Toronto

Personal website:http://xnning.github.io/

Twitter:https://twitter.com/xnningxie

Research interests:Functional Programming, Language Design, Type Systems

Contributions

PADL 2023	Committee Member in Program Committee within the PADL 2023-track
PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023	Committee Member in Program Committee within the POPL-track Session Chair of Automatic Differentiation (part of POPL)
APLAS 2022	Author of Applicative Intersection Types within the APLAS-track
SPLASH 2022	Author of First-class Names for Effect Handlers within the OOPSLA-track Committee Member in Reviewers within the Student Research Competition-track
HOPE 2022	Committee Member in Program Committee within the HOPE 2022-track
ICFP 2022	Committee Member in Program Committee within the ICFP Papers and Events-track
ML 2022	Committee Member in Program Committee within the ML-track Session Chair of Tools & Metaprogramming (part of ML)
ECOOP 2022	Author of Union Types with Disjoint Switches within the Research Papers-track
PLMW	Panelist of Mentoring Panel: Surviving Grad School within the PLMW-track
Scala 2022	Committee Member in Program Committee within the Scala 2022-track
FLOPS 2022	Committee Member in Program Committee within the FLOPS 2022-track
POPL 2022	Author of Staging with Class: A Specification for Typed Template Haskell within the POPL-track
PEPM 2022	Author of Parallel Algebraic Effect Handlers within the PEPM 2022-track
ICFP 2021	Author of Generalized Evidence Passing for Effect Handlers within the Research Papers-track Author of Programming with Effect Handlers and FBIP in Koka within the Tutorials-track
HOPE 2021	Author of First-class Names for Effect Handlers within the HOPE 2021-track
HIW 2021	Session Chair of Keynote (part of HIW 2021) Program Chair in Program Committee within the HIW 2021-track Author of Closing within the HIW 2021-track Session Chair of GHC 1 (part of HIW 2021)
PLDI 2021	Author of Perceus: Garbage Free Reference Counting with Reuse within the PLDI-track
PADL 2021	Committee Member in Programme Committee within the PADL 2021-track
SPLASH 2020	Mentor in Mentors within the PLMW-track Mentor in Mentors within the PLMW-track Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
ECOOP 2020	Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
ICFP 2020	Author of Effect Handlers, Evidently within the ICFP Program-track
Haskell 2020	Author of Effect Handlers in Haskell, Evidently within the Haskell 2020-track
PLDI 2020	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2020	Author of Kind Inference for Datatypes within the Research Papers-track
Haskell 2019	Session Chair of Paper Session 2: Verification (part of Haskell 2019) Committee Member in Program Committee within the Haskell 2019-track
HIW 2019	Committee Member in Program Committee within the HIW 2019-track Session Chair of Metadata (part of HIW 2019)
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Author of Coherence of Type Class Resolution within the Research Papers-track
ESOP 2019	Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track
ETAPS 2019	Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track
HIW 2018	Author of Coercion Quantification within the HIW 2018-track