DanilaFe/resume
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Only bold technologies etc

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-12-30 16:07:44 -08:00
parent 9e9aab2d8f
commit e7d7542ad8
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
resume.html
View File

@ -143,10 +143,10 @@
<li>Added support for compile-time reflection, various language features, and full scope resolution to compiler written in <em class="bold">C++</em>.</li> <li>Added support for compile-time reflection, various language features, and full scope resolution to compiler written in <em class="bold">C++</em>.</li>
<li>Led development of <em class="bold">Python</em> bindings for compiler, accelerating development of a linter and a language server by over 10x.</li> <li>Led development of <em class="bold">Python</em> bindings for compiler, accelerating development of a linter and a language server by over 10x.</li>
<li>Leveraged profiling information to improve performance of scope resolution compiler pass by 30%.</li> <li>Leveraged profiling information to improve performance of scope resolution compiler pass by 30%.</li>
<li>Designed <em class="bold">a type-safe error reporting API</em>, improving developer experience and enabling 100+ custom error messages.</li> <li>Designed a type-safe error reporting API, improving developer experience and enabling 100+ custom error messages.</li>
<li>Supported community growth by designing, launching, and authoring articles for the <a href="https://chapel-lang.org/blog/posts/welcome">Chapel language technical blog.</a></li> <li>Supported community growth by designing, launching, and authoring articles for the <a href="https://chapel-lang.org/blog/posts/welcome">Chapel language technical blog.</a></li>
<li>Laid groundwork for compatibility with leading-edge supercomputers by implementing initial <em class="bold">AMD GPU <li>Laid groundwork for compatibility with leading-edge supercomputers by implementing initial <em class="bold">AMD GPU
programming support</em> using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li> </em> programming support using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li>
</ul> </ul>
</div> </div>
@ -154,13 +154,13 @@
<h2>Research and Teaching Assistant, Programming Language Theory</h2> <h2>Research and Teaching Assistant, Programming Language Theory</h2>
<div class="position-location">Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022</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 explanation-oriented programming languages.</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 research papers published to the GPCE and VL/HCC.</li>
<li>Proctored <em class="bold">quizzes and exams</em> for over 200 students.</li> <li>Proctored quizzes and exams for over 200 students.</li>
<li>Aided students in implementing a final project in the form of a <em class="bold">custom programming language</em>.</li> <li>Aided students in implementing a final project in the form of a custom programming language.</li>
<li>Suggested and organized <em class="bold">independent review sessions</em> attended by over 70 students, with <li>Suggested and organized independent review sessions attended by over 70 students, with
50% attendance growth between sessions.</li> 50% attendance growth between sessions.</li>
</ul> </ul>
</div> </div>
@ -171,7 +171,7 @@
<ul> <ul>
<li>Spearheaded migration of codebase to <em class="bold">TypeScript</em>, improving documentation and discovering hidden bugs.</li> <li>Spearheaded migration of codebase to <em class="bold">TypeScript</em>, improving documentation and discovering hidden bugs.</li>
<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 distributed communication system.</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>