Liquid types PM Rondon, M Kawaguci, R Jhala Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 553 | 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 | 204 | 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 | 153 | 2019 |
Abstract refinement types N Vazou, PM Rondon, R Jhala Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 149 | 2013 |
Low-level liquid types PM Rondon, M Kawaguchi, R Jhala ACM Sigplan Notices 45 (1), 131-144, 2010 | 91 | 2010 |
Type-based data structure verification M Kawaguchi, P Rondon, R Jhala Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 91 | 2009 |
Nested refinements: a logic for duck typing R Chugh, PM Rondon, R Jhala ACM SIGPLAN Notices 47 (1), 231-244, 2012 | 75 | 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, ... | 44 | 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 | 16 | 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 | 7 | 2023 |
Liquid types P Rondon University of California, San Diego, 2012 | 7 | 2012 |
Nested refinements for dynamic languages R Chugh, PM Rondon, R Jhala arXiv preprint arXiv:1103.5055, 2011 | 5 | 2011 |
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 | 4 | 2021 |
MIXED CASE CONTEXTUAL ASR USING CAPITALIZATION MASKS DA Caseiro, P Rondon, PS Aleksic | 3 | 2020 |
Entropy based pruning of backoff maxent language models with contextual features T Chen, D Caseiro, P Rondon 2018 IEEE International Conference on Acoustics, Speech and Signal …, 2018 | 3 | 2018 |
Improving Automatic Speech Recognition with Neural Embeddings C Li, DA Caseiro, L Velikovich, P Rondon, PS Aleksic, XL Velez | | 2021 |
Entropy Based Pruning of Backoff MaxEnt Language Models with Contextual Features DA Caseiro, P Rondon, T Chen | | 2018 |