Updated to use moderncv template
Getty Ritter
6 years ago
| 1 | \documentclass[line, margin, 10pt]{res} | |
| 2 | \usepackage{cmbright} | |
| 1 | \documentclass[letter,10pt]{moderncv} | |
| 2 | \usepackage[scale=0.8]{geometry} | |
| 3 | ||
| 4 | \moderncvstyle{casual} | |
| 5 | \moderncvcolor{red} | |
| 6 | ||
| 7 | \name{Getty}{Ritter} | |
| 8 | \email{gdritter@infinitenegativeutility.com} | |
| 9 | \social[github]{aisamanra} | |
| 10 | \phone[mobile]{(559) 553-5656} | |
| 11 | \homepage{infinitenegativeutility.com} | |
| 12 | % \social[twitter]{aisamanra} | |
| 3 | 13 | |
| 4 | 14 | \begin{document} |
| 5 | 15 | |
| 6 | % \begin{format} | |
| 7 | % \title{l} \dates{r}\\ | |
| 8 | % \employer{l}\\ | |
| 9 | % \location{l}\\ | |
| 10 | % \body\\ | |
| 11 | % \end{format} | |
| 16 | \makecvtitle | |
| 12 | 17 | |
| 13 | \renewcommand{\namefont}{ \LARGE \bf } | |
| 14 | % \renewcommand{\titlefont}{ \bf } | |
| 18 | \section{Work} | |
| 15 | 19 | |
| 16 | \name{Getty D. Ritter} | |
| 17 | \address{gdritter@infinitenegativeutility.com} | |
| 18 | \address{(559) 553-5656} | |
| 19 | ||
| 20 | \begin{resume} | |
| 21 | \section{Experience} | |
| 22 | ||
| 23 | {\bf}\hfill \\ | |
| 24 | ||
| 25 | {\bf Compiler Engineer}\hfill April 2018 - Present\\ | |
| 26 | Groq, Inc. | |
| 27 | \begin{itemize} \itemsep -2pt | |
| 28 |
\ |
|
| 20 | \cventry{2018--Present}{Compiler Engineer}{Groq, Inc.}{Portland, | |
| 21 | OR}{}{Worked on a system for compiling TensorFlow machine learning | |
| 29 | 22 | models to a custom ASIC for accelerating inference, with a specific |
| 30 | 23 | emphasis on optimizing speed and memory usage of the compiler |
| 31 | itself. | |
| 32 | \end{itemize} | |
| 24 | itself.} | |
| 33 | 25 | |
| 34 | {\bf Engineer and Researcher}\hfill July 2012 - April 2018\\ | |
| 35 | Galois Inc. | |
| 36 | \begin{itemize} \itemsep -2pt | |
| 37 | \item Worked as an engineer and researcher on a wide variety of | |
| 38 | different research projects, notably including the following: | |
| 39 | \begin{itemize} | |
| 26 | \cventry{2012--2018}{Engineer and Researcher}{Galois, Inc.}{Portland, | |
| 27 | OR}{}{Worked as an engineer and researcher on a wide variety of | |
| 28 | different research projects, notably including the following:% | |
| 29 | \begin{itemize}% | |
| 40 | 30 | \item Built static analysis tools for C on top of the Frama-C |
| 41 | 31 | verification framework which worked in concert with an |
| 42 | 32 | experimental video game front-end designed to enable non-technical |
| 43 | 33 | users to produce proofs of software correctness. |
| 44 | \item Contributed to ShareMonad, a Haskell implementation of shared | |
| 45 | multi-party computation and a domain-specific embedded language | |
| 46 | designed for specifying and facilitating those computations. | |
| 47 | 34 | \item Extended the QEMU hardware emulator to support an experimental |
| 48 | 35 | extended instruction set designed to impede Return-Oriented |
| 49 | 36 | Programming attacks, and patched a compiler tool-chain, Linux |
| 59 | 46 | microkernel to support Rust projects, and patched preliminary seL4 |
| 60 | 47 | support into the Rust standard library for several target |
| 61 | 48 | platforms. |
| 62 | \end{itemize} | |
| 63 | \end{itemize} | |
| 49 | \end{itemize}} | |
| 64 | 50 | |
| 65 | {\bf Graduate Teaching Fellow}\hfill January 2011 - May 2012\\ | |
| 66 | University of Oregon | |
| 67 | \begin{itemize} \itemsep -2pt | |
| 68 | \item Taught various courses at varying levels of expertise, | |
| 69 | ranging from basic introductory material to advanced material | |
| 70 | about programming language theory and operating systems. | |
| 71 |
\ |
|
| 51 | \cventry{2011--2012}{Graduate Teaching Fellow}{University of | |
| 52 | Oregon}{Eugene, OR}{}{Taught various courses at varying levels of | |
| 53 | expertise, ranging from basic introductory material to advanced | |
| 54 | material about programming language theory and operating systems.} | |
| 72 | 55 | |
| 73 | {\bf Developer}\hfill July 2010 - September 2010\\ | |
| 74 | Noisy Creatures | |
| 75 | \begin{itemize} \itemsep -2pt | |
| 76 | \item Designed and implemented iPad-based video game. | |
| 77 |
\ |
|
| 56 | \cventry{2010}{Developer}{Noisy Creatures}{Berkeley, CA}{}{ | |
| 57 | Designed and implemented iPad-based video game.} | |
| 78 | 58 | |
| 79 | {\bf Lecturer \& Teacher}\hfill June 2009 - August 2009\\ | |
| 80 | University of California Berkeley | |
| 81 | \begin{itemize} \itemsep -2pt | |
| 82 | \item Lectured and ran labs for CS3L --- Introduction to Symbolic | |
| 83 | Programming. | |
| 84 | \end{itemize} | |
| 85 | ||
| 86 | {\bf Tutor}\hfill September 2007 - May 2010\\ | |
| 87 | University of California Berkeley Self-Paced Center | |
| 88 | \begin{itemize} \itemsep -2pt | |
| 89 | \item Tutored students in a one-on-one environment to teach | |
| 90 | a wide variety of programming languages and environments. | |
| 91 | \item From 2009 to 2010, also worked as Head Tutor, developing new | |
| 92 | curricula, projects, and tests for the center. | |
| 93 |
\ |
|
| 59 | \cventry{2007-2010}{Tutor}{University of California | |
| 60 | Berkeley}{Berkeley, CA}{}{Tutored students in a one-on-one | |
| 61 | environment to teach a wide variety of programming languages and | |
| 62 | environments. From 2009 to 2010, also worked as Head Tutor, | |
| 63 | developing new curricula, projects, and tests for the center.} | |
| 94 | 64 | |
| 95 | 65 | |
| 96 | 66 | \section{Education} |
| 97 | {\bf B.A. Linguistics \& equivalent of B.A. Computer Science}\\ | |
| 98 | Graduated May 2010\\ | |
| 99 | University of California, Berkeley\\ | |
| 100 | Berkeley, California | |
| 101 | \\ | |
| 102 | \\ | |
| 103 | {\bf M.S. Computer and Information Science}\\ | |
| 104 | Graduated June 2012 \\ | |
| 105 | University of Oregon\\ | |
| 106 | Eugene, Oregon | |
| 67 | \cventry{2006--2010}{B.A. Linguistics \& equivalent of B.A. Computer Science}{University of California Berkeley}{Berkeley, CA}{}{} | |
| 68 | \cventry{2010--2012}{M.S. Computer and Information Science}{University of Oregon}{Eugene, OR}{}{} | |
| 69 | ||
| 70 | \section{Open Source Projects} | |
| 71 | \cvitem{\href{https://github.com/matterhorn-chat/matterhorn}{matterhorn}}{A feature-rich terminal-based client for the Mattermost chat system} | |
| 72 | \cvitem{\href{https://github.com/aisamanra/s-cargot}{s-cargot}}{A flexible and powerful s-expression parsing library} | |
| 73 | \cvitem{\href{https://github.com/aisamanra/config-ini}{config-ini}}{A bidirectional configuration parsing library} | |
| 107 | 74 | |
| 108 | 75 | \section{Skills} |
| 109 | \begin{tabular}[t]{@{} p{1.2in} p{3.75in} @{}} | |
| 110 | \bf{Proficient with:} & C, Haskell, Java, JavaScript, OCaml, Python, Rust, Scheme, SML, UNIX/Linux \\ | |
| 111 | \\ | |
| 112 | \bf{Some experience with:} & Assembly (x86, x86\_64, ARM), C++, Common Lisp, Erlang, Go, PHP, Ruby, Scala, seL4 \\ | |
| 113 | \\ | |
| 114 | \bf{Spoken languages:} & English fluently; some Mandarin, Italian, Russian, and Esperanto | |
| 115 | \end{tabular} | |
| 116 | \end{resume} | |
| 76 | \cvitem{Proficient with:}{C, Haskell, JavaScript, OCaml, Python, Rust, Scheme, SML, UNIX/Linux} | |
| 77 | \cvitem{Some experience with:}{Assembly (x86, x86\_64, ARM), C++, Common Lisp, Erlang, Go, Java, PHP, Ruby, Scala, seL4} | |
| 78 | \cvitem{Spoken languages:}{English fluently; some Mandarin, Italian, and Russian} | |
| 117 | 79 | \end{document} |