Fei Wang

According to our database, Fei Wang authored at least 13 papers between 2017 and 2020.

Collaborative distances:

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

2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

CoRR, 2020

2019

Flare & Lantern: Efficiently Swapping Horses Midstream.

Grégory M. Essertel, Ruby Y. Tahboub, Fei Wang, James M. Decker, Tiark Rompf

Proc. VLDB Endow., 2019

Demystifying differentiable programming: shift/reset the penultimate backpropagator.

Fei Wang, Daniel Zheng, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf

Proc. ACM Program. Lang., 2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.

Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf

CoRR, 2019

AG: Imperative-style Coding with Graph-based Performance.

Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko

Proceedings of Machine Learning and Systems 2019, 2019

Parallel Training via Computation Graph Transformation.

Fei Wang, Guoyang Chen, Weifeng Zhang, Tiark Rompf

Proceedings of the 2019 IEEE International Conference on Big Data (Big Data), 2019

2018

AutoGraph: Imperative-style Coding with Graph-based Performance.

Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko

CoRR, 2018

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator.

Fei Wang, Xilun Wu, Grégory M. Essertel, James M. Decker, Tiark Rompf

CoRR, 2018

From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero.

Fei Wang, Tiark Rompf

CoRR, 2018

Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.

Fei Wang, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

A Language and Compiler View on Differentiable Programming.

Fei Wang, Tiark Rompf

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Towards Strong Normalization for Dependent Object Types (DOT) (Artifact).

Fei Wang, Tiark Rompf

Dagstuhl Artifacts Ser., 2017

Towards Strong Normalization for Dependent Object Types (DOT).

Fei Wang, Tiark Rompf

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017