Ningning Xie

According to our database, Ningning Xie authored at least 24 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parallel Algebraic Effect Handlers.

Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke

Proc. ACM Program. Lang., 2024

Staged Compilation with Module Functors.

Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie

Proc. ACM Program. Lang., 2024

2023

MacoCaml: Staging Composable and Compilable Macros.

Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop

Proc. ACM Program. Lang., August, 2023

flap: A Deterministic Parser with Fused Lexing.

Jeremy Yallop, Ningning Xie, Neel Krishnaswami

Proc. ACM Program. Lang., 2023

Infix-Extensible Record Types for Tabular Data.

Adam Paszke, Ningning Xie

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

Haskell for Choice-Based Learning (Keynote).

Ningning Xie

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Staging with class: a specification for typed template Haskell.

Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang

Proc. ACM Program. Lang., 2022

First-class names for effect handlers.

Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen

Proc. ACM Program. Lang., 2022

Union Types with Disjoint Switches (Artifact).

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning.

Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis

Proceedings of the Fifth Conference on Machine Learning and Systems, 2022

Union Types with Disjoint Switches.

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Applicative Intersection Types.

Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

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

Ningning Xie, Daan Leijen

Proc. ACM Program. Lang., 2021

Perceus: garbage free reference counting with reuse.

Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Consistent Subtyping for All.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

ACM Trans. Program. Lang. Syst., 2020

Kind inference for datatypes.

Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2020

Effect handlers, evidently.

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen

Proc. ACM Program. Lang., 2020

Effect handlers in Haskell, evidently.

Ningning Xie, Daan Leijen

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

Row and Bounded Polymorphism via Disjoint Polymorphism.

Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Coherence of type class resolution.

Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers

Proc. ACM Program. Lang., 2019

Kind Inference for Datatypes: Technical Supplement.

Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

CoRR, 2019

Distributive Disjoint Polymorphism for Compositional Programming.

Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2019

2018

Let Arguments Go First.

Ningning Xie, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2018

Consistent Subtyping for All.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2018