Brad Swain is a Security Engineer with nine years of experience specializing in compilers, programming languages, LLVM, and Rust, currently contributing to Trail of Bits. He has led research-driven engineering efforts—winning and running two SBIR projects to build an LLVM-based data race detector for HPC OpenMP workloads—and has hands-on experience scaling dynamic race detection to GPUs. Brad’s open-source and QA work includes improving testing infrastructure for the widely used crytic/slither Solidity static analyzer, automating multi-version solc installs and streamlining test execution. He blends research depth from Texas A&M and national-lab internships with practical production security engineering, focusing on robust tooling and reproducible tests. Based in the Dallas–Fort Worth area, he brings a pragmatic curiosity about language tooling and low-level correctness that often leads him to optimize developer workflows rather than just the surface UI.
9 years of coding experience
3 years of employment as a software developer
MCS, Computer Science, MCS, Computer Science at Texas A&M University
Contributions summary:Brad primarily worked on enhancing the testing infrastructure for the `slither` static analyzer. They implemented automated installation of Solidity compiler versions to ensure comprehensive testing across different compiler versions. Furthermore, the user refactored testing code, improved test coverage, and streamlined the test execution process by integrating the `solc-select` tool and python api for managing solidity compilers and associated artifacts.
Open source implementation of the Coderrect Scanner core race detection functionality.
Contributions:305 reviews, 210 PRs, 317 pushes in 10 months
data-racerace-detectioncppconcurrencyscanner
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.