Adam Seitz
Software Engineer at Microsoft
Louisville, Kentucky, United States
Summary
👤
Senior🎓
Top SchoolAdam Seitz is a software engineer with a decade of experience building robust systems at the intersection of compiler design, embedded tooling, and hardware-aware software. He holds a Computer Engineering degree (3.98 GPA) from Rose-Hulman and has shipped production software across companies including GrammaTech and now Microsoft, with earlier roles spanning FPGA test automation and NLP for clinical data. Adam contributes to notable open-source projects—improving core logic and optimizations in the Soufflé Datalog compiler and extending AArch64 disassembly support in the Capstone framework—demonstrating deep compiler and low-level architecture expertise. His background in semiconductor devices and electronics hardware informs pragmatic solutions for performance-sensitive code and tooling. Colleagues know him for turning formal analysis into practical, well-tested implementations and for catching subtle execution-plan and instruction-spec issues before they reach users. Based in Louisville, KY, he blends systems-level thinking with a strong testing and automation mindset.
10 years of coding experience
7 years of employment as a software developer
High School, High School at Findlay High SchoolBachelor’s of Science, Computer Engineering, 3.98, Bachelor’s of Science, Computer Engineering, 3.98 at Rose-Hulman Institute of Technology
Stackoverflow
125reputation
24kreached
0answers
4questions
Github Skills (39)
application-framework10
c-language10
datalog10
dis10
python10
flet10
computer-architecture10
architecture10
app-framework10
cpu-architecture10
ff10
arch10
compiler-design10
disassembly10
arm10
Programming languages (7)
Github contributions (5)
souffle-lang/souffle
Jun 2022 - Jan 2023
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer / Software Architect
Back-end Developer / Software ArchitectContributions:3 reviews, 6 commits, 7 PRs in 7 months
Contributions summary:Adam primarily contributed to the core logic of the Soufflé Datalog compiler. They focused on improving the compiler's internal workings by implementing optimizations like intermediate relation purging and eliminating nondeterminism in condition ordering. Additionally, they addressed issues related to execution plan validation and constant binary constraint simplification, contributing to the robustness and efficiency of the compiler. Their work demonstrates a deep understanding of compiler design and Datalog implementation.
cppdatalogstatic-code-analysissouffletranslator
capstone-engine/capstone
Mar 2022 - Apr 2022
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:10 commits, 4 PRs, 3 comments in 1 month
Contributions summary:Adam's contributions primarily focused on enhancing the Capstone disassembly framework, specifically for the AArch64 architecture. They implemented features related to sys operand building, and added tests using Python to validate the functionality of the new sys operand implementations. Furthermore, they updated the test suite to cover all aarch64 sys operand variants, and addressed issues in the handling of VAS specifiers for aliased instructions. In addition, they improved the code by adding tests to the cstest for issues.
armarmv8bpfdisassemblyethereum
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.