Marco Elver
Senior Software Engineer at Technical University of Munich
Munich, Bavaria, Germany
Summary
🤩
Rockstar🎓
Top SchoolMarco Elver is a Senior Software Engineer based in Munich with 15 years of experience designing and engineering high-performance, reliable systems across the stack—from processor architecture and operating systems to compilers and distributed systems. At Google he has driven dynamic analysis and fuzzing for kernel-space tools (K*SAN) and continues upstream contributions to the Linux kernel, improving concurrency and memory-safety instrumentation for projects as visible as torvalds/linux and syzkaller. His work on the gem5 simulator and academic research (PhD in Computing Systems Architecture) reflect a deep focus on memory models, verification and hardware/software co-design, and he teaches as an adjunct at TUM. Known for fixing subtle race and sanitizer issues, he blends rigorous theory with pragmatic, production-hardened engineering.
15 years of coding experience
6 years of employment as a software developer
Bachelor of Engineering with Honours, Computer Science with Management, Bachelor of Engineering with Honours, Computer Science with Management at The University of Edinburgh
English, German
Github Skills (40)
simulation10
c-language10
concurrent10
main-memory10
architecture10
simulations10
kal10
c1110
linux-kernel10
security10
c1710
kernel10
go10
memory-safety10
fuzzing10
Programming languages (9)
Github contributions (5)
google/syzkaller
Jun 2019 - Nov 2022
syzkaller is an unsupervised coverage-guided kernel fuzzer
Role in this project:
Security Engineer
Security EngineerContributions:138 reviews, 57 commits, 63 PRs in 3 years 6 months
Contributions summary:Marco primarily contributes to the security aspects of the `syzkaller` project, focusing on the implementation and enhancement of KCSAN (Kernel Concurrency Sanitizer) support. Their work includes adding KCSAN configuration, integrating KCSAN into the fuzzer and executor, and modifying the reporting mechanism to accurately reflect data race conditions. They also made changes related to blacklisting frames in reports and improving the overall formatting of KCSAN reports.
kernelsecurity-toolscoverage-guidedfuzz-testingsecurity
gem5/gem5
Sep 2012 - Jun 2016
The official repository for the gem5 computer-system architecture simulator.
Role in this project:Back-end Developer / Systems Architect
Back-end Developer / Systems ArchitectContributions:9 commits in 3 years 9 months
Contributions summary:Marco primarily contributed to the gem5 computer-system architecture simulator, focusing on enhancing its functionality and stability. Their work included addressing memory serialization issues, fixing configuration scripts related to memory type options, and resolving a TSO implementation bug within the O3CPU. Additionally, they implemented support for SwapReq in the Ruby memory system. The user also made changes to the Ruby cache recorder, addressing serialization issues and adding a MemChecker and MemCheckerMonitor classes.
storedsimulationupstreamsimulatorgem5-simulator
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.