From c2743b2be9ff619a069130a07996d46be9a0a906 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Mon, 23 Aug 2021 17:34:52 -0700
Subject: [PATCH] Add paper and reorder languages

---
 resume.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/resume.html b/resume.html
index eb8d4ec..d9650bf 100644
--- a/resume.html
+++ b/resume.html
@@ -37,7 +37,7 @@
                 <h1>Skills</h1>
 
                 <div class="section-content">
-                    <em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Nix, Haxe<br>
+                    <em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Coq, Idris, Crystal, Kotlin, Java, Python, JavaScript, Nix, Haxe<br>
                     <em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br>
                     <em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br>
                 </div>
@@ -104,10 +104,10 @@
                 <h1>Publications</h1>
 
                 <div class="section-content">
-                    J&aacute;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>
-                    <span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167<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">Danila Fedorin</em>, Kai Gay: <em class="italic">Adaptable Traces for Program Explanations</em>, APLAS 2021 (under review) -->
+                    J&aacute;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>
+                    <span style="display: inline-block; width: 20px"></span>GPCE 2018: 161-167
                 </div>
             </section>
             <section>