• Sign in
  • Sign up
conf.researchr.org / Benjamin Mariano
  • PLDI 2022 profile
  • SPLASH 2019 profile
  • SPLASH 2022 profile

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

Share
xWed 1 Feb 23:39
using conf.researchr.org (v1.58.0)
Support page
Sign Up