Shuyuan Zhang
Shuyuan Zhang
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
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
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
Aurora A orchestrates entosis by regulating a dynamic MCAK–TIP150 interaction
P Xia, J Zhou, X Song, B Wu, X Liu, D Li, S Zhang, Z Wang, H Yu, T Ward, ...
Journal of molecular cell biology 6 (3), 240-254, 2014
TALEN-mediated somatic mutagenesis in murine models of cancer
S Zhang, L Li, SL Kendrick, RD Gerard, H Zhu
Cancer research 74 (18), 5311-5321, 2014
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
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
Verification of computer switching networks: An overview
S Zhang, S Malik, R McGeer
International Symposium on Automated Technology for Verification and …, 2012
Compression of end-to-end models
R Pang, T Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu
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
SAT based verification of network data planes
S Zhang, S Malik
Automated Technology for Verification and Analysis, 496-505, 2013
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
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
A science of network configuration
S Narain, D Chee, B Coan, B Falchuk, S Gordon, J Kang, J Kirsch, ...
Journal of Cyber Security and Information Systems 1 (4), 2016
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
Computer Network Verification and Management using Constraint Solvers
S Zhang
Princeton, NJ: Princeton University, 2016
Concise Paper: In-Band Update for Network Routing Policy Migration
S Zhang, S Malik, S Narain, L Vanbever
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17