Erik Kaneda
Software Engineer at RISC Zero
United States
Summary
🤩
Rockstar🎓
Top SchoolErik Kaneda is a software engineer with a decade of experience building robust back-end systems and compiler tooling, currently contributing at RISC Zero. He previously worked on the K Framework at Runtime Verification, improving parser error handling, compilation checks, and proof tooling to make formal methods more usable. At Intel he maintained the widely used open-source ACPICA implementation, adding test automation and ASL test coverage that benefited Linux and FreeBSD ecosystems. Comfortable in both research-adjacent compiler work and production-grade system tooling, he bridges formal verification and practical platform needs. Erik holds a Master's in Computer Science from Portland State University and brings a track record of improving developer experience through clearer diagnostics and more reliable build/test infrastructure.
10 years of coding experience
6 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Portland State University
Github Skills (10)
javas10
compilation10
java10
acpi10
test-automation10
testing10
code-generation9
error-handling9
c-programming8
disassembly8
Programming languages (11)
Github contributions (5)
acpica/acpica
Feb 2017 - Jun 2021
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:3 reviews, 396 commits, 279 PRs in 4 years 4 months
Contributions summary:Erik primarily contributed to the testing infrastructure and code generation for the ACPICA project, with a focus on the ASL test suite. They added new test cases for external declarations, implemented support for running binary comparisons, and added new predefined method implementations. The user also made improvements to the existing test suite code.
licensingoperating-systemcontributorindependentspecification
runtimeverification/k
Jul 2021 - Sep 2022
K Framework Tools 7.0
Role in this project:Back-end Developer
Back-end DeveloperContributions:28 reviews, 26 commits, 35 PRs in 1 year 2 months
Contributions summary:Erik primarily contributed to the K Framework's core functionality, specifically focusing on improving the error handling and compilation processes. Their work includes refining error messages for the parser, implementing new options and checks within the kompile tool, and improving the printing of data structures within the KoreToK component. These changes enhance the user experience and the overall reliability of the K Framework tools. Additionally, they made improvements to the KProve tool, enhancing its functionality.
edaframeworkdataflow-programmingtlaplus
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.