Commit 362cc4a8657c1485fcc1438fb9115b372a86e326 - resume

Some typos Getty Ritter 7 years ago

1 changed file(s) with 5 addition(s) and 5 deletion(s). Collapse all Expand all

-5

resume.tex less more

37	37	designed for specifying and facilitating those computations.
38	38	\item Extended the QEMU hardware emulator to support an experimental
39	39	extended instruction set designed to impede Return-Oriented
40		Programming attacks, and patched a compiler toolchain, Linux
41		kernel, and parts of a typical Linux userland to support this
	40	Programming attacks, and patched a compiler tool-chain, Linux
	41	kernel, and parts of a typical Linux user-land to support this
42	42	architecture in order to facilitate ``practical'' emulated testing
43	43	of its security properties.
44	44	\item Developed the compiler for the experimental Grappa
45		probabalistic programming language, designed to compile an
	45	probabilistic programming language, designed to compile an
46	46	abstract model specification into a generic representation which
47	47	in turn can be executed using a wide variety of different
48		probabalistic techniques.
	48	probabilistic techniques.
49	49	\item Patched the CAmkES component framework for the seL4
50	50	microkernel to support Rust projects, and patched preliminary seL4
51	51	support into the Rust standard library for several target

79	79	\begin{itemize} \itemsep -2pt
80	80	\item Tutored students in a one-on-one environment to teach
81	81	a wide variety of programming languages and environments.
82		\item From 2009 to 2010, worked as Head Tutor, developing new
	82	\item From 2009 to 2010, also worked as Head Tutor, developing new
83	83	curricula, projects, and tests for the center.
84	84	\end{itemize}
85	85