diff --git a/resume.html b/resume.html
index da475e7..fba55c7 100644
--- a/resume.html
+++ b/resume.html
@@ -143,10 +143,10 @@
Added support for compile-time reflection, various language features, and full scope resolution to compiler written in C++.
Led development of Python bindings for compiler, accelerating development of a linter and a language server by over 10x.
Leveraged profiling information to improve performance of scope resolution compiler pass by 30%.
- Designed a type-safe error reporting API, improving developer experience and enabling 100+ custom error messages.
+ Designed a type-safe error reporting API, improving developer experience and enabling 100+ custom error messages.
Supported community growth by designing, launching, and authoring articles for the Chapel language technical blog.
Laid groundwork for compatibility with leading-edge supercomputers by implementing initial AMD GPU
- programming support using Clang and ROCm tooling.
+ programming support using Clang and ROCm tooling.
@@ -154,13 +154,13 @@
Research and Teaching Assistant, Programming Language Theory
Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022
- - Formalized denotational and operational semantics of new explanation-oriented programming languages.
+ - Formalized denotational and operational semantics of new explanation-oriented programming languages.
- Developed tooling in Haskell to interpret, verify, generate, and debug programming languages.
- - Contributed to research papers published to the GPCE and VL/HCC.
- - Proctored quizzes and exams for over 200 students.
- - Aided students in implementing a final project in the form of a custom programming language.
- - Suggested and organized independent review sessions attended by over 70 students, with
+
- Contributed to research papers published to the GPCE and VL/HCC.
+ - Proctored quizzes and exams for over 200 students.
+ - Aided students in implementing a final project in the form of a custom programming language.
+ - Suggested and organized independent review sessions attended by over 70 students, with
50% attendance growth between sessions.
@@ -171,7 +171,7 @@
- Spearheaded migration of codebase to TypeScript, improving documentation and discovering hidden bugs.
- Leveraged advanced type system features to precisely specify nontrivial program properties.
- - Developed a mocking system to help specify and test corner cases in a distributed communication system.
+ - Developed a mocking system to help specify and test corner cases in a distributed communication system.
- Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.
- Engaged in open-source development, interacting with community to respond to bug reports and feature requests.