Shuyuan Zhang
Shuyuan Zhang
Potvrđena adresa e-pošte na
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
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
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
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
Compression of end-to-end models
R Pang, T Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu
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
SAT based verification of network data planes
S Zhang, S Malik
Automated Technology for Verification and Analysis: 11th International …, 2013
Verification of computer switching networks: An overview
S Zhang, S Malik, R McGeer
International Symposium on Automated Technology for Verification and …, 2012
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
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
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
Computer Network Verification and Management using Constraint Solvers
S Zhang
Princeton University, 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
Concise Paper: In-Band Update for Network Routing Policy Migration
S Zhang, S Malik, S Narain, L Vanbever
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–15