Ningning Xie

Registered user since Sat 4 Aug 2018

Name:Ningning Xie
Country:China
Affiliation:University of Hong Kong
Personal website:http://xnning.github.io/
Research interests:Functional Programming, Language Design, Type Systems

Contributions

FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-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)
HOPE 2021 Author of First-class Names for Effect Handlers within the HOPE 2021-track
PADL 2021 Committee Member in Programme Committee within the PADL 2021-track
PLDI 2021 Author of Perceus: Garbage Free Reference Counting with Reuse within the PLDI-track
Haskell 2020 Author of Effect Handlers in Haskell, Evidently within the Haskell 2020-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
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
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
ICFP 2020 Author of Effect Handlers, Evidently within the ICFP Program-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
HIW 2019 Committee Member in Program Committee within the HIW 2019-track
Session Chair of Metadata (part of HIW 2019)
Haskell 2019 Session Chair of Paper Session 2: Verification (part of Haskell 2019)
Committee Member in Program Committee within the Haskell 2019-track
POPL 2020 Author of Kind Inference for Datatypes 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
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