Benjamin Mariano

Veridise and University of Texas at Austin

prof_pic.jpg

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

  1. OOPSLA’24
    Mariano, Benjamin, Wang, Ziteng, Pailoor, Shankara, Collberg, Christian,  and Dillig, Işil
    Proc. ACM Program. Lang. Oct 2024
  2. OOPSLA’22
    Mariano, BenjaminChen, YanjuFeng, Yu, Durrett, Greg,  and Dillig, Işil
    Proc. ACM Program. Lang. Apr 2022
  3. POPL’22
    Tan, BryanMariano, BenjaminLahiri, Shuvendu K.Dillig, Işil,  and Feng, Yu
    Proc. ACM Program. Lang. Apr 2022
  4. S&P’21
    In 2021 IEEE Symposium on Security and Privacy (SP) Apr 2021
  5. ASE’20
    Mariano, BenjaminChen, YanjuFeng, YuLahiri, Shuvendu K.,  and Dillig, Işil
    In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) Apr 2020