Fei Wang

According to our database, Fei Wang authored at least 21 papers between 2013 and 2023.

Collaborative distances:

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

2023

Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems.

Supun Abeysinghe, Fei Wang, Grégory M. Essertel, Tiark Rompf

CoRR, 2023

2022

ProFactory: Improving IoT Security via Formalized Protocol Customization.

Fei Wang, Jianliang Wu, Yuhong Nan, Yousra Aafer, Xiangyu Zhang, Dongyan Xu, Mathias Payer

Proceedings of the 31st USENIX Security Symposium, 2022

2021

NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces.

Yapeng Ye, Zhuo Zhang, Fei Wang, Xiangyu Zhang, Dongyan Xu

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

HACCLE: metaprogramming for secure multi-party computation.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, 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

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

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

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

Proceedings of the Second Conference on Machine Learning and Systems, SysML 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 (IEEE BigData), 2019

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

Lprov: Practical Library-aware Provenance Tracing.

Fei Wang, Yonghwi Kwon, Shiqing Ma, Xiangyu Zhang, Dongyan Xu

Proceedings of the 34th Annual Computer Security Applications Conference, 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

2015

LiHB: Lost in HTTP Behaviors - A Behavior-Based Covert Channel in HTTP.

Yao Shen, Liusheng Huang, Fei Wang, Xiaorong Lu, Wei Yang, Lu Li

Proceedings of the 3rd ACM Workshop on Information Hiding and Multimedia Security, 2015

2014

A novel distributed covert channel in HTTP.

Fei Wang, Liusheng Huang, Haibo Miao, Miaomiao Tian

Secur. Commun. Networks, 2014

PS-TRUST: Provably secure solution for truthful double spectrum auctions.

Zhili Chen, Liusheng Huang, Lu Li, Wei Yang, Haibo Miao, Miaomiao Tian, Fei Wang

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013

A Novel Web Tunnel Detection Method Based on Protocol Behaviors.

Fei Wang, Liusheng Huang, Zhili Chen, Haibo Miao, Wei Yang

Proceedings of the Security and Privacy in Communication Networks, 2013