conf.researchr.org / 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

SPLASH 2022 Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the COVID Time Papers In Person-track
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2019 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