Follow
Ming-Ho Yee
Title
Cited by
Cited by
Year
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
1022016
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
282018
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
172016
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
152019
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
82020
Optimizing alloy for multi-objective software product line configuration
E Zulkoski, C Kleynhans, MH Yee, D Rayside, K Czarnecki
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
62014
Programming a Dataflow Analysis in Flix
M Madsen, MH Yee, O Lhoták
Tools for Automatic Program Analysis (TAPAS), 2016
32016
Precise dataflow analysis of event-driven applications
MH Yee, A Badouraly, O Lhoták, F Tip, J Vitek
arXiv preprint arXiv:1910.12935, 2019
22019
CS 7600 Survey Paper: On-Stack Replacement
MH Yee
2018
Implementing a Functional Language for Flix
MH Yee
University of Waterloo, 2016
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
2009
The system can't perform the operation now. Try again later.
Articles 1–11