+
+
Programming Language Engineer, Chapel
+Hewlett Packard Enterprise | Summer 2022 - Present
+ -
+
- Contributed to development of LLVM-based distributed programming language written in C++. +
- Investigated and implemented initial AMD GPU programming support using Clang and ROCm tooling. +
- Revamped compiler error messages by building a new type-safe error reporting API. +
- Designed, launched, and authored articles for the Chapel language technical blog built with Hugo, + HTML, and Sass. +
Research Assistant, Programming Language Theory
-Oregon State University, Corvallis, OR | Spring 2018 - Present
+ Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022
- Formalized denotational and operational semantics of new explanation-oriented programming languages. -
- Devised and implemented language to explain behavior of spreadsheets to new users. +
- Developed tooling in Haskell to interpret, verify, generate, and debug programming languages.
- Contributed to research papers published to the GPCE and VL/HCC.