Make room for more publications (hopefully)

resume.html

@@ -68,6 +68,14 @@
                         </a> &mdash;
                         Compiler for a purely functional, lazily evaluated language explained in-depth on <a href="https://danilafe.com/blog/00_compiler_intro/">personal blog</a>.
                     </div>
+                    <div class="project-container">
+                        <a class="project-link" href="https://github.com/DanilaFe/maypop">
+                            <h2>maypop</h2>
+                            <i data-feather="link" class="project-link-icon"></i>
+                        </a> &mdash;
+                        Instructional implementation of a dependently typed functional programming language capable of formal proofs.
+                    </div>
+                    <!--
                     <div class="project-container">
                         <a class="project-link" href="https://github.com/DanilaFe/chalk">
                             <h2>chalk</h2>
@@ -75,6 +83,7 @@
                         </a> &mdash;
                         Compiler from a small imperative language into CHIP-8 bytecode.
                     </div>
+                    -->
                     <div class="project-container">
                         <a class="project-link" href="https://github.com/DanilaFe/pegasus">
                             <h2>pegasus</h2>
@@ -96,7 +105,9 @@
 
                 <div class="section-content">
                     J&aacute;come Cunha, Mihai Dan, Martin Erwig, <em class="bold">Danila Fedorin</em>, Alex Grejuc: <em class="italic">Explaining spreadsheets with spreadsheets (short paper).</em><br>
-                    <span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167
+                    <span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167<br>
+                    Divya Bajaj, Martin Erwig, <em class="bold">Danila 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">Danila Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021 (under review) -->
                 </div>
             </section>
             <section>
@@ -110,7 +121,7 @@
                             <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>Developed tooling in <em class="bold">Haskell</em> to interpret, verify, generate, and debug programming languages.</li>
-                            <li>Contributed to <em class="bold">research paper</em> published to the International Conference on Generative Programming.</li>
+                            <li>Contributed to <em class="bold">research papers</em> published to the GPCE and VL/HCC.</li>
                         </ul>
                     </div>
 
@@ -131,12 +142,12 @@
 
                 <div class="section-content">
                     <div class="position">
-                        <h2>Blog Author</h2>
+                        <h2>Technical Writer</h2>
                         <div class="position-location">Independent | Spring 2015 - Present</div>
                         <ul>
                             <li>Designed and published website currently live at <a href="https://danilafe.com">danilafe.com</a>.</li>
                             <li>Authored blog posts on topics spanning data structures, web development, programming languages, and compilers.</li>
-                            <li>Formalized and described solutions to select Advent of Code problems using <em class="bold">Coq</em>.</li>
+                            <li>Formalized and described solutions to select Advent of Code problems using the <em class="bold">Coq proof assistant</em>.</li>
                             <li>Created <em class="bold">14-part series</em> on compiler development, walking readers through lexing, parsing, compilation using LLVM,
                                 garbage collection, and polymorphic type checking.</li>
                         </ul>
@@ -172,7 +183,7 @@
                     <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">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
                             complete tasks for open-source projects.</li>
                     </ul>

scss/style.scss

@@ -58,7 +58,7 @@ hr {
 
 div.name {
     font-size: 1.7rem;
-    margin: 15px;
+    margin: 10px;
     font-family: $big-font, serif;
 }