diff --git a/resume.html b/resume.html
index 49cecd1..5f4c6a1 100644
--- a/resume.html
+++ b/resume.html
@@ -105,7 +105,9 @@
Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc: Explaining spreadsheets with spreadsheets (short paper).
- GPCE 2018: 161-167
+ GPCE 2018: 161-167
+ Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay: A Visual Notation for Succinct Program Traces, VL/HCC 2021
+
@@ -119,7 +121,7 @@
Formalized denotational and operational semantics of new explanation-oriented programming languages.
Devised and implemented language to explain behavior of spreadsheets to new users.
Developed tooling in Haskell to interpret, verify, generate, and debug programming languages.
- Contributed to research paper published to the International Conference on Generative Programming.
+ Contributed to research papers published to the GPCE and VL/HCC.
@@ -145,7 +147,7 @@
- Designed and published website currently live at danilafe.com.
- Authored blog posts on topics spanning data structures, web development, programming languages, and compilers.
- - Formalized and described solutions to select Advent of Code problems using Coq.
+ - Formalized and described solutions to select Advent of Code problems using the Coq proof assistant.
- Created 14-part series on compiler development, walking readers through lexing, parsing, compilation using LLVM,
garbage collection, and polymorphic type checking.
@@ -181,7 +183,7 @@
- Drucilla Shepard Smith Award — Awarded to students maintaining a GPA of 4.0 while attending Oregon State University.
- Honor Roll (all terms) — Awarded to students maintaining a full credit load and a GPA above 3.5.
- - International Baccalaureate Diploma Scholarship — $1,000/term scholarship awarded to recipients of the IB Diploma.
+
- Finalist — Google Code-In 2016, online competition in which participants
complete tasks for open-source projects.
diff --git a/scss/style.scss b/scss/style.scss
index d697310..971fcad 100644
--- a/scss/style.scss
+++ b/scss/style.scss
@@ -58,7 +58,7 @@ hr {
div.name {
font-size: 1.7rem;
- margin: 15px;
+ margin: 10px;
font-family: $big-font, serif;
}