Fei Wang

23 papers A* 4A 2B 1C 2Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems.
CoRR
Supun Abeysinghe, Fei Wang, Grégory M. Essertel, Tiark Rompf
2022 A* conf
ProFactory: Improving IoT Security via Formalized Protocol Customization.
USENIX Security Symposium
Fei Wang, Jianliang Wu, Yuhong Nan, Yousra Aafer, Xiangyu Zhang, Dongyan Xu, Mathias Payer
2021 B conf
HACCLE: metaprogramming for secure multi-party computation.
GPCE
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
2021 A* conf
NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces.
NDSS
Yapeng Ye, Zhuo Zhang, Fei Wang, Xiangyu Zhang, Dongyan Xu
2020 J jnl
HACCLE: An Ecosystem for Building Secure Multi-Party Computations.
CoRR
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
2019 — conf
AutoGraph: Imperative-style Coding with Graph-based Performance.
SysML
Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko
2019 J jnl
Demystifying differentiable programming: shift/reset the penultimate backpropagator.
Proc. ACM Program. Lang.
Fei Wang, Daniel Zheng, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf
2019 J jnl
Flare & Lantern: Efficiently Swapping Horses Midstream.
Proc. VLDB Endow.
Grégory M. Essertel, Ruby Y. Tahboub, Fei Wang, James M. Decker, Tiark Rompf
2019 J jnl
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.
CoRR
Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf
2019 — conf
Parallel Training via Computation Graph Transformation.
IEEE BigData
Fei Wang, Guoyang Chen, Weifeng Zhang, Tiark Rompf
2018 — conf
A Language and Compiler View on Differentiable Programming.
ICLR (Workshop)
Fei Wang, Tiark Rompf
2018 J jnl
AutoGraph: Imperative-style Coding with Graph-based Performance.
CoRR
Dan Moldovan, James M. Decker, Fei Wang, Andrew A. Johnson, Brian K. Lee, Zachary Nado, D. Sculley, Tiark Rompf, Alexander B. Wiltschko
2018 A* conf
Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.
NeurIPS
Fei Wang, James M. Decker, Xilun Wu, Grégory M. Essertel, Tiark Rompf
2018 J jnl
Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator.
CoRR
Fei Wang, Xilun Wu, Grégory M. Essertel, James M. Decker, Tiark Rompf
2018 J jnl
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero.
CoRR
Fei Wang, Tiark Rompf
2018 A conf
Lprov: Practical Library-aware Provenance Tracing.
ACSAC
Fei Wang, Yonghwi Kwon, Shiqing Ma, Xiangyu Zhang, Dongyan Xu
2017 J jnl
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact).
Dagstuhl Artifacts Ser.
Fei Wang, Tiark Rompf
2017 A conf
Towards Strong Normalization for Dependent Object Types (DOT).
ECOOP
Fei Wang, Tiark Rompf
2015 C conf
LiHB: Lost in HTTP Behaviors - A Behavior-Based Covert Channel in HTTP.
IH&MMSec
Yao Shen, Liusheng Huang, Fei Wang, Xiaorong Lu, Wei Yang, Lu Li
2014 J jnl
A novel distributed covert channel in HTTP.
Secur. Commun. Networks
Fei Wang, Liusheng Huang, Haibo Miao, Miaomiao Tian
2014 A* conf
PS-TRUST: Provably secure solution for truthful double spectrum auctions.
INFOCOM
Zhili Chen, Liusheng Huang, Lu Li, Wei Yang, Haibo Miao, Miaomiao Tian, Fei Wang
2013 C conf
A Novel Web Tunnel Detection Method Based on Protocol Behaviors.
SecureComm
Fei Wang, Liusheng Huang, Zhili Chen, Haibo Miao, Wei Yang
2013 J jnl
PS-TRUST: Provably Secure Solution for Truthful Double Spectrum Auctions.
CoRR
Zhili Chen, Liusheng Huang, Lu Li, Wei Yang, Haibo Miao, Miaomiao Tian, Fei Wang