-
Notifications
You must be signed in to change notification settings - Fork 6
/
resume.yml
181 lines (177 loc) · 8.49 KB
/
resume.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
contact:
name: "Ming-Ho Yee"
email: "[email protected]"
site: "mhyee.com"
github: "github.com/mhyee"
work:
-
title: "Research Scientist"
employer: "Meta"
location: "Menlo Park CA"
date: "Aug 2024 [--] present"
-
title: "Ph.D. Candidate"
employer: "Northeastern University"
location: "Boston MA"
date: "Sep 2016 [--] Apr 2024"
description:
- "Built [TypeWeaver](https://github.com/nuprl/TypeWeaver), the first machine-learning-based tool to migrate files from JavaScript to TypeScript, with a 69[%] success rate (as measured by type checking)."
- "Fine-tuned and evaluated a large language model for code to [generate type definitions](https://github.com/nuprl/StenoType) for TypeScript, allowing 47[%] of files (with missing type definitions) to type check (22[%] absolute improvement)."
- "Built an [interpreter in OCaml for a subset of R](https://github.com/reactorlabs/rhotic) to model the relationship between static and dynamic program analysis."
- "Sped up test suite by 15[%] by optimizing dominance graph construction in Ř, a [just-in-time compiler for R](https://github.com/reactorlabs/rir)."
- "Co-chaired, organized, and led over 40 student volunteers at [ECOOP/ISSTA 2018](https://conf.researchr.org/home/ecoop-issta-2018), an international conference for programming languages and software engineering with over 600 attendees."
- "Mentored undergraduate, master's, and Ph.D. students by providing feedback and advice on project planning, software development, and written and oral communication."
- "Teaching assistant for [``]Fundamentals II, Introduction to Class-based Program Design[''] ([CS 2510](https://course.ccs.neu.edu/cs2510sp18/)) and [``]Fundamentals of Software Engineering[''] ([CS 4530](https://neu-se.github.io/CS4530-Spring-2024/)): helped design assignments, held office hours, and graded exams."
-
title: "Researcher Intern"
employer: "Microsoft Research"
location: "Cambridge UK"
date: "Sep [--] Dec 2019"
description:
- "Explored, implemented, and tested different memory management strategies for [Project Verona](https://github.com/microsoft/verona-rt)."
-
title: "MMath Candidate"
employer: "University of Waterloo"
location: "Waterloo ON"
date: "Sep 2014 [--] Aug 2016"
description:
- "Designed and led the implementation of the original interpreter and compiler for the functional sub-language of [Flix](https://flix.dev/)."
- "Experimented with different code generation techniques for Flix, such as Scala macros and generating Scala code."
- "Teaching assistant for [``]Foundations of Sequential Programs[''] ([CS 241](https://www.student.cs.uwaterloo.ca/~cs241/), [CS 241E](https://www.student.cs.uwaterloo.ca/~cs241e/)) and [``]Compiler Construction[''] ([CS 444](https://www.student.cs.uwaterloo.ca/~cs444/)): held office hours and provided feedback on assignments and exams for the first offering of CS 241E."
-
title: "Software Development Engineering Intern"
employer: "Microsoft"
location: "Redmond WA"
date: "May [--] Jul 2014"
description:
- "Prototyped [concepts lite](https://en.cppreference.com/w/cpp/language/constraints) in the Microsoft Visual [CPP] (MSVC) compiler, a feature that was eventually added to [CPP]20."
-
title: "Software Development Engineering Intern"
employer: "Microsoft"
location: "Redmond WA"
date: "Sep [--] Dec 2013"
description:
- "Implemented [user-defined literals](https://en.cppreference.com/w/cpp/language/user_literal) in the Microsoft Visual [CPP] (MSVC) compiler, a [CPP]11 feature that was missing from MSVC."
-
title: "Software Development Engineering Intern"
employer: "Microsoft"
location: "Redmond WA"
date: "Jan [--] Apr 2013"
description:
- "Developed a heap memory collection tool for debugging .NET applications."
- "Designed and conducted performance tests for the memory collection tool."
-
title: "Undergraduate Research Assistant"
employer: "University of Waterloo"
location: "Waterloo ON"
date: "May [--] Dec 2012"
-
title: "Developer"
employer: "Engagio (formerly Eqentia)"
location: "Toronto ON"
date: "Sep [--] Dec 2011"
description:
-
title: "Developer"
employer: "Eqentia"
location: "Toronto ON"
date: "Jan [--] Apr 2011"
-
title: "Software Development Research Intern"
employer: "Genesys Telecommunications Laboratories"
location: "Markham ON"
date: "May [--] Aug 2010"
-
title: "Junior Developer"
employer: "Robarts Research Institute"
location: "London ON"
date: "Jul [--] Aug 2008"
publications:
-
authors: "[MH Yee] and A Guha"
title: "[Do Machine Learning Models Produce TypeScript Types That Type Check?](https://doi.org/10.4230/LIPIcs.ECOOP.2023.37)"
in: "ECOOP"
date: "2023"
-
authors: "L von Werra, H de Vries, et al."
title: "[StarCoder: may the source be with you!](https://doi.org/10.48550/arXiv.2305.06161)"
in: "TMLR"
date: "2023"
-
authors: "F Cassano, [MH Yee], N Shinn, A Guha, S Holtzen"
title: "[Type Prediction With Program Decomposition and Fill-in-the-Type Training](https://doi.org/10.48550/arXiv.2305.17145)"
in: "preprint"
date: "2023"
-
authors: "F Cassano et al."
title: "[MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation](https://doi.org/10.1109/TSE.2023.3267446)"
in: "TSE"
date: "2023"
-
authors: "O Flückiger, G Chari, [MH Yee], J Ječmen, J Hain, J Vitek"
title: "[Contextual Dispatch for Function Specialization](https://doi.org/10.1145/3428288)"
in: "OOPSLA"
date: "2020"
-
authors: "O Flückiger, G Chari, J Ječmen, [MH Yee], J Hain, J Vitek"
title: "[R Melts Brains: An IR for First-Class Environments and Lazy Effectful Arguments](https://doi.org/10.1145/3359619.3359744)"
in: "DLS"
date: "2019"
-
authors: "[MH Yee], A Badouraly, O Lhoták, F Tip, J Vitek"
title: "[Precise Dataflow Analysis of Event-Driven Applications](https://arxiv.org/abs/1910.12935)"
in: "technical report"
date: "2019"
-
authors: "O Flückiger, G Scherer, [MH Yee], A Goel, A Ahmed, J Vitek"
title: "[Correctness of Speculative Optimizations with Dynamic Deoptimization](https://doi.org/10.1145/3158137)"
in: "POPL"
date: "2018"
-
authors: "M Madsen, [MH Yee], O Lhoták"
title: "[From Datalog to Flix: A Declarative Language for Fixed Points on Lattices](https://doi.org/10.1145/2908080.2908096)"
in: "PLDI"
date: "2016"
-
authors: "M Safa, [MH Yee], D Rayside, C T Haas"
title: "[Optimizing Contractor Selection for Construction Packages in Capital Projects](https://dx.doi.org/10.1061/%28ASCE%29CP.1943-5487.0000555)"
in: "ASCE J. Comput. Civ. Eng"
date: "2016"
-
authors: "E Zulkoski, C Kleynhans, [MH Yee], D Rayside, K Czarnecki"
title: "[Optimizing Alloy for Multi-objective Software Product Line Configuration](https://doi.org/10.1007/978-3-662-43652-3_34)"
in: "ABZ"
date: "2014"
-
authors: "R Bartha, [MH Yee], R Rupsingh, M Smith, M Borrie"
title: "[Altered macromolecule signal in the hippocampus in alzheimer patients measured by 1H magnetic resonance spectroscopy](https://doi.org/10.1016/j.jalz.2009.04.138)"
in: "Alzheimer's [&] Dementia"
date: "2009"
skills:
- "Implementation experience: interpreters, just-in-time compilers, memory management, program analysis."
- "Languages: C, [CPP], Java, Scala, OCaml, Python, Ruby, JavaScript, TypeScript, R."
- "Compilation targets: ARM, JVM, LLVM, MIPS, x86."
education:
-
level: "Doctor of Philosophy in Computer Science"
institution: "Northeastern University"
location: "Boston MA"
date: "Apr 2024"
notes:
- "Thesis: [Predicting TypeScript Type Annotations and Definitions with Machine Learning](https://hdl.handle.net/2047/D20653005)"
- "Advisor: [Arjun Guha](https://www.khoury.northeastern.edu/~arjunguha/main/home/)"
-
level: "Master of Mathematics in Computer Science"
institution: "University of Waterloo"
location: "Waterloo ON"
date: "Jun 2017"
notes:
- "Thesis: [Implementing a Functional Language for Flix](https://hdl.handle.net/10012/10856) (completed Aug 2016)"
- "Advisor: [Ondřej Lhoták](https://plg.uwaterloo.ca/~olhotak/)"
-
level: "Bachelor of Software Engineering"
institution: "University of Waterloo"
location: "Waterloo ON"
date: "Jun 2014"
notes:
- "With Distinction [---] Dean's Honours List"