From c0fdf37da9622b6c2f0d8ae62cae52896de8311b Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 19 Feb 2023 16:44:05 -0800 Subject: [PATCH] Add Chapel position --- resume.html | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/resume.html b/resume.html index 0cf6521..2599739 100644 --- a/resume.html +++ b/resume.html @@ -124,12 +124,24 @@

Work Experience

+
+

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.
@@ -143,7 +155,7 @@
  • Leveraged advanced type system features to precisely specify nontrivial program properties.
  • Developed a mocking system to help specify and test corner cases in a distributed communication system.
  • Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.
  • -
  • Engaged in open-source development, interacting with community to respond to bug reports and feature requests.
  • +