Ningning Xie

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 26

Top Topics

Macro Operators

Top Venues

Proc. ACM Program. Lang.

Publications

Jeremy Yallop, Ningning Xie, Neel Krishnaswami
flap: A Deterministic Parser with Fused Lexing. CoRR (2023)
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
flap: A Deterministic Parser with Fused Lexing. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Adam Paszke, Ningning Xie
Infix-Extensible Record Types for Tabular Data. TyDe@ICFP (2023)
Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
MacoCaml: Staging Composable and Compilable Macros. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ningning Xie
Haskell for Choice-Based Learning (Keynote). Haskell (2023)
Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. MLSys (2022)
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
Union Types with Disjoint Switches (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
Union Types with Disjoint Switches. ECOOP (2022)
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6 (POPL) (2022)
Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie
Applicative Intersection Types. APLAS (2022)
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
First-class names for effect handlers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. CoRR (2021)
Ningning Xie, Daan Leijen
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke
Parallel Algebraic Effect Handlers. CoRR (2021)
Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
Perceus: garbage free reference counting with reuse. PLDI (2021)
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
Consistent Subtyping for All. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
Effect handlers, evidently. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
Row and Bounded Polymorphism via Disjoint Polymorphism. ECOOP (2020)
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
Kind inference for datatypes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ningning Xie, Daan Leijen
Effect handlers in Haskell, evidently. Haskell@ICFP (2020)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of Type Class Resolution. CoRR (2019)
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
Distributive Disjoint Polymorphism for Compositional Programming. ESOP (2019)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of type class resolution. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
Kind Inference for Datatypes: Technical Supplement. CoRR (2019)
Ningning Xie, Bruno C. d. S. Oliveira
Let Arguments Go First. ESOP (2018)
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
Consistent Subtyping for All. ESOP (2018)