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