Shuyuan Zhang
Shuyuan Zhang
Bestätigte E-Mail-Adresse bei princeton.edu
Titel
Zitiert von
Zitiert von
Jahr
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
662019
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
532014
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
352014
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
342012
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
332019
Verification of computer switching networks: An overview
S Zhang, S Malik, R McGeer
International Symposium on Automated Technology for Verification and …, 2012
262012
SAT based verification of network data planes
S Zhang, S Malik
Automated Technology for Verification and Analysis, 496-505, 2013
252013
Compression of end-to-end models
R Pang, T Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu
222018
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
202019
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
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
62014
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15