resume.json

{
    "basics": {
        "label": "Senior Software Engineer",
        "email": "mitch.souders@gmail.com",
        "phone": "(503) 704-4894",
        "name": "Mitch Souders",
        "summary": "Accomplished software engineer with strong academic and professional background. Excellent interpersonal and communication skills with management, team members and customers. Quick learner and breadth of knowledge allows easy adaptation to any project. Enthusiastic about compilers, language design and enjoys deep detail-oriented work.",
        "location": {
            "address": "10444 SW Barber St",
            "postalCode": "OR 97070",
            "city": "Wilsonville",
            "countryCode": "US",
            "region": "Oregon"
        },
        "profiles": [
            {
                "network": "github",
                "username": "crzysdrs",
                "url": "https://github.com/crzysdrs"
            }
        ]
    },
    "work": [
        {
            "company": "Runsafe Security",
            "website": "https://runsafesecurity.com/",
            "position": "Senior Software Engineer",
            "startDate": "2020-04-01",
            "summary": "Worked primarily with Loadtime Function Randomization (LFR) in Alkemist Code and GDB Support.",
            "highlights": [
                "Implemented debugging plugin support for GDB of LFR binaries in Rust/Python. (Patents Pending)",
                "Added complex pytest test harness to verify correctness of GDB Plugin.",
                "Implemented complex ELF file manipulations w/ frame headers, relocations and debug information",
                "Maintained and extended functionality of LFR across multiple target platforms (arm, arm64, x86, x86_64).",
                "Rewrote portions of C++ LFR library, License Checking utility in Rust.",
                "Improved Cmake build infrastructure for better package deployment across multiple distros (debian, alpine, redhat)."
            ]
        },
        {
            "company": "Mentor Graphics",
            "website": "https://www.mentor.com/",
            "position": "Senior Software Engineer",
            "startDate": "2009-06-29",
            "endDate": "2020-04-01",
            "summary": "Worked in various areas with Modelsim, primarily in compiler front-end work and R&D. Recent work in Gate Level Simulation.",
            "highlights": [
                "Front-end compiler work primarily within grammar, syntax tree and other intermediate representations. Additional work done with storing advanced debug information in compact data formats.",
                "Built infrastructure for Verilog compiler optimizations (primarily targeting Partial Redundancy Elimination) using basic block construction, reachability analysis and domination flows.",
                "Developed techniques to compute optimized Verilog signals for advanced debugging.",
                "Created Verilog random testcase generation tools that found notable correctness issues.",
                "Separated Verilog preprocessor into new library to allow 3rd-party use.",
                "Analyzed ARM design execution to improve simulator performance.",
                "Developed experimental tool that uses SAT solver to analyze Verilog macro state to find valid Verilog file compilation orderings."
            ]
        },
        {
            "company": "Mentor Graphics",
            "website": "https://www.mentor.com/",
            "position": "DVT, HDL Support Intern",
            "startDate": "2007-03-01",
            "endDate": "2009-06-29",
            "highlights": [
                "Improved online support information, technical notes and other materials for customers.",
                "Created searching techniques to support Google Search Appliance usage."
            ]
        },
        {
            "company": "McAfee",
            "website": "https://www.mcafee.com/",
            "position": "QA Software Engineer Intern",
            "startDate": "2006-06-01",
            "endDate": "2006-09-01",
            "summary": "Created QA Automation Applications for McAfee Policy Enforcer."
        },
        {
            "company": "Intel",
            "website": "https://www.intel.com/",
            "position": "Web Programmer / Fan Control Developer",
            "startDate": "2004-03-01",
            "endDate": "2004-09-01",
            "summary": "Built and administered internal websites for three work groups. Implemented computer fan control algorithms and created fan sound decibel analysis applications."
        }
    ],
    "education": [
        {
            "institution": "Portland State University",
            "gpa": "4.0",
            "startDate": "2012-09-01",
            "endDate": "2016-09-26",
            "area": "Computer Science - Languages Track (Pursued while continuing full-time employment)",
            "studyType": "Masters"
        },
        {
            "institution": "Oregon Institute of Technology",
            "gpa": "4.0",
            "startDate": "2004-09-01",
            "endDate": "2009-06-01",
            "area": "Software Engineering Technology, Computer Engineering Technology",
            "studyType": "Bachelors"
        }
    ],
    "skills": [
        {
            "name": "Primary",
            "keywords": [
                "Rust",
                "C",
                "Perl",
                "Python"
            ]
        },
        {
            "name": "Secondary",
            "keywords": [
                "C++",
                "Verilog"
            ]
        },
    	{
            "name": "Tools",
            "keywords": [
                "Emacs",
                "Perforce",
                "Git",
                "GCC",
                "Make",
                "Confluence",
                "Jira",
                "Bugzilla",
                "Bash",
		"Docker"
            ]
        }
    ],
    "projects": [
        {
            "name":"MiniJavaLLVM",
            "description":"Heavily modified an existing compiler for a subset of Java (MiniJava) to use LLVM as a backend. Additionally extended MiniJava language to include interfaces, inheritance and other quality of life features. All added features are supported across all backends (Assembly, Interpreter and LLVM).",
            "keywords":["LLVM", "Java", "Assembly"],
            "url":"https://github.com/MiniJavaCompiler/MiniJavaLLVM"
        },
        {
            "name":"GameBoy Emulator (Rust)",
            "description":"A GameBoy Emulator written in Rust as a language learning exercise. Supports most functionality of original GameBoy. Uses SDL for user input, display and sound, everything else is implemented based on fan-made documentation on GameBoy internal behavior (e.g. MMU, LCD Controller, CPU, Sound Channels, Memory Banks, Timers).",
            "keywords":["Rust", "GameBoy", "Emulator"],
            "url":"https://github.com/crzysdrs/gb-rs"
        }
    ],
    "meta":{
        "theme": "onepage"
    }
}