Ming-Ho Yee
Cited by
Cited by
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
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
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
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
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
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
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
Do Machine Learning Models Produce TypeScript Types That Type Check?
MH Yee, A Guha
arXiv preprint arXiv:2302.12163, 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
Programming a Dataflow Analysis in Flix
M Madsen, MH Yee, O Lhoták
Tools for Automatic Program Analysis (TAPAS), 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
Precise dataflow analysis of event-driven applications
MH Yee, A Badouraly, O Lhoták, F Tip, J Vitek
arXiv preprint arXiv:1910.12935, 2019
Implementing a Functional Language for Flix
MH Yee
University of Waterloo, 2016
Predicting TypeScript Type Annotations and Definitions With Machine Learning
MH Yee
Do Machine Learning Models Produce TypeScript Types That Type Check?(Artifact)
MH Yee, A Guha
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
CS 7600 Survey Paper: On-Stack Replacement
MH Yee
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
The system can't perform the operation now. Try again later.
Articles 1–17