Add Chapel position

This commit is contained in:
Danila Fedorin 2023-02-19 16:44:05 -08:00
parent 7e2ff6f0e7
commit c0fdf37da9

View File

@ -124,12 +124,24 @@
<h1>Work Experience</h1>
<div class="section-content">
<div class="position">
<h2>Programming Language Engineer, <a class="project-link" href="https://chapel-lang.org">Chapel<i data-feather="link" class="project-link-icon"></i></a></h2>
<div class="position-location">Hewlett Packard Enterprise | Summer 2022 - Present</div>
<ul>
<li>Contributed to development of <em class="bold">LLVM</em>-based distributed programming language written in <em class="bold">C++</em>.</li>
<li>Investigated and implemented initial <em class="bold">AMD GPU programming support</em> using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li>
<li>Revamped compiler error messages by building a new type-safe error reporting API.</li>
<li>Designed, launched, and authored articles for the <a href="https://chapel-lang.org/blog/posts/welcome">Chapel language technical blog</a> built with <em class="bold">Hugo</em>,
<em class="bold">HTML</em>, and <em class="bold">Sass</em>.</li>
</ul>
</div>
<div class="position">
<h2>Research Assistant, Programming Language Theory</h2>
<div class="position-location">Oregon State University, Corvallis, OR | Spring 2018 - Present</div>
<div class="position-location">Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022</div>
<ul>
<li>Formalized denotational and operational semantics of new <em class="bold">explanation-oriented programming languages.</em></li>
<li>Devised and implemented language to explain behavior of spreadsheets to new users.</li>
<!-- <li>Devised and implemented language to explain behavior of spreadsheets to new users.</li> -->
<li>Developed tooling in <em class="bold">Haskell</em> to interpret, verify, generate, and debug programming languages.</li>
<li>Contributed to <em class="bold">research papers</em> published to the GPCE and VL/HCC.</li>
</ul>
@ -143,7 +155,7 @@
<li>Leveraged advanced type system features to precisely specify nontrivial program properties.</li>
<li>Developed a mocking system to help specify and test corner cases in a <em class="bold">distributed communication system</em>.</li>
<li>Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.</li>
<li>Engaged in <em class="bold">open-source development</em>, interacting with community to respond to bug reports and feature requests.</li>
<!-- <li>Engaged in <em class="bold">open-source development</em>, interacting with community to respond to bug reports and feature requests.</li> -->
</ul>
</div>