Compare commits
3 Commits
efe0bb4564
...
c0fdf37da9
Author | SHA1 | Date | |
---|---|---|---|
c0fdf37da9 | |||
7e2ff6f0e7 | |||
4bcb3f7a85 |
23
resume.html
23
resume.html
@ -113,6 +113,7 @@
|
|||||||
<h1>Publications</h1>
|
<h1>Publications</h1>
|
||||||
|
|
||||||
<div class="section-content">
|
<div class="section-content">
|
||||||
|
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>: <em class="italic">A Visual Notation for Succinct Program Traces (journal paper)</em>, COLA 2023<br>
|
||||||
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021<br>
|
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021<br>
|
||||||
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Kai Gay: <em class="italic">A Visual Notation for Succinct Program Traces</em>, VL/HCC 2021<br>
|
Divya Bajaj, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Kai Gay: <em class="italic">A Visual Notation for Succinct Program Traces</em>, VL/HCC 2021<br>
|
||||||
Jácome Cunha, Mihai Dan, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Alex Grejuc: <em class="italic">Explaining spreadsheets with spreadsheets (short paper).</em><br>
|
Jácome Cunha, Mihai Dan, Martin Erwig, <em class="bold">Daniel Fedorin</em>, Alex Grejuc: <em class="italic">Explaining spreadsheets with spreadsheets (short paper).</em><br>
|
||||||
@ -123,12 +124,24 @@
|
|||||||
<h1>Work Experience</h1>
|
<h1>Work Experience</h1>
|
||||||
|
|
||||||
<div class="section-content">
|
<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">
|
<div class="position">
|
||||||
<h2>Research Assistant, Programming Language Theory</h2>
|
<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>
|
<ul>
|
||||||
<li>Formalized denotational and operational semantics of new <em class="bold">explanation-oriented programming languages.</em></li>
|
<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>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>
|
<li>Contributed to <em class="bold">research papers</em> published to the GPCE and VL/HCC.</li>
|
||||||
</ul>
|
</ul>
|
||||||
@ -142,7 +155,7 @@
|
|||||||
<li>Leveraged advanced type system features to precisely specify nontrivial program properties.</li>
|
<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>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>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>
|
</ul>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
@ -200,18 +213,20 @@
|
|||||||
-->
|
-->
|
||||||
</div>
|
</div>
|
||||||
</section>
|
</section>
|
||||||
|
<!--
|
||||||
<section>
|
<section>
|
||||||
<h1>Honors and Awards</h1>
|
<h1>Honors and Awards</h1>
|
||||||
<div class="section-content">
|
<div class="section-content">
|
||||||
<ul>
|
<ul>
|
||||||
<li><em class="italic">Drucilla Shepard Smith Award</em> — Awarded to students maintaining a GPA of 4.0 while attending Oregon State University.</li>
|
<li><em class="italic">Drucilla Shepard Smith Award</em> — Awarded to students maintaining a GPA of 4.0 while attending Oregon State University.</li>
|
||||||
<li><em class="italic">Honor Roll (all terms)</em> — Awarded to students maintaining a full credit load and a GPA above 3.5.</li>
|
<li><em class="italic">Honor Roll (all terms)</em> — Awarded to students maintaining a full credit load and a GPA above 3.5.</li>
|
||||||
<!-- <li><em class="italic">International Baccalaureate Diploma Scholarship</em> — $1,000/term scholarship awarded to recipients of the IB Diploma.</li> -->
|
<li><em class="italic">International Baccalaureate Diploma Scholarship</em> — $1,000/term scholarship awarded to recipients of the IB Diploma.</li>
|
||||||
<li><em class="italic">Finalist</em> — Google Code-In 2016, online competition in which participants
|
<li><em class="italic">Finalist</em> — Google Code-In 2016, online competition in which participants
|
||||||
complete tasks for open-source projects.</li>
|
complete tasks for open-source projects.</li>
|
||||||
</ul>
|
</ul>
|
||||||
</div>
|
</div>
|
||||||
</section>
|
</section>
|
||||||
|
-->
|
||||||
</main>
|
</main>
|
||||||
|
|
||||||
<script>
|
<script>
|
||||||
|
Loading…
Reference in New Issue
Block a user