Liquid types PM Rondon, M Kawaguci, R Jhala Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 579 | 2008 |
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 | 214 | 2019 |
Shallow-Fusion End-to-End Contextual Biasing. D Zhao, TN Sainath, D Rybach, P Rondon, D Bhatia, B Li, R Pang Interspeech, 1418-1422, 2019 | 175 | 2019 |
Abstract refinement types N Vazou, PM Rondon, R Jhala Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 153 | 2013 |
Low-level liquid types PM Rondon, M Kawaguchi, R Jhala ACM Sigplan Notices 45 (1), 131-144, 2010 | 96 | 2010 |
Type-based data structure verification M Kawaguchi, P Rondon, R Jhala Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 94 | 2009 |
Nested refinements: a logic for duck typing R Chugh, PM Rondon, R Jhala ACM SIGPLAN Notices 47 (1), 231-244, 2012 | 76 | 2012 |
An efficient streaming non-recurrent on-device end-to-end model with improvements to rare-word modeling TN Sainath, YR He, A Narayanan, R Botros, R Pang, DJ Rybach, ... | 48 | 2021 |
Deterministic parallelism via liquid effects M Kawaguchi, P Rondon, A Bakst, R Jhala ACM SIGPLAN Notices 47 (6), 45-54, 2012 | 38 | 2012 |
CSolve: Verifying C with liquid types P Rondon, A Bakst, M Kawaguchi, R Jhala Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 23 | 2012 |
Dsolve: Safety verification via liquid types M Kawaguchi, PM Rondon, R Jhala Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 23 | 2010 |
NAM+: Towards Scalable End-to-End Contextual Biasing for Adaptive ASR T Munkhdalai, Z Wu, G Pundak, KC Sim, J Li, P Rondon, TN Sainath 2022 IEEE Spoken Language Technology Workshop (SLT), 190-196, 2023 | 19 | 2023 |
Improving Contextual Biasing with Text Injection TN Sainath, R Prabhavalkar, D Caseiro, P Rondon, C Allauzen ICASSP 2023-2023 IEEE International Conference on Acoustics, Speech and …, 2023 | 11 | 2023 |
Dual-mode NAM: Effective top-k context injection for end-to-end asr Z Wu, T Munkhdalai, P Rondon, G Pundak, KC Sim, C Li Proc. Interspeech 2023, 221-225, 2023 | 11 | 2023 |
Liquid types P Rondon University of California, San Diego, 2012 | 7 | 2012 |
Improving Entity Recall in Automatic Speech Recognition with Neural Embeddings C Li, P Rondon, D Caseiro, L Velikovich, X Velez, P Aleksic ICASSP 2021-2021 IEEE International Conference on Acoustics, Speech and …, 2021 | 5 | 2021 |
Nested refinements for dynamic languages R Chugh, PM Rondon, R Jhala arXiv preprint arXiv:1103.5055, 2011 | 5 | 2011 |
Contextual Spelling Correction with Large Language Models G Song, Z Wu, G Pundak, A Chandorkar, K Joshi, X Velez, D Caseiro, ... 2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 1-8, 2023 | 4 | 2023 |
Contextual biasing with the Knuth-Morris-Pratt matching algorithm W Wang, Z Wu, D Caseiro, T Munkhdalai, KC Sim, P Rondon, G Pundak, ... arXiv preprint arXiv:2310.00178, 2023 | 3 | 2023 |
MIXED CASE CONTEXTUAL ASR USING CAPITALIZATION MASKS DA Caseiro, P Rondon, PS Aleksic | 3 | 2020 |