Herman Venter
Member Of Technical Staff at Endor Labs
Bothell, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolHerman Venter is a systems-focused software engineer and researcher with a multi-decade career spanning academia and industry, currently a Member of Technical Staff at Endor Labs aiming to improve secure OSS adoption. He brings deep expertise in programming language design, compilers, static analysis and developer tooling from roles at Microsoft and Meta, where he worked on projects from JITs and IL optimization to HHVM, taint tracking, and a static verifier for Rust (MIRAI). His open-source contributions include performance and serialization work on Facebook’s Prepack and substantial enhancements to MIRAI, including Apple Silicon support and Z3 static linking. With a PhD in Computer Science and experience mentoring graduate students, he combines rigorous research sensibilities with practical engineering to boost developer productivity and security. An interesting throughline: he began in South African academia before moving into high-impact tooling at major US tech firms, now applying that blend to make OSS safer at scale.
9 years of coding experience
29 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Port Elizabeth
English, Afrikaans
Github Skills (16)
abstract-interpretation10
javascript10
compiler-design10
rust10
optimization10
z39
serialization9
toolchain9
babel-core9
babel69
data-serialization9
babeljs9
algorithms8
data-structures8
algorithm8
Programming languages (3)
Github contributions (5)
facebookexperimental/MIRAI
May 2022 - Jan 2023
Rust mid-level IR Abstract Interpreter
Role in this project:
Back-end Developer
Back-end DeveloperContributions:12 releases, 39 reviews, 54 commits in 7 months
Contributions summary:Herman primarily contributed to the `mirai` repository, focusing on the abstract interpretation of Rust code. Their work involved enhancing the project's capabilities to run MIRAI over test targets, adding simplification rules, and fixing bugs within the interval domain. Furthermore, the user added source information for callables, adapted the code for Apple silicon, and refactored the system to link with Z3 statically.
rustinterpretermid
facebookarchive/prepack
Aug 2017 - Aug 2017
A JavaScript bundle optimizer.
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 releases, 10 commits, 331 PRs in 9 days
Contributions summary:Herman primarily focused on enhancing the core functionalities of the JavaScript bundle optimizer. They implemented a feature to concatenate source files, improving the parsing process. They also worked on the serialization and residual heap management, particularly in areas related to function and generator scoping and strict mode handling. The user's contributions are focused on improving code optimization and addressing underlying performance issues.
codemodbundlejavascriptoptimizationoptimizer
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.