Ningning Xie

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	flap: A Deterministic Parser with Fused Lexing	2023	Jeremy Yallop Ningning Xie Neel Krishnaswami
+	Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)	2021	Ningning Xie Daan Leijen
+	Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)	2021	Ningning Xie Daan Leijen
+	Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning	2021	Ningning Xie Tamara Norman Dominik Grewe Dimitrios Vytiniotis
+	Parallel Algebraic Effect Handlers	2021	Ningning Xie Daniel D. Johnson Dougal Maclaurin Adam Paszke
+	Kind inference for datatypes	2020	Ningning Xie Richard A. Eisenberg Bruno C. d. S. Oliveira
+ PDF Chat	Kind inference for datatypes	2019	Ningning Xie Richard A. Eisenberg Bruno C. d. S. Oliveira
+ PDF Chat	Coherence of type class resolution	2019	Gert-Jan Bottu Ningning Xie Koar Marntirosian Tom Schrijvers

Common Coauthors

Coauthor	Papers Together
Bruno C. d. S. Oliveira	2
Daan Leijen	2
Richard A. Eisenberg	2
Daniel D. Johnson	1
Dimitrios Vytiniotis	1
Dougal Maclaurin	1
Tom Schrijvers	1
Gert-Jan Bottu	1
Dominik Grewe	1
Neel Krishnaswami	1
Adam Paszke	1
Koar Marntirosian	1
Tamara Norman	1
Jeremy Yallop	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Resolution in Type Theory	1971	Peter B. Andrews	2
+ PDF Chat	Complete and easy bidirectional typechecking for higher-rank polymorphism	2013	Jana Dunfield Neelakantan R. Krishnaswami	2
+ PDF Chat	Koka: Programming with Row Polymorphic Effect Types	2014	Daan Leijen	1
+	Horovod: fast and easy distributed deep learning in TensorFlow	2018	Alexander Sergeev Mike Del Balso	1
+	Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking	2018	Zhe Jia Marco Maggioni Benjamin Staiger Daniele Paolo Scarpazza	1
+	Placeto: Learning Generalizable Device Placement Algorithms for Distributed Machine Learning	2019	Ravichandra Addanki Shaileshh Bojja Venkatakrishnan Shreyan Gupta Hongzi Mao Mohammad Reza Alizadeh	1
+	Blink: Fast and Generic Collectives for Distributed ML	2020	Guanhua Wang Shivaram Venkataraman Amar Phanishayee Jørgen Thelin Nikhil R. Devanur Ion Stoica	1
+	Kind inference for datatypes	2020	Ningning Xie Richard A. Eisenberg Bruno C. d. S. Oliveira	1
+ PDF Chat	Modular implicits	2015	Leo White Frédéric Bour Jeremy Yallop	1
+	Beyond Data and Model Parallelism for Deep Neural Networks	2018	Zhihao Jia Matei Zaharia Alex Aiken	1
+ PDF Chat	A simple semantics for Haskell overloading	2014	J. Garrett Morris	1
+ PDF Chat	A practical mode system for recursive definitions	2021	Alban Reynaud Gabriel Scherer Jeremy Yallop	1
+ PDF Chat	ZeRO: Memory optimizations Toward Training Trillion Parameter Models	2020	Samyam Rajbhandari Jeff Rasley Olatunji Ruwase Yuxiong He	1
+	Retrofitting effect handlers onto OCaml	2021	KC Sivaramakrishnan Stephen K. Dolan Leo White Tom Kelly Sadiq Jaffer Anil Madhavapeddy	1
+ PDF Chat	Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming	2021	Adam Paszke Daniel D. Johnson David Duvenaud Dimitrios Vytiniotis Alexey Radul Matthew Johnson Jonathan Ragan‐Kelley Dougal Maclaurin	1
+	None	2003	Gordon Plotkin John Power	1
+ PDF Chat	flap: A Deterministic Parser with Fused Lexing	2023	Jeremy Yallop Ningning Xie Neel Krishnaswami	1
+	Greibach Normal Form Transformation Revisited	1999	Norbert Blüm Robert J. Koch	1