Garret Reece
Denver, Colorado, United States
Summary
🤩
Rockstar🎓
Top SchoolGarret Reece is a senior software engineer with 10 years of professional experience building and modernizing high-impact systems across security, healthcare, and defense domains from Denver, Colorado. He combines low-level systems expertise—demonstrated by contributions to Trail of Bits’ Manticore symbolic execution tool adding ARMv7 instruction support—with product-focused backend and full-stack work that reduced batch runtimes from 12 to 2 hours and enabled new revenue-generating integrations. Garret has led engineering efforts on multi-million-dollar defense projects, architected data models and APIs, mentored teams, and championed testing and simplification to accelerate delivery. Practical and detail-oriented, he bridges deep technical analysis with customer-facing product improvements and a track record of turning prototypes into production-grade tools.
10 years of coding experience
18 years of employment as a software developer
Master of Science - MS Computer Science, Master of Science - MS Computer Science at Florida State University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
program-analysis10
testing10
arm10
symbolic-execution10
assembly10
emulation10
python10
binarydiff10
assembler10
security10
z36
ethereum4
Programming languages (5)
Github contributions (5)
trailofbits/manticore
Jun 2017 - Feb 2018
Symbolic execution tool
Role in this project:
Backend Engineer & Security Engineer
Backend Engineer & Security EngineerContributions:6 commits, 13 PRs, 23 pushes in 8 months
Contributions summary:Garret primarily contributed to implementing and testing ARMv7 CPU instructions, specifically related to the Manticore symbolic execution tool. Their work involved adding support for new instructions such as `MOVT`, `MRC`, `LDRD`, `STRD`, `UXTB`, `SEL`, and `REV`, and fixing issues with thumb mode instructions, including the `SUB`, `BX`, and `MOV` instructions. The user also integrated functionalities for ARM TLS and PC relative addressing, demonstrating expertise in low-level system architecture and binary analysis within the context of security.
symbolic-executionbinary-analysispythonsmtethereum
GarretReece/GarretReece.github.io
Aug 2016 - Feb 2023
Contributions:92 pushes, 2 branches in 6 years 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.