Michael Vaughn

Michael Vaughn Email and Phone Number

Senior Software Engineer @ Antithesis
Vienna, VA, US
Michael Vaughn's Location
Madison, Wisconsin, United States, United States
Michael Vaughn's Contact Details

Michael Vaughn personal email

Michael Vaughn phone numbers

About Michael Vaughn

Michael Vaughn is a Senior Software Engineer at Antithesis. He possess expertise in marketing communications, advertising, web design, marketing, direct marketing and 21 more skills.

Michael Vaughn's Current Company Details
Antithesis

Antithesis

View
Senior Software Engineer
Vienna, VA, US
Michael Vaughn Work Experience Details
  • Antithesis
    Senior Software Engineer
    Antithesis
    Vienna, Va, Us
  • Premier Trivia & Entertainment
    Entertainer
    Premier Trivia & Entertainment Oct 2024 - Dec 2024
    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.
  • University Of Wisconsin-Madison
    Research Assistant
    University Of Wisconsin-Madison Jul 2015 - Jan 2024
    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 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
  • Wts Paradigm
    Software Developer
    Wts Paradigm Jan 2012 - Jun 2013
    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 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
  • University Of Wisconsin-Madison
    Undergraduate Research Intern
    University Of Wisconsin-Madison Jun 2009 - Sep 2009
    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
  • Jpl (Nasa'S Jet Propulsion Laboratory)
    Undergraduate Research Intern
    Jpl (Nasa'S Jet Propulsion Laboratory) Jun 2008 - Aug 2008
    * 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

Michael Vaughn Skills

Marketing Communications Advertising Web Design Marketing Direct Marketing Social Media Marketing Graphic Design Brochures Logo Design Brand Development Newsletters Strategy Trade Shows Creative Direction Marketing Strategy Copywriting Online Advertising Corporate Websites Wordpress Management Web Development Product Development Direct Mail Indesign Posters Adobe Creative Suite

Michael Vaughn Education Details

Frequently Asked Questions about Michael Vaughn

What company does Michael Vaughn work for?

Michael Vaughn works for Antithesis

What is Michael Vaughn's role at the current company?

Michael Vaughn's current role is Senior Software Engineer.

What is Michael Vaughn's email address?

Michael Vaughn's email address is bv****@****aol.com

What is Michael Vaughn's direct phone number?

Michael Vaughn's direct phone number is +181575*****

What schools did Michael Vaughn attend?

Michael Vaughn attended University Of Wisconsin-Madison, University Of Wisconsin-Madison, University Of Wisconsin-Madison.

What are some of Michael Vaughn's interests?

Michael Vaughn has interest in Lee County Master Gardener, Opal, Co Author, Oklahoma Needs You, Don't Die Mr.

What skills is Michael Vaughn known for?

Michael Vaughn has skills like Marketing Communications, Advertising, Web Design, Marketing, Direct Marketing, Social Media Marketing, Graphic Design, Brochures, Logo Design, Brand Development, Newsletters, Strategy.

Not the Michael Vaughn you were looking for?

  • Michael Vaughn

    Partner At Taylor English Duma Llp
    Irvine, Ca
    6
    taylorenglish.com, appliedmedical.com, stuartkane.com, quest.com, yahoo.com, quest.com

    1 +194969XXXXX

  • Michael Vaughn

    Washington Dc-Baltimore Area
    3
    son.jhmi.edu, jhu.edu, yale.edu

    3 +141061XXXXX

  • Michael Vaughn

    Content Creator (1.2M+ Followers) | Fair Play Method Facilitator | Academic Technologist | Views Are Mine And Mine Alone
    Mebane, Nc
    3
    moodlerooms.com, elon.edu, gmail.com
  • 1
    121siliconvalley.com
  • Michael Vaughn

    Senior Counsel At Kastner Gravelle Llp | Counsel To Emerging Growth Companies & Venture Funds
    Austin, Tx
    4
    yahoo.com, wsgr.com, kastnergravelle.com, khrg.com

    4 +151233XXXXX

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.