\documentclass[letter,10pt]{moderncv}
\usepackage[scale=0.8]{geometry}
\moderncvstyle{casual}
\moderncvcolor{red}
\name{Getty}{Ritter}
\email{gdritter@infinitenegativeutility.com}
\social[github]{aisamanra}
\phone[mobile]{(559) 553-5656}
\homepage{infinitenegativeutility.com}
% \social[twitter]{aisamanra}
\begin{document}
\makecvtitle
\section{Work}
\cventry{2018--Present}{Compiler Engineer}{Groq, Inc.}{Portland,
OR}{}{Worked on a system for compiling TensorFlow machine learning
models to a custom ASIC for accelerating inference, with a specific
emphasis on optimizing speed and memory usage of the compiler
itself.}
\cventry{2012--2018}{Engineer and Researcher}{Galois, Inc.}{Portland,
OR}{}{Worked as an engineer and researcher on a wide variety of
different research projects, notably including the following:%
\begin{itemize}%
\item Built static analysis tools for C on top of the Frama-C
verification framework which worked in concert with an
experimental video game front-end designed to enable non-technical
users to produce proofs of software correctness.
\item Extended the QEMU hardware emulator to support an experimental
extended instruction set designed to impede Return-Oriented
Programming attacks, and patched a compiler tool-chain, Linux
kernel, and parts of a typical Linux user-land to support this
architecture in order to facilitate ``practical'' emulated testing
of its security properties.
\item Developed the compiler for the experimental Grappa
probabilistic programming language, designed to compile an
abstract model specification into a generic representation which
in turn can be executed using a wide variety of different
probabilistic techniques.
\item Patched the CAmkES component framework for the seL4
microkernel to support Rust projects, and patched preliminary seL4
support into the Rust standard library for several target
platforms.
\end{itemize}}
\cventry{2011--2012}{Graduate Teaching Fellow}{University of
Oregon}{Eugene, OR}{}{Taught various courses at varying levels of
expertise, ranging from basic introductory material to advanced
material about programming language theory and operating systems.}
\cventry{2010}{Developer}{Noisy Creatures}{Berkeley, CA}{}{
Designed and implemented iPad-based video game.}
\cventry{2007-2010}{Tutor}{University of California
Berkeley}{Berkeley, CA}{}{Tutored students in a one-on-one
environment to teach a wide variety of programming languages and
environments. From 2009 to 2010, also worked as Head Tutor,
developing new curricula, projects, and tests for the center.}
\section{Education}
\cventry{2006--2010}{B.A. Linguistics \& equivalent of B.A. Computer Science}{University of California Berkeley}{Berkeley, CA}{}{}
\cventry{2010--2012}{M.S. Computer and Information Science}{University of Oregon}{Eugene, OR}{}{}
\section{Open Source Projects}
\cvitem{\href{https://github.com/matterhorn-chat/matterhorn}{matterhorn}}{A feature-rich terminal-based client for the Mattermost chat system}
\cvitem{\href{https://github.com/aisamanra/s-cargot}{s-cargot}}{A flexible and powerful s-expression parsing library}
\cvitem{\href{https://github.com/aisamanra/config-ini}{config-ini}}{A bidirectional configuration parsing library}
\section{Skills}
\cvitem{Proficient with:}{C, Haskell, JavaScript, OCaml, Python, Rust, Scheme, SML, UNIX/Linux}
\cvitem{Some experience with:}{Assembly (x86, x86\_64, ARM), C++, Common Lisp, Erlang, Go, Java, PHP, Ruby, Scala, seL4}
\cvitem{Spoken languages:}{English fluently; some Mandarin, Italian, and Russian}
\end{document}