Dominic Murphy
Principal Engineer at Arm
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDominic Murphy is a Principal Engineer based in Cambridge with 12 years’ experience and nine years specialising in formal verification for Arm CPUs, leading cross-site teams from project planning through formal sign-off. He has repeatedly deployed formal methods to uncover deep corner-case RTL bugs and has owned verification environments and methodologies for multiple Cortex-M and M-class processors. Dominic pairs hands-on low-level systems expertise—demonstrated by substantive contributions to the Linux kernel IOMMU/DMA subsystems and ARM SMMU drivers—with strategic collaboration across sites and EDA vendors to drive tool and process improvements. He is particularly focused on Safety and Security verification and the pragmatic use of Sequential Equivalence Checking to resolve difficult verification challenges. Notably, his open-source work on torvalds/linux and rockchip/sonyxperia repos shows a rare blend of silicon-proximate formal verification and production kernel systems engineering.
12 years of coding experience
7 years of employment as a software developer
Master’s Degree, Electronic Engineering with Computer Systems, First Class Honours, Master’s Degree, Electronic Engineering with Computer Systems, First Class Honours at University of SouthamptonThe Warriner SchoolChipping Norton School
English
Github Skills (17)
iommu10
dma10
architecture10
c-programming10
c1110
linux-kernel10
c1710
kernel10
system10
device-driver10
sys10
kernel-mode10
arm10
embedded10
architectures10
Programming languages (4)
Github contributions (5)
sonyxperiadev/kernel
Aug 2016 - Jun 2020
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:34 commits in 3 years 10 months
Contributions summary:Dominic primarily contributed to the `iommu/arm-smmu` kernel driver within the Sony Xperia Android kernel repository. Their work involved modifying and refactoring core IOMMU functionality, converting registers to bitfields, and refining context bank handling. These changes demonstrate an understanding of low-level hardware interactions and memory management specific to ARM SMMU implementations, aiming to improve code clarity and maintainability.
rockchip-linux/kernel
Oct 2020 - Mar 2022
BSP kernel source
Role in this project:Back-end Developer & Systems Engineer
Back-end Developer & Systems EngineerContributions:2 commits in 1 year 4 months
Contributions summary:Dominic primarily contributed to the IOMMU (Input/Output Memory Management Unit) subsystem within the Linux kernel, focusing on DMA (Direct Memory Access) operations. Their work involved implementing common IOMMU operations for DMA mapping, adding architecture-specific DMA mapping ops for arm64, and addressing issues related to scatterlist handling and segment merging. The user's contributions also included fixing build issues and improving code robustness within the IOMMU/DMA infrastructure.
kernelkernel-sourcelinuxlinux-kernelbsp
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.