Follow
Shuyuan Zhang
Shuyuan Zhang
Verified email at princeton.edu
Title
Cited by
Cited by
Year
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
1432019
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
1272019
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
682014
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
462019
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
432014
Compression of end-to-end models
R Pang, T Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu
412018
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
402012
TALEN-Mediated Somatic Mutagenesis in Murine Models of CancerIn Vivo Cancer Modeling with Genome-Editing Tools
S Zhang, L Li, SL Kendrick, RD Gerard, H Zhu
Cancer research 74 (18), 5311-5321, 2014
372014
SAT based verification of network data planes
S Zhang, S Malik
Automated Technology for Verification and Analysis, 496-505, 2013
342013
Verification of computer switching networks: An overview
S Zhang, S Malik, R McGeer
International Symposium on Automated Technology for Verification and …, 2012
312012
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
72014
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
72014
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
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
Computer Network Verification and Management using Constraint Solvers
S Zhang
Princeton University, 2016
2016
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–16