Concepedia

Benjamin Mariano

BM

4

Publications

127

Citations

4

H-Index

2020

Active since

Affiliations

The University of Texas at Austin(Current)

University of California, Santa Barbara

Microsoft Research (United Kingdom)

Benjamin Mariano is an author at The University of Texas at Austin specializing in formal methods, computer science, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingFormal VerificationSystems EngineeringComputer EngineeringSoftware Engineering

Publications per year

2020–2022

4

Publications

4

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

Jon Stephens, Kostas Ferles, Benjamin Mariano et al. · 2021 · 55 citations

Software Maintenance, Engineering, Verification +19

SolType: refinement types for arithmetic overflow in solidity

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri et al. · Proceedings of the ACM on Programming Languages · 2022 · 27 citations · Full text

Engineering, Arithmetic Overflow, Verification +21

Automated transpilation of imperative to functional code using neural-guided program synthesis

Benjamin Mariano, Yanju Chen, Yu Feng et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Engineering, Compiler Technology, Software Engineering +22

Demystifying loops in smart contracts

Benjamin Mariano, Yanju Chen, Yu Feng et al. · 2020 · 19 citations · Full text

Software Maintenance, Blockchain Consensus Protocol, Engineering +21

Rows per page

1–4 of 4