Tuowei Wang

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Automated Verification

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Computers

Publications

Xingyu Xie, Yifei Li, Wei Zhang, Tuowei Wang, Shizhen Xu, Jun Zhu, Yifan Song
GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Liyan Zheng, Haojie Wang, Jidong Zhai, Muyan Hu, Zixuan Ma, Tuowei Wang, Shuhong Huang, Xupeng Miao, Shizhi Tang, Kezhao Huang, Zhihao Jia
EINNET: Optimizing Tensor Programs with Derivation-Based Transformations. OSDI (2023)
Haojie Wang, Jidong Zhai, Mingyu Gao, Feng Zhang, Tuowei Wang, Zixuan Ma, Shizhi Tang, Liyan Zheng, Wen Wang, Kaiyuan Rong, Yuanyong Chen, Zhihao Jia
Optimizing DNNs With Partially Equivalent Transformations and Automated Corrections. IEEE Trans. Computers 72 (12) (2023)
Yongheng Deng, Sheng Yue, Tuowei Wang, Guanbo Wang, Ju Ren, Yaoxue Zhang
FedINC: An Exemplar-Free Continual Federated Learning Framework with Small Labeled Data. SenSys (2023)
Liyan Zheng, Haojie Wang, Jidong Zhai, Muyan Hu, Zixuan Ma, Tuowei Wang, Shizhi Tang, Lei Xie, Kezhao Huang, Zhihao Jia
OLLIE: Derivation-based Tensor Program Optimizer. CoRR (2022)