Ningning Xie

Cited by

	All	Since 2018
Citations	219	218
h-index	8	8
i10-index	6	6

2018201920202021202220234 20 18 46 63 60

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
Xuan BiThe University of Hong KongVerified email at cs.hku.hk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerified email at ed.ac.uk
Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of TübingenVerified email at b-studios.de
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Richard A. EisenbergJane StreetVerified email at richarde.dev
Baber RehmanUniversity of Hong KongVerified email at cs.hku.hk
Gert-Jan BottuPhD in Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Dimitrios VytiniotisDeepMindVerified email at google.com
Matthew PickeringWell-Typed LLPVerified email at well-typed.com
Adam PaszkeGoogleVerified email at students.mimuw.edu.pl
Youyou CongTokyo Institute of TechnologyVerified email at c.titech.ac.jp
Dougal MaclaurinPhD student, Harvard UniversityVerified email at physics.harvard.edu
Daniel D. JohnsonResearch Scientist, Google Research / University of TorontoVerified email at google.com
Xu XueThe University of Hong KongVerified email at connect.hku.hk

Ningning Xie

University of Toronto / Google DeepMind

Verified email at google.com - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Consistent Subtyping for All N XIE, X BI, BCDS OLIVEIRA, TOM SCHRIJVERS ACM Transactions on Programming Languages and Systems 42 (No. 1), Article 2, 2019	39	2019
Consistent Subtyping for All N Xie, X Bi, BCS Oliveira Proceedings of the 27th European Symposium on Programming Languages and …, 2018	39	2018
Effect handlers, evidently N Xie, JI Brachthäuser, D Hillerström, P Schuster, D Leijen Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020	36	2020
Effect Handlers, Evidently N Xie, J Brachthäuser, D Hillerström, P Schuster, D Leijen MSR-TR-2020-23. Microsoft Research. Extended version with proofs, 2020	36	2020
Perceus: garbage free reference counting with reuse A Reinking, N Xie, L de Moura, D Leijen Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	26	2021
Distributive Disjoint Polymorphism for Compositional Programming X Bi, N Xie, BCS Oliveira, T Schrijvers European Symposium on Programming Languages and Systems (ESOP 2019), 2019	23	2019
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C N Xie, D Leijen Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021	17	2021
Coherence of type class resolution GJ Bottu, N Xie, K Marntirosian, T Schrijvers Proceedings of the ACM on Programming Languages 3 (ICFP), 91, 2019	14	2019
Row and bounded polymorphism via disjoint polymorphism N Xie, BCS Oliveira, X Bi, T Schrijvers 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020	9	2020
Synthesizing optimal parallelism placement and reduction strategies on hierarchical systems for deep learning N Xie, T Norman, D Grewe, D Vytiniotis Proceedings of Machine Learning and Systems 4, 548-566, 2022	8	2022
Staging with class: a specification for typed template Haskell N Xie, M Pickering, A Löh, N Wu, J Yallop, M Wang Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022	8	2022
Union Types with Disjoint Switches B Rehman, X Huang, N Xie, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022	7	2022
Effect handlers in Haskell, evidently N Xie, D Leijen Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 95-108, 2020	7	2020
Let Arguments Go First N Xie, BC d. S. Oliveira Programming Languages and Systems, Amal Ahmed (Ed.). Springer International …, 2018	7*	2018
Coercion Quantification N Xie, RA Eisenberg 10th Haskell Implementors' Workshop, 2018	5	2018
Generalized evidence passing for effect handlers N Xie, D Leijen Microsoft Research. Extended version with proofs, 2021	4	2021
First-class Names for Effect Handlers N Xie, Y Cong, D Leijen HOPE, 2021	3	2021
Kind Inference for Datatypes N Xie, RA Eisenberg, BCDS OLIVEIRA Proceedings of the ACM on Programming Languages 4 (POPL), 53, 2019	2	2019
Kind Inference for Datatypes: Technical Supplement N Xie, RA Eisenberg, BCS Oliveira arXiv preprint arXiv:1911.06153, 2019	2	2019
MacoCaml: Staging composable and compilable macros N Xie, L White, O Nicole, J Yallop Proceedings of the ACM on Programming Languages 7 (ICFP), 604-648, 2023	1	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors