| 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 | 173 | 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 | 170 | 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 | 71 | 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 | 64 | 2019 |
| 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 | 46 | 2014 |
| Compression of end-to-end models R Pang, T Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu | 45 | 2018 |
| 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 | 41 | 2012 |
| SAT based verification of network data planes S Zhang, S Malik Automated Technology for Verification and Analysis: 11th International …, 2013 | 34 | 2013 |
| Verification of computer switching networks: An overview S Zhang, S Malik, R McGeer Automated Technology for Verification and Analysis: 10th International …, 2012 | 32 | 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 | 8 | 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 | 7 | 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 | 2 | 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 | 1 | 2014 |
| 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 | | |
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
