Urmăriți
Ming-Ho Yee
Titlu
Citat de
Citat de
Anul
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
429*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
1352016
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
105*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
362018
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
202019
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
192016
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
152020
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
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
32023
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
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–17