Ningning Xie

Effect handlers, evidently

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström et al. · Proceedings of the ACM on Programming Languages · 2020 · 28 citations · Full text

Engineering, Verification, Visual Effect +20

Perceus: garbage free reference counting with reuse

Alex Reinking, Ningning Xie, Leonardo de Moura et al. · 2021 · 27 citations · Full text

Engineering, Reference Counting, Computer Architecture +19

Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C

Ningning Xie, Daan Leijen · Proceedings of the ACM on Programming Languages · 2021 · 19 citations · Full text

Engineering, Verification, Evaluation Strategy +22

Staging with class: a specification for typed template Haskell

Ningning Xie, Matthew C. Pickering, Andres Löh et al. · Proceedings of the ACM on Programming Languages · 2022 · 15 citations · Full text

Engineering, Type Theory, Verification +18

MacoCaml: Staging Composable and Compilable Macros

Ningning Xie, Leo White, Olivier Nicole et al. · Proceedings of the ACM on Programming Languages · 2023 · 11 citations · Full text