| Gemini: a family of highly capable multimodal models G Team, R Anil, S Borgeaud, JB Alayrac, J Yu, R Soricut, J Schalkwyk, ... arXiv preprint arXiv:2312.11805, 2023 | 2144 | 2023 |
| 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 | 244 | 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 | 212 | 2019 |
| 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 | 84 | 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 | 78 | 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 | 51 | 2014 |
| Compression of End-to-End Models. R Pang, TN Sainath, R Prabhavalkar, S Gupta, Y Wu, S Zhang, CC Chiu Interspeech, 27-31, 2018 | 50 | 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 | 42 | 2012 |
| SAT based verification of network data planes S Zhang, S Malik Automated Technology for Verification and Analysis: 11th International …, 2013 | 38 | 2013 |
| Verification of computer switching networks: An overview S Zhang, S Malik, R McGeer International Symposium on Automated Technology for Verification and …, 2012 | 35 | 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 | 8 | 2014 |
| N-grammer: Augmenting transformers with latent n-grams A Roy, R Anil, G Lai, B Lee, J Zhao, S Zhang, S Wang, Y Zhang, S Wu, ... arXiv preprint arXiv:2207.06366, 2022 | 7 | 2022 |
| 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 |
| Computer Network Verification and Management using Constraint Solvers S Zhang Princeton University, 2016 | 1 | 2016 |
| Declarative, Distributed Configuration S Narain, D Chee, CM Chen, B Coan, B Falchuk, D Gordon, J Kirsch, ... Proc. of ACM Distributed Software-Defined Network Workshop, 2014 | 1 | 2014 |
| 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 UniversityGeverifieerd e-mailadres voor princeton.edu
