Peter Goodman - Researcher at Company name (Withheld)

Peter Goodman

Researcher at Company name (Withheld)

Canada

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Peter Goodman is a researcher and software engineer with 15 years of experience building program analysis, binary translation, and compiler tooling, currently based in Canada. He has led and shipped production-grade lifters and dynamic binary translators—Remill, McSema, Granary, GRR—and drove DARPA programs at Trail of Bits, later leading a decompiler team at Hex-Rays. His deep systems expertise spans ELF/module handling, memory-safe execution of arbitrary instructions, and symbolic/fuzzing integrations (notably contributions to DynamoRIO and DeepState). Peter combines research rigor with pragmatic engineering: he designs novel runtime systems and developer-facing tooling that scale to large codebases and adversarial evaluation settings. An inventive maintainer and back-end developer, he regularly fixes subtle low-level bugs (e.g., ELF parsing and memory leaks) and builds APIs that make program transformation and analysis more reliable and automatable.

15 years of coding experience

11 years of employment as a software developer

BSc Honors Specialization in Computer Science Computer Science, BSc Honors Specialization in Computer Science Computer Science at Western University

Master of Science (M.Sc.) Computer Science, Master of Science (M.Sc.) Computer Science at University of Toronto

Stackoverflow

Stats

438reputation

10kreached

7answers

3questions

Github Skills (37)

assembly10

c-language10

python10

llvm10

module-loader10

linux10

dynamic10

test-framework10

instrumentation10

c1110

binarydiff10

x8610

c1710

lazy-loading10

resource-loading10

Programming languages (14)

SmartyJavaC++RustCCMakeTeXTypeScript

Github contributions (5)

trailofbits/deepstate

Oct 2017 - Sep 2021

A unit test-like interface for fuzzing and symbolic execution

Role in this project:

Back-end Developer & Test Automation Engineer

Contributions:19 reviews, 104 commits, 31 PRs in 3 years 11 months

Contributions summary:Peter made significant improvements to the `deepstate` project, which focuses on fuzzing and symbolic execution. They refactored code to hook fewer functions and introduced symbolic data handling for easier concrete input execution and fuzzer integration. The user implemented multiple API functions (e.g., `Assume`, `Pass`, `Fail`, and logging capabilities) to be hooked by Manticore. Furthermore, the user updated the project to work with both Angr and Manticore and added support for features like test fixtures, which simplifies test creation and execution.

property-based-testingsymbolic-executiontesting-frameworktestingunit

lifting-bits/mcsema

Nov 2015 - Jan 2022

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Role in this project:

Back-end Developer

Contributions:1 release, 28 reviews, 243 commits in 6 years 3 months

Contributions summary:Peter contributed to the development of the mcsema framework, focusing on its core functionality and code generation capabilities. Their work primarily revolved around modifying and enhancing the disassembly process by adding instructions and modifying existing flags, as well as the implementation of new IMUL64 instructions. Furthermore, the user also worked on the runtime and API-level aspects of the project, improving exception handling and adding calling convention support.

liftingllvm-irbinary-analysissparcllvm-bitcode

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.

Request Free Trial