Hosted pub trivia events in the Madison area.* Handled customer needs to assist in cultivating Premier Trivia's relationship with new venue's management and staff* Interacted with players and potential players face-to-face, attracting and retaining new teams* Used flexibility and problem solving skills to help host a large corporate event* Made 🔥playlists.

For my PhD thesis, "Specializing C and x86 Machine Code with OS Assistance," I implemented GenXGen, an automated tool for debloating programs written in C and x86 machine-code.In implementing GenXGen, I:* Created automated program transformation tools using a variety of program IRs and static analyses.* Modified the Linux kernel and used eBPF to produce a program-state tracking tool that interposes on pagefaults.* Implemented a multi-process, IPC-driven program-state… Show more For my PhD thesis, "Specializing C and x86 Machine Code with OS Assistance," I implemented GenXGen, an automated tool for debloating programs written in C and x86 machine-code.In implementing GenXGen, I:* Created automated program transformation tools using a variety of program IRs and static analyses.* Modified the Linux kernel and used eBPF to produce a program-state tracking tool that interposes on pagefaults.* Implemented a multi-process, IPC-driven program-state management and recording tool.* Used GDB to analyze and debug large C and x86 programs to identify and resolve bugs in GenXGen's program transformations.* Benchmarked size and performance of transformed programs.In addition to my PhD thesis, I contributed to work on other papers at the intersection of automated software engineering and programming language research."The Care and Feeding of Wild-Caught Mutants" investigates the use of 'reversed github commits' to isolate real-world instances of software bugs. By applying the the commits in reverse, software developers can (temporarily) introduce bugs into their code, as a means of testing the coverage of their test suites - if a test suite does not catch an introduced bug, this is a signal that test coverage can likely be improved.In this work, I contributed by:* Implementing an automated git repository scraping tool* Using HTCondor to implement a massively-parallel tool for extracting interesting bug-inducing 'reverse patches' from millions of candidates. Show less

I assisted in the development of a web API backend to support architectural configuration software. I assisted in refactoring a single-user-at-a-time local application, converting the core functionality into a cloud-hosted application that handles requests from many users at once. I also assisted in improving program performance by converting portions of the back-end database from a relational model to a NoSQL model.I was also 'on-deck' to handle incoming customer bug… Show more I assisted in the development of a web API backend to support architectural configuration software. I assisted in refactoring a single-user-at-a-time local application, converting the core functionality into a cloud-hosted application that handles requests from many users at once. I also assisted in improving program performance by converting portions of the back-end database from a relational model to a NoSQL model.I was also 'on-deck' to handle incoming customer bug reports.In performing these tasks, I:* Produced design proposals, and communicated effectively with technical staff and non-technical stakeholders in a multi-team environment.* Investigated opportunities for change and improvement in a large legacy enterprise code-base.* Investigated and understood unfamiliar software components to deliver bug fixes in a timely fashion. Show less

I co-authored 'A File is Not A File,' an ACM SOSP 2011 'Best Paper' winner.* Collaborated with faculty to study filesystem behavior and performance* Constructed and executed own research plan in academic environment* Benchmarked and profiled programs using DTrace* Analyzed large, messy datasets using AWK and Bash

* Worked with professionals to aid in the development of a novel search interface for spacecraft data* Tested and developed software using agile development methodology* Developed significant amounts of object-oriented code in Java