Karl Schimpf
Member Of Technical Staff - Software Engineering at Google
California, United States
Summary
🤩
Rockstar🎓
Top SchoolKarl Schimpf is a seasoned software engineer and architect with over three decades of experience building static analysis tools and shipping production software, currently a Member of Technical Staff at Google. He led development of many of Reasoning Inc.’s flagship static analyzers—ranging from a generic program slicer to a Y2K date detector—and specializes in designing tools that find subtle bugs in large codebases. His recent open-source contributions to the well-known WebAssembly Binary Toolkit include opcode-counting diagnostics and build fixes, reflecting a pragmatic focus on tool reliability and developer workflow. With a PhD from the University of Pennsylvania and prior academic and NASA-affiliated engineering roles, he combines deep research foundations with hands-on systems engineering. Colleagues describe him as an architect who turns formal analysis techniques into practical, maintainable tooling.
13 years of coding experience
24 years of employment as a software developer
BA, BA at University at BuffaloMSE, PhD., MSE, PhD. at University of Pennsylvania
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
c1710
webassembly10
c1110
binarydiff9
build-tools9
Programming languages (3)
Github contributions (5)
WebAssembly/wabt
Sep 2016 - Jul 2017
The WebAssembly Binary Toolkit
Role in this project:
Backend Developer
Backend DeveloperContributions:24 commits, 58 PRs, 36 pushes in 9 months
Contributions summary:Karl primarily contributed to the `webassembly/wabt` repository by implementing and improving tools related to WebAssembly opcode counting. Their work involved adding a diagnostic tool to count opcode usage in WebAssembly files, including initial implementation, source code cleanup, and clang formatting. They also addressed build issues and fixed initialization errors, demonstrating a focus on the toolkit's functionality and build process.
rustwasmercobolwebassemblywasm
WebAssembly/decompressor-prototype
Jun 2016 - May 2017
Contributions:559 commits, 1186 PRs, 542 pushes in 11 months
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.