Fei Wang

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2019
Flare & Lantern: Efficiently Swapping Horses Midstream.
Proc. VLDB Endow., 2019

Demystifying differentiable programming: shift/reset the penultimate backpropagator.
Proc. ACM Program. Lang., 2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.
CoRR, 2019

AG: Imperative-style Coding with Graph-based Performance.
Proceedings of Machine Learning and Systems 2019, 2019

Parallel Training via Computation Graph Transformation.
Proceedings of the 2019 IEEE International Conference on Big Data (Big Data), 2019

2018
AutoGraph: Imperative-style Coding with Graph-based Performance.
CoRR, 2018

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator.
CoRR, 2018

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

Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.
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.
Proceedings of the 6th International Conference on Learning Representations, 2018

2017
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact).
Dagstuhl Artifacts Ser., 2017

Towards Strong Normalization for Dependent Object Types (DOT).
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017


  Loading...