Ben Siraphob
New Haven, Connecticut, United States
Summary
🤩
Rockstar🎓
Top SchoolBen Siraphob is a software engineer and PhD student in computer science at Yale with a decade of hands-on experience in smart contract tooling, compiler internals, and security-focused research. He has shipped impactful reductions in EVM bytecode size and implemented novel on-chain data structures while contributing performance and parsing optimizations to the prominent Vyper smart-contract compiler. His applied research background spans formal verification (CompCert/Coq), LLM security, and large-scale mutation and fuzz testing for smart contracts, supported by reproducible workflows using Nix. Ben pairs rigorous benchmarking and statistical methods with practical engineering—he once found and fixed a novel HEVM memory leak that saved hundreds of gigabytes cumulatively. Based in New Haven, he mentors and leads developer education in blockchain security and brings both deep systems instincts and a flair for concise, provable correctness to complex distributed-code problems.
10 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Yale UniversityBachelors of science, Computer Science (honors), mathematics (highest honors), Bachelors of science, Computer Science (honors), mathematics (highest honors) at Vanderbilt University
English, Thai, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
parser10
vyper10
parsing10
parse10
python10
ethereum10
virtual-machine9
evm9
lang8
Programming languages (29)
Github contributions (5)
vyperlang/vyper
Jun 2019 - Jun 2020
Pythonic Smart Contract Language for the EVM
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 3 PRs, 4 comments in 11 months
Contributions summary:Ben primarily focused on modifying and optimizing the Vyper compiler's parsing logic, specifically related to local variable handling and argument clamping. Their contributions include implementing a loop-based approach for saving and restoring local variables, introducing conditional logic to optimize this process, and fixing linter errors. The user also collaborated on changes to the argument clamping functionality within the parser, including the use of loops for lists. This work involved modifying the parser's internal representation and optimizing the generated EVM code.
pythonsmart-contractethereumcontractblockchain
siraben/tree-sitter-promela
Feb 2022 - Feb 2022
Contributions:39 commits, 11 pushes, 10 comments in 3 days
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.