| 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 | 103 | 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 | 31 | 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 | 18 | 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 | 15 | 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 | 8 | 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 | 6 | 2014 |
| Programming a Dataflow Analysis in Flix M Madsen, MH Yee, O Lhoták Tools for Automatic Program Analysis (TAPAS), 2016 | 4 | 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 | 2 | 2019 |
| 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 |
