( en | de | ru )

 

Disambiguation of "Mariano, Benjamin"

Author of the publication

copydeleteadd this publication to your clipboard
SolType: Refinement Types for Solidity.

, , , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mariano Zelke

Artur Mariano

Mariano Bona

Mariano Domingo

Mariano Cadoni

 

Other publications of authors with the same name

Demystifying Loops in Smart Contracts., , , , and . ASE, page 262-274. IEEE, (2020)SolType: refinement types for arithmetic overflow in solidity., , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Automatically Tailoring Static Analysis to Custom Usage Scenarios., , , , and . CoRR, (2020)Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)., , , , and . CoRR, (2022)Automated Translation of Functional Big Data Queries to SQL., , , and . Proc. ACM Program. Lang., 7 (OOPSLA1): 580-608 (April 2023)Program synthesis with algebraic library specifications., , , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 132:1-132:25 (2019)Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios., , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 777-800. Springer, (2021)SmartPulse: Automated Checking of Temporal Properties in Smart Contracts., , , , and . SP, page 555-571. IEEE, (2021)Automated transpilation of imperative to functional code using neural-guided program synthesis., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-27 (2022)SolType: Refinement Types for Solidity., , , , and . CoRR, (2021)