Benjamin Mariano specializes in developing automated techniques that help developers create safe code.
He has conducted academic research in the fields of program synthesis, program analysis, formal verification, and machine learning.
Previously, Benjamin worked at the Machine Programming Lab at Intel and the Max Planck Institute for Software Systems (MPI-SWS).
Ben was awarded a PhD in Computer Science at the University of Texas at Austin in 2025.
At Veridise, Ben serves as the VP of Research and Development and leads the development of Veridise’s in-house vulnerability detection tools, such as OrCa (an oracle-guided fuzzer). He also acts as the project lead in smart contract and blockchain auditing.
Experience overview
Experience
Go, Leo, Rust, Solidity, Typescript, Metamask Snap, NEAR, Solana, Halo2, mongoose, Solana
Specialities
Smart Contracts, Wallet Integration, Infrastructure
Previous work
Academic work
- Automated Transpilation of Imperative to Functional Code Using Neural-Guided Program Synthesis. Mariano, Benjamin, Chen, Yanju, Feng, Yu, Durrett, Greg, and Dillig, Işil, Proc. ACM Program. Lang. Apr 2022
- SolType: Refinement Types for Arithmetic Overflow in Solidity. Tan, Bryan, Mariano, Benjamin, Lahiri, Shuvendu K., Dillig, Işil, and Feng, Yu. Proc. ACM Program. Lang. Apr 2022
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts, Stephens, Jon, Ferles, Kostas, Mariano, Benjamin, Lahiri, Shuvendu K., and Dillig, Işil,. In 2021 IEEE Symposium on Security and Privacy (SP) Apr 2021
- Demystifying Loops in Smart Contracts. Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., and Dillig, Işil. In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) Apr 2020
- Program Synthesis with Algebraic Library Specifications, Mariano, Benjamin, Reese, Josh, Xu, Siyuan, Nguyen, ThanhVu, Qiu, Xiaokang, Foster, Jeffrey S., and Solar-Lezama, Armando, Proc. ACM Program. Lang. Oct 2019
- Benjamin’s academic research on Google scholar
Conference presentations and videos
Benjamin has delivered presentations at numerous conferences
What is OrCa?
3 min | Veridise
Finding Bugs in L2 Contracts with Fuzzing
15 min | ZK House Bogotá 2022
Automated Transpilation of Imperative...
15 min | OOPSLA 2022