Ningning Xie

Cited by

	All	Since 2018
Citations	173	172
h-index	7	7
i10-index	7	7

2018201920202021202220234 20 18 46 58 19

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bruno C. d. S. OliveiraAssistant 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
Daniel HillerströmResearcher, The University of EdinburghVerified email at ed.ac.uk
Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of TübingenVerified email at b-studios.de
Richard A. EisenbergJane StreetVerified email at richarde.dev
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Alex ReinkingUC BerkeleyVerified email at berkeley.edu
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
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Matthew PickeringWell-Typed LLPVerified email at well-typed.com
Dimitrios VytiniotisDeepMindVerified email at google.com
Dougal MaclaurinPhD student, Harvard UniversityVerified email at physics.harvard.edu
Adam PaszkeGoogleVerified email at students.mimuw.edu.pl
Daniel D. JohnsonGoogle Research / University of TorontoVerified email at google.com
Youyou CongTokyo Institute of TechnologyVerified email at c.titech.ac.jp

Ningning Xie

Google / University of Toronto

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	35	2019
Consistent Subtyping for All N Xie, X Bi, BCS Oliveira Proceedings of the 27th European Symposium on Programming Languages and …, 2018	35	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	31	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	31	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	16	2021
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	14	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	13	2019
Coherence of type class resolution GJ Bottu, N Xie, K Marntirosian, T Schrijvers Proceedings of the ACM on Programming Languages 3 (ICFP), 91, 2019	10	2019
Bruno C. d. S. Oliveira, and Tom Schrijvers. 2019. Distributive disjoint polymorphism for compositional programming X Bi, N Xie Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 0	10
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
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	6	2020
Union Types with Disjoint Switches B Rehman, X Huang, N Xie, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022	5	2022
Coercion Quantification N Xie, RA Eisenberg 10th Haskell Implementors' Workshop, 2018	5	2018
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	4	2022
Generalized evidence passing for effect handlers N Xie, D Leijen Microsoft Research. Extended version with proofs, 2021	4	2021
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	2	2022
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
Parallel Algebraic Effect Handlers N Xie, DD Johnson, D Maclaurin, A Paszke arXiv preprint arXiv:2110.07493, 2021	1	2021

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