Ming-Ho Yee

Research Assistant Boston MA

Research Assistant Waterloo ON

Capstone Design Project Waterloo ON

Undergraduate Research Assistant Waterloo ON

Research Assistant and Developer Waterloo ON

Researcher Intern Cambridge UK

• Worked on memory management for Project Verona

Software Development Engineering Intern Redmond WA

• Implemented a partial prototype of concepts lite in the Visual C++ compiler

Software Development Engineering Intern Redmond WA

• Implemented user-defined literals for the Visual C++ compiler

Software Development Engineering Intern Redmond WA

• Prototyped, developed, and evaluated a heap memory collection tool for .NET applications

Developer Toronto ON

• Along with a senior developer, designed, built, and launched Engagio, “the universal commenting inbox”
• Optimized the background task queuing system to dynamically prioritize fetch tasks

Developer Toronto ON

• Designed and implemented a feature for users to add content by sending emails
• Co-led the implementation of the new front-end interface redesign

Software Development Research Intern Markham ON

• Developed a proof-of-concept speech analytics application to improve customer experience at call centres

Junior Developer London ON

• Implemented a new module for pre-existing data analysis software, using IDL (Interactive Data Language)
• Examined MRI spectroscopy data with the new module to research drug treatments for Alzheimer's Disease

• O. Flückiger, G. Chari, M.-H. Yee, J. Ječmen, J. Hain, J. Vitek, Contextual Dispatch for Function Specialization, OOPSLA 2020, Nov 2020
• O. Flückiger, G. Chari, J. Ječmen, M.-H. Yee, J. Hain, J. Vitek, R Melts Brains: An IR for First-Class Environments and Lazy Effectful Arguments, DLS 2019, Oct 2019
• M.-H. Yee, A. Badouraly, O. Lhoták, F. Tip, J. Vitek, Precise Dataflow Analysis of Event-Driven Applications, (preprint), Oct 2019
• O. Flückiger, G. Scherer, M.-H. Yee, A. Goel, A. Ahmed, J. Vitek, Correctness of Speculative Optimizations with Dynamic Deoptimization, PACMPL (POPL) 2018, Jan 2018
• M. Madsen, M.-H. Yee, O. Lhoták, From Datalog to Flix: A Declarative Language for Fixed Points on Lattices, PLDI 2016, Jun 2016
• M. Safa, M.-H. Yee, D. Rayside, C. T. Haas, Optimizing Contractor Selection for Construction Packages in Capital Projects, ASCE J. Comput. Civ. Eng., Jan 2016
• E. Zulkoski, C. Kleynhans, M.-H. Yee, D. Rayside, K. Czarnecki, Optimizing Alloy for Multi-objective Software Product Line Configuration, ABZ 2014, Jun 2014
• R. Bartha, M.-H. Yee, R. Rupsingh, M. Smith, M. Borrie, Altered macromolecule signal in the hippocampus in alzheimer patients measured by 1H magnetic resonance spectroscopy, Alzheimer's & Dementia: J. Alzheimer's Assoc., Jul 2009

• Experienced with C, C++, Scala, Java, and Ruby
• Familiar with C#, Perl, x86 and MIPS assembly, and JVM bytecode
• Some knowledge of Racket, OCaml, Haskell, ARM assembly, and LLVM IR
• Comfortable with Linux, macOS, and Windows environments

Teaching Assistant Boston MA

• CS 2510: Fundamentals II, Introduction to Class-based Program Design

Teaching Assistant Waterloo ON

• CS 444: Compiler Construction (Winter 2016)
• CS 241E: Foundations of Sequential Programs, Enriched (Fall 2015)
• CS 241: Foundations of Sequential Programs (Spring 2015, Spring 2016)

Student Volunteer

• ECOOP 2019, SPLASH 2018 (local organizer), ECOOP 2018 (co-chair), POPL 2018, PLDI/ECOOP 2017, ECOOP 2016, PLDI 2016

Artifact Evaluation Committee

• ECOOP 2018

External Reviewer

• VEE 2019, ECOOP 2017, CC 2016