Yuyang Sang

According to our database, Yuyang Sang authored at least 4 papers between 2019 and 2025.

Collaborative distances:

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

2025

New Evolution of Hoyan: Enhancing Scalability, Usability, and Accuracy for Alibaba's Global WAN Verification.

Yifei Yuan, Fangdan Ye, Yifan Li, Jingkai Zhang, Mengqi Liu, Yuyang Sang, Ruizhen Yang, Duncheng She, Zhiqing Ye, Tianchen Guo, Xiaobo Zhu, Xinji Tang, Li Jia, Zhongyu Guan, Lingpeng Su, Ci Wang, Ruiyang Feng, Shuo Wu, Zhonghui Xie, Cheng Jin, Peng Zhang, Qing Ma, Xianlong Zeng, Dennis Cai, Ennan Zhai

Proceedings of the ACM SIGCOMM 2025 Conference, 2025

2023

Bidirectional quantum teleportation in multi-hop communication network.

Zhihua Zhang, Yuyang Sang

Quantum Inf. Process., May, 2023

Ou: Automating the Parallelization of Zero-Knowledge Protocols.

Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2019

DeepSEA: a language for certified system software.

Vilhelm Sjöberg, Yuyang Sang, Shu-Chun Weng, Zhong Shao

Proc. ACM Program. Lang., 2019