Ariel Ben-yehuda
Head Of Research at Stealth
Israel
Summary
🤩
Rockstar🎓
Top SchoolAriel Ben-yehuda is a software engineer based in Israel with 11 years of experience and is currently at AWS. He was a developer on the Rust compiler team at Mozilla, where he implemented compiler algorithms, helped build the NLL borrow checker, and cut stack usage by about 30%. His work combines deep systems and performance focus—contributing to async-profiler (Rust symbol demangling, TSC integration, and a per-thread profiling API) and refactoring rustc-perf for more granular benchmarking. Prior roles include senior software engineering in the Israel Defense Forces and serving as the Linux expert for Check Point’s high-end OS division, giving him operational and security-aware systems experience. He holds a BSc in Mathematics and Computer Science from Tel Aviv University with a standout 91 in mathematics, pairing rigorous theory with low-level engineering skill.
11 years of coding experience
11 years of employment as a software developer
BSc, Mathematics and Computer Science, 91 in Mathematics, BSc, Mathematics and Computer Science, 91 in Mathematics at Tel Aviv University
Github Skills (18)
performance-monitor10
c-language10
code-profiling10
performanceanalysis10
profiling10
performanceanalytics10
rust10
performance-monitoring10
performancemonitor10
c-programming-language10
gnu-make9
java9
makefile9
jfr9
javas9
Programming languages (9)
Github contributions (5)
async-profiler/async-profiler
Dec 2024 - Mar 2025
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
Role in this project:
Back-end Developer & Performance Engineer
Back-end Developer & Performance EngineerContributions:18 reviews, 4 PRs, 39 comments in 3 months
Contributions summary:Ariel primarily contributed to the core functionality and performance optimization of the async-profiler. Their work included implementing demangling of Rust symbols and integrating the Time Stamp Counter (TSC) for accurate time measurements. They also added a new API `asprof_get_thread_local_data` to collect per-thread profiling data and fixed an issue related to setting the clock in the JFR recording.
cpuperfeventsgarbage-collectionglibc
rust-lang/rustc-perf
Apr 2017 - Aug 2017
Website for graphing performance of rustc
Role in this project:Backend Developer
Backend DeveloperContributions:15 commits in 3 months
Contributions summary:Ariel refactored the benchmark code, enabling separate benchmarking of commits for debugging purposes. This involved changes to the `benchmark.rs` file, suggesting modifications to the core performance testing logic. The user also split scripts into modules and fixed various issues within the codebase. These changes indicate a focus on improving the maintainability and functionality of the performance collection and analysis tools.
rustperformancegraphrustcgraphing
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.