Benjamin Mariano
Gates Dell Complex
2317 Speedway
Austin, Texas 78712
bmariano@cs.utexas.edu
I am the Vice President of Research and Development at Veridise, where we aim to harden blockchain security with formal methods. Additionally, I am a computer science PhD student at the University of Texas at Austin working with Işil Dillig. My goal is to develop automated techniques that help developers create safe code. In pursuit of this goal, my research uses a combination of program synthesis, program analysis, formal verification, and machine learning.
Before joining UT Austin, I got my B.Sc. and M.Sc. degrees in computer science from the University of Maryland at College Park, where I worked as a research assistant under Jeff Foster. I have also had the pleasure of working as a research scientist in the Machine Programming Lab at Intel with Justin Gottschlich and as a research intern with Maria Christakis at the Max Planck Institute for Software Systems (MPI-SWS).
news
Aug 3, 2022 | My talk on fuzzing for smart contracts was accepted at NEARCON’22 which will be held in Lisbon on September 11-14! |
---|---|
Dec 16, 2021 | Our paper Automated Transpilation of Imperative to Functional Code Using Neural-Guided Program Synthesis will appear at OOPSLA’22! |
Nov 8, 2021 | Our paper SolType: Refinement Types for Arithmetic Overflow in Solidity was accepted at POPL’22! |
selected publications
- OOPSLA’24Proc. ACM Program. Lang. Oct 2024
- OOPSLA’22Proc. ACM Program. Lang. Apr 2022
- POPL’22Proc. ACM Program. Lang. Apr 2022
- S&P’21In 2021 IEEE Symposium on Security and Privacy (SP) Apr 2021
- ASE’20In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) Apr 2020