Author Info
Name
Affiliation
Papers
BENJAMIN MARIANO
University of Texas at Austin
4
Collaborators
Citations 
PageRank 
9
2
1.38
Referers 
Referees 
References 
9
0
0
Title
Citations
PageRank
Year
SolType: Refinement Types for Arithmetic Overflow in Solidity00.342022
Automated transpilation of imperative to functional code using neural-guided program synthesis00.342022
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts10.352021
Demystifying Loops in Smart Contracts10.362020