Will Song
Senior Software Engineer at 1064CBread, LLC
Harrison, New Jersey, United States
Summary
🤩
Rockstar🎓
Top SchoolWill Song is a versatile software engineer with 12 years of experience specializing in backend systems, security tooling, and cryptographic code review. He has held senior roles at Trail of Bits and Brevis, contributing to audits for projects like Zcash and improving fuzzing and EVM tooling (Echidna, hevm/dapptools). An active open-source contributor, he’s strengthened Vulkan and XMPP clients and added ABI and shader handling improvements to notable repos such as vulkano and profanity. Will blends low-level C/C++ and Rust expertise with pragmatic security testing, and outside work he sharpens his skills through CTFs and game-driven problem solving. Based in Harrison, New Jersey, he pairs rigorous academic training in math and computer science from UIUC with a knack for making complex systems auditable and maintainable.
12 years of coding experience
1 year of employment as a software developer
Bachelor of Science (BS) Math and Computer Science, Bachelor of Science (BS) Math and Computer Science at University of Illinois Urbana-Champaign
Chinese, English
Github Skills (27)
spirv10
vulkan10
xmpp10
programming-language10
solidity10
shader10
testing10
evm10
test-framework10
c1110
c1710
abi10
chat10
ethereum10
graphics-programming10
Programming languages (20)
Github contributions (5)
crytic/echidna
Feb 2019 - Feb 2021
Ethereum smart contract fuzzer
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:6 releases, 65 reviews, 191 commits in 2 years 1 month
Contributions summary:Will primarily contributed to the test suite by adding and updating tests for the Echidna fuzzer. They introduced new tests, including those for optimal solution finding and contracts with always-true properties, along with tests for a multi-contract example, thereby expanding the scope of the test coverage. The user also refactored existing assertions and made code improvements to enhance test readability and organization.
smart-contractethereumsecuritytestingcontract
profanity-im/profanity
Nov 2014 - Nov 2015
Ncurses based XMPP client
Role in this project:Back-end Developer
Back-end DeveloperContributions:53 commits, 8 PRs, 28 comments in 1 year
Contributions summary:Will primarily contributed to the Profanity XMPP client by implementing and refining features related to roster management and account handling. Their work included adding functionality to retrieve roster contacts excluding offline users, updating the user interface for roster display, and introducing account removal capabilities. These modifications enhanced the user's ability to manage contacts and accounts within the XMPP client.
xmppprivacychatfederationxmpp-client
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.