| Starcoder: may the source be with you! R Li, LB Allal, Y Zi, N Muennighoff, D Kocetkov, C Mou, M Marone, C Akiki, ... arXiv preprint arXiv:2305.06161, 2023 | 630* | 2023 |
| MultiPL-E: a scalable and polyglot approach to benchmarking neural code generation F Cassano, J Gouwar, D Nguyen, S Nguyen, L Phipps-Costin, D Pinckney, ... IEEE Transactions on Software Engineering 49 (7), 3675-3691, 2023 | 144* | 2023 |
| From datalog to flix: A declarative language for fixed points on lattices M Madsen, MH Yee, O Lhoták ACM SIGPLAN Notices 51 (6), 194-208, 2016 | 137 | 2016 |
| Correctness of speculative optimizations with dynamic deoptimization O Flückiger, G Scherer, MH Yee, A Goel, A Ahmed, J Vitek Proceedings of the ACM on Programming Languages 2 (POPL), 49, 2018 | 35 | 2018 |
| Optimizing contractor selection for construction packages in capital projects M Safa, MH Yee, D Rayside, CT Haas Journal of Computing in Civil Engineering 30 (5), 04016002, 2016 | 21 | 2016 |
| R melts brains: an IR for first-class environments and lazy effectful arguments O Flückiger, G Chari, J Ječmen, MH Yee, J Hain, J Vitek Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic …, 2019 | 20 | 2019 |
| Contextual dispatch for function specialization O Flückiger, G Chari, MH Yee, J Ječmen, J Hain, J Vitek Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-24, 2020 | 17 | 2020 |
| Do Machine Learning Models Produce TypeScript Types That Type Check? MH Yee, A Guha arXiv preprint arXiv:2302.12163, 2023 | 8 | 2023 |
| Optimizing alloy for multi-objective software product line configuration E Zulkoski, C Kleynhans, MH Yee, D Rayside, K Czarnecki Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 5 | 2014 |
| Programming a Dataflow Analysis in Flix M Madsen, MH Yee, O Lhoták Tools for Automatic Program Analysis (TAPAS), 2016 | 4 | 2016 |
| Type Prediction With Program Decomposition and Fill-in-the-Type Training F Cassano, MH Yee, N Shinn, A Guha, S Holtzen arXiv preprint arXiv:2305.17145, 2023 | 3 | 2023 |
| Precise dataflow analysis of event-driven applications MH Yee, A Badouraly, O Lhoták, F Tip, J Vitek arXiv preprint arXiv:1910.12935, 2019 | 3 | 2019 |
| Do Machine Learning Models Produce TypeScript Types That Type Check?(Artifact) MH Yee, A Guha Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | 1 | 2023 |
| Implementing a Functional Language for Flix MH Yee University of Waterloo, 2016 | 1 | 2016 |
| Predicting TypeScript Type Annotations and Definitions With Machine Learning MH Yee Northeastern University, 2024 | | 2024 |
| CS 7600 Survey Paper: On-Stack Replacement MH Yee | | 2018 |
| Altered macromolecule signal in the hippocampus in alzheimer patients measured by 1H magnetic resonance spectroscopy R Bartha, MH Yee, R Rupsingh, M Smith, M Borrie Alzheimer's & Dementia 5 (4S_Part_7), P215-P216, 2009 | | 2009 |
