Benjamin Mariano -

Registered user since Sun 13 Feb 2022

Name:Benjamin Mariano

Country:United States

Affiliation:The University of Texas at Austin, Texas, USA

Personal website: https://bmarwritescode.github.io/

Research interests:Program Synthesis

Contributions

2022

SPLASH

Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the COVID Time Papers In Person-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2019

SPLASH

Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track
Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track