Ming-Ho Yee
Cited by
Cited by
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
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), 2020
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
Precise dataflow analysis of event-driven applications
MH Yee, A Badouraly, O Lhoták, F Tip, J Vitek
arXiv preprint arXiv:1910.12935, 2019
CS 7600 Survey Paper: On-Stack Replacement
MH Yee
Implementing a Functional Language for Flix
MH Yee
University of Waterloo, 2016
P1‐133: 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–11