Follow
Patrick Rondon
Patrick Rondon
Software engineer, Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Liquid types
PM Rondon, M Kawaguci, R Jhala
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
5352008
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
1972019
Abstract refinement types
N Vazou, PM Rondon, R Jhala
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
1442013
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
1372019
Type-based data structure verification
M Kawaguchi, P Rondon, R Jhala
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
882009
Low-level liquid types
PM Rondon, M Kawaguchi, R Jhala
ACM Sigplan Notices 45 (1), 131-144, 2010
852010
Nested refinements: a logic for duck typing
R Chugh, PM Rondon, R Jhala
ACM SIGPLAN Notices 47 (1), 231-244, 2012
742012
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, ...
392021
Deterministic parallelism via liquid effects
M Kawaguchi, P Rondon, A Bakst, R Jhala
ACM SIGPLAN Notices 47 (6), 45-54, 2012
372012
CSolve: Verifying C with liquid types
P Rondon, A Bakst, M Kawaguchi, R Jhala
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
232012
Dsolve: Safety verification via liquid types
M Kawaguchi, PM Rondon, R Jhala
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
232010
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
132023
Liquid types
P Rondon
University of California, San Diego, 2012
72012
Nested refinements for dynamic languages
R Chugh, PM Rondon, R Jhala
arXiv preprint arXiv:1103.5055, 2011
52011
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
42023
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
42021
MIXED CASE CONTEXTUAL ASR USING CAPITALIZATION MASKS
DA Caseiro, P Rondon, PS Aleksic
32020
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
32018
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
The system can't perform the operation now. Try again later.
Articles 1–20