Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benjamin Mariano
conf.researchr.org general profile
ASE 2020 profile
POPL 2022 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Not registered as user yet
Name:
Benjamin Mariano
Country:
United States
Affiliation:
University of Texas at Austin
Contributions
2024
SPLASH
Author of Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis within the OOPSLA 2024-track
2023
SPLASH
Author of Automated Translation of Functional Big Data Queries to SQL within the OOPSLA-track
2022
SPLASH
Author of Automated transpilation of imperative to functional code using neural-guided program synthesis within the OOPSLA-track
POPL
Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the POPL-track
2020
ASE
Author of Demystifying Loops in Smart Contracts within the Research Papers-track
Share
x
Tue 3 Dec 17:55