Pedro De Justo Teixeira
Redmond, Washington, United States
Summary
🤩
RockstarPedro De Justo Teixeira is a software developer in Microsoft’s Core Operating Systems Team with seven years’ experience specializing in microprocessor architecture and micro-architecture enhancements to boost performance and security. He focuses on cross-architecture emulation and ABI runtime support—areas such as exception handling and Arm64EC integration—enabling robust cross-ABI interoperability. Pedro also designs lightweight threading and work-item oriented concurrency models for high-throughput scenarios, and develops small-footprint para-virtualization technologies like Windows-on-Windows infrastructure. Based in Redmond, he blends deep systems-level expertise with practical runtime engineering, often operating at the intersection of hardware-aware optimization and OS-level compatibility. An engineer who bridges silicon-aware design and user-facing portability, he brings a rare mix of low-level rigor and pragmatic delivery.
7 years of coding experience
Github Skills (161)
xapi10
kvm10
hyper-v10
windows10
transmission10
ndis10
visual-studio10
vms10
netcore10
microsoft-store10
wpf10
cpp10
emulation10
network-tools10
modular10
Programming languages (8)
Github contributions (5)
pmsjt/cpp-docs
Mar 2019 - Mar 2023
C++ Documentation
Contributions:16 pushes, 15 branches in 4 years
cppc-plus-plus
pmsjt/Detours
Jun 2018 - Mar 2024
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
Contributions:8 pushes, 4 branches, 8 comments in 5 years 10 months
snmpapiwindowscallsdetours
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.