| 2026 | ESOP | Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism. | Hasti Toossi, Ningning Xie |
| 2023 | HASKELL | Haskell for Choice-Based Learning (Keynote). | Ningning Xie |
| 2023 | ICFP | Infix-Extensible Record Types for Tabular Data. | Adam Paszke, Ningning Xie |
| 2022 | APLAS | Applicative Intersection Types. | Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie |
| 2022 | ECOOP | Union Types with Disjoint Switches. | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
| 2021 | PLDI | Perceus: garbage free reference counting with reuse. | Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen |
| 2020 | ECOOP | Row and Bounded Polymorphism via Disjoint Polymorphism. | Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers |
| 2020 | HASKELL | Effect handlers in Haskell, evidently. | Ningning Xie, Daan Leijen |
| 2019 | ESOP | Distributive Disjoint Polymorphism for Compositional Programming. | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2018 | ESOP | Consistent Subtyping for All. | Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
| 2018 | ESOP | Let Arguments Go First. | Ningning Xie, Bruno C. d. S. Oliveira |