Follow
Shuyuan Zhang
Shuyuan Zhang
Verified email at princeton.edu
Title
Cited by
Cited by
Year
Gemini: a family of highly capable multimodal models
G Team, R Anil, S Borgeaud, Y Wu, JB Alayrac, J Yu, R Soricut, ...
arXiv preprint arXiv:2312.11805, 2023
3482023
Gmail smart compose: Real-time assisted writing
MX Chen, BN Lee, G Bansal, Y Cao, S Zhang, J Lu, J Tsay, Y Wang, ...
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge …, 2019
2092019
Lingvo: a modular and scalable framework for sequence-to-sequence modeling
J Shen, P Nguyen, Y Wu, Z Chen, MX Chen, Y Jia, A Kannan, T Sainath, ...
arXiv preprint arXiv:1902.08295, 2019
1972019
A comparison of end-to-end models for long-form speech recognition
CC Chiu, W Han, Y Zhang, R Pang, S Kishchenko, P Nguyen, ...
2019 IEEE automatic speech recognition and understanding workshop (ASRU …, 2019
792019
An assertion language for debugging SDN applications
R Beckett, XK Zou, S Zhang, S Malik, J Rexford, D Walker
Proceedings of the third workshop on hot topics in software defined …, 2014
792014
An adaptable rule placement for software-defined networks
S Zhang, F Ivancic, C Lumezanu, Y Yuan, A Gupta, S Malik
2014 44th annual IEEE/IFIP international conference on dependable systems …, 2014
502014
Compression of End-to-End Models.
R Pang, TN Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu
Interspeech, 27-31, 2018
492018
Verification and synthesis of firewalls using SAT and QBF
S Zhang, A Mahmoud, S Malik, S Narain
2012 20th IEEE International Conference on Network Protocols (ICNP), 1-6, 2012
422012
Verification of computer switching networks: An overview
S Zhang, S Malik, R McGeer
International Symposium on Automated Technology for Verification and …, 2012
352012
SAT based verification of network data planes
S Zhang, S Malik
Automated Technology for Verification and Analysis: 11th International …, 2013
342013
In-band update for network routing policy migration
S Zhang, S Malik, S Narain, L Vanbever
2014 IEEE 22nd International Conference on Network Protocols, 356-361, 2014
92014
Generating consistent updates for software-defined network configurations
Y Yuan, F Ivančić, C Lumezanu, S Zhang, A Gupta
Proceedings of the third workshop on Hot topics in Software Defined …, 2014
82014
N-grammer: Augmenting transformers with latent n-grams
A Roy, R Anil, G Lai, B Lee, J Zhao, S Zhang, S Wang, Y Zhang, S Wu, ...
arXiv preprint arXiv:2207.06366, 2022
52022
A science of network configuration
S Narain, DC Coan, B Falchuk, S Gordon, J Kang, J Kirsch, A Naidu, ...
Journal of Cyber Security and Information Systems 1 (4), 2016
22016
Computer Network Verification and Management using Constraint Solvers
S Zhang
Princeton University, 2016
12016
Declarative, Distributed Configuration
S Narain, D Chee, CM Chen, B Coan, B Falchuk, S Gordon, J Kirsch, ...
Proc. of ACM Distributed Software-Defined Network Workshop, 2014
12014
Stability of Disulfide-Linked Fetuin-Bisphosphonate Conjugates for Increased Mineral Affinity
S Zhang, JEI Wright, G Bansal, H Uludag
ANNUAL MEETING-SOCIETY FOR BIOMATERIALS IN CONJUNCTION WITH THE …, 2006
2006
Concise Paper: In-Band Update for Network Routing Policy Migration
S Zhang, S Malik, S Narain, L Vanbever
The system can't perform the operation now. Try again later.
Articles 1–18