Michael Vaughn Email & Phone Number

Vienna, VA, US

Madison, WI

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.

Madison, Wisconsin Area

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.

Madison, Wisconsin Area

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.

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

Ph.D, Computer Science

My research interests are at the intersection of operating systems and programming languages.

Master Of Science - Ms, Computer Science

Bs, Computer Science, 3.89/4.0 Gpa

Activities and Societies: Phi Beta Kappa, Phi Kappa Phi