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.
8 years of coding experience
Github Skills (74)
kvm10
windows10
ndis10
cpp10
emulation10
qemu10
dotnet10
editor10
windows-app10
utm10
api10
virtualization10
compiler10
powershell10
wdf10
Programming languages (8)
Github contributions (5)
pmsjt/npcap
May 2019 - Jun 2024
Nmap Project's packet sniffing library for Windows, based on WinPcap/Libpcap improved with NDIS 6 and LWF.
Contributions:14 pushes, 7 branches in 5 years 2 months
libpcapndisnmapsniffingwindows
pmsjt/Detours
Jun 2018 - May 2026
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
Contributions:9 pushes, 4 branches, 8 comments in 7 years 11 months
monitoringwindows
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.