Alexander Mccord Email & Phone Number

Silicon Valley, California, United States

- Dataflow analysis for the new solver to track versions of each locals and properties,- Building atop the data flow graph, implemented type refinements for the new solver,- Added in negation types to handle the inverse of propositions generated by type refinements,- Building atop the dataflow graph, implemented type states for the new solver,- Building out a new subtyping algorithm to check whether T subtype of U holds,- Extended applications of type families to be distributive over all of its union arguments, and- Implemented a symbolic rewriting system for Luau's set-theoretic types using e-graphs.

Silicon Valley, California, United States

- Flow-sensitive type refinements for locals and properties,- Damerau-Levenshtein distance algorithm to find similar identifiers,- Wrote a tool that finds a minimal set of flags reproducing a bug using delta-debugging algorithm,- Supported tagged unions in type refinements,- Added top and bottom types, namely unknown and never, and- Implemented control flow analysis for the old and new solvers.

Silicon Valley, California, United States

Successfully scouted into this role for my innovative project that I developed and shared with the developer community. I contributed to their gradually typed Lua 5.1 superset programming language they called Luau, same as Lunar.