Miguel Saldivar
Compiler Engineer at Hewlett Packard Enterprise
Los Angeles, California, United States
Summary
👤
Senior🎓
Top SchoolMiguel Saldivar is a compiler engineer with 11 years of systems-level software experience, currently working at Hewlett Packard Enterprise and based in Los Angeles. He specializes in compilers, linkers, loaders and low-level tooling, and enjoys programming in C++ and Rust while also diving into reverse engineering and CTFs. Miguel has contributed to notable open-source work such as immunant's c2rust—helping migrate C to Rust by improving AST translation and test coverage—demonstrating deep knowledge of C semantics and Rust AST manipulation. His background includes building cross-architecture CI solutions with QEMU, integrating sanitizers, creating protocol replayers from PCAPs, and authoring Rust compiler plugins and LLVM tests, showing a practical blend of research-grade tooling and production engineering. Colleagues value his knack for turning obscure platform behaviors into reliable, reproducible systems.
11 years of coding experience
4 years of employment as a software developer
Bachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at California State University-San Bernardino
Spanish, English
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (7)
c1710
transcode10
c1110
transpiler9
translation9
rust9
memory-safety9
Programming languages (13)
Github contributions (5)
immunant/c2rust
Jan 2018 - Feb 2019
Migrate C code to Rust
Role in this project:
Back-end Developer
Back-end DeveloperContributions:191 commits, 3 PRs, 3 comments in 1 year
Contributions summary:Miguel primarily contributed to the `c2rust` repository, focusing on migrating C code to Rust. Their work involved modifying and improving the `ast-importer/src/translator.rs` file, and tests, to correctly handle C code structures and their initialization in Rust. The user also made adjustments to the `scripts/provision_rust.sh` file. Their commits suggest a deep understanding of the C language's intricacies and the process of translating them into Rust.
rusttranslationtranspilermigrationsecurity-hardening
miguelsaldivar/cpp_demangle
Aug 2018 - Oct 2020
A crate for demangling C++ symbols
Contributions:58 pushes, 4 branches in 2 years 3 months
cratecppsymbolsrust
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.