Ningning Xie

38 papers A* 1A 5B 1C 3Journal 24Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism.
ESOP (2)
Hasti Toossi, Ningning Xie
2026 J jnl
Extensible Data Types with Ad-Hoc Polymorphism.
Proc. ACM Program. Lang.
Matthew Toohey, Yanning Chen, Ara Jamalzadeh, Ningning Xie
2026 J jnl
Handling Scope Checks (Extended Version).
CoRR
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
2026 J jnl
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks.
Proc. ACM Program. Lang.
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
2026 C ed.
Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026
PEPM
Yukiyoshi Kameyama, Ningning Xie
2025 J jnl
Handling the Selection Monad (Full Version).
CoRR
Gordon D. Plotkin, Ningning Xie
2025 J jnl
Handling the Selection Monad.
Proc. ACM Program. Lang.
Gordon D. Plotkin, Ningning Xie
2025 J jnl
Multi-stage Programming with Splice Variables.
Proc. ACM Program. Lang.
Tsung-Ju Chiang, Ningning Xie
2025 J jnl
Practical Type Inference with Levels.
Proc. ACM Program. Lang.
Andong Fan, Han Xu, Ningning Xie
2025 C ed.
Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, Haskell 2025, Singapore, October 12-18, 2025
Haskell
J. Garrett Morris, Ningning Xie
2024 J jnl
Parallel Algebraic Effect Handlers.
Proc. ACM Program. Lang.
Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke
2024 J jnl
Staged Compilation with Module Functors.
Proc. ACM Program. Lang.
Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie
2023 C conf
Haskell for Choice-Based Learning (Keynote).
Haskell
Ningning Xie
2023 — conf
Infix-Extensible Record Types for Tabular Data.
TyDe@ICFP
Adam Paszke, Ningning Xie
2023 J jnl
MacoCaml: Staging Composable and Compilable Macros.
Proc. ACM Program. Lang.
Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
2023 J jnl
flap: A Deterministic Parser with Fused Lexing.
CoRR
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
2023 J jnl
flap: A Deterministic Parser with Fused Lexing.
Proc. ACM Program. Lang.
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
2022 B conf
Applicative Intersection Types.
APLAS
Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie
2022 J jnl
First-class names for effect handlers.
Proc. ACM Program. Lang.
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
2022 J jnl
Staging with class: a specification for typed template Haskell.
Proc. ACM Program. Lang.
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
2022 — conf
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning.
MLSys
Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
2022 J jnl
Union Types with Disjoint Switches (Artifact).
Dagstuhl Artifacts Ser.
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
2022 A conf
Union Types with Disjoint Switches.
ECOOP
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
2021 J jnl
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C.
Proc. ACM Program. Lang.
Ningning Xie, Daan Leijen
2021 J jnl
Parallel Algebraic Effect Handlers.
CoRR
Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke
2021 A* conf
Perceus: garbage free reference counting with reuse.
PLDI
Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
2021 J jnl
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning.
CoRR
Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
2020 J jnl
Consistent Subtyping for All.
ACM Trans. Program. Lang. Syst.
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2020 — conf
Effect handlers in Haskell, evidently.
Haskell@ICFP
Ningning Xie, Daan Leijen
2020 J jnl
Effect handlers, evidently.
Proc. ACM Program. Lang.
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
2020 J jnl
Kind inference for datatypes.
Proc. ACM Program. Lang.
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
2020 A conf
Row and Bounded Polymorphism via Disjoint Polymorphism.
ECOOP
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
2019 J jnl
Coherence of Type Class Resolution.
CoRR
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
2019 J jnl
Coherence of type class resolution.
Proc. ACM Program. Lang.
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
2019 A conf
Distributive Disjoint Polymorphism for Compositional Programming.
ESOP
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
2019 J jnl
Kind Inference for Datatypes: Technical Supplement.
CoRR
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
2018 A conf
Consistent Subtyping for All.
ESOP
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
2018 A conf
Let Arguments Go First.
ESOP
Ningning Xie, Bruno C. d. S. Oliveira