Benjamin Mariano

According to our database, Benjamin Mariano authored at least 12 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Software Artifact for "Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis".

Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig

Dataset, August, 2024

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.

Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig

Proc. ACM Program. Lang., 2024

2023

Automated Translation of Functional Big Data Queries to SQL.

Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, Isil Dillig

Proc. ACM Program. Lang., April, 2023

2022

SolType: refinement types for arithmetic overflow in solidity.

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

Proc. ACM Program. Lang., 2022

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

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

Proc. ACM Program. Lang., 2022

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

CoRR, 2022

2021

SolType: Refinement Types for Solidity.

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

CoRR, 2021

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.

Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios.

Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios.

Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz

CoRR, 2020

Demystifying Loops in Smart Contracts.

Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Program synthesis with algebraic library specifications.

Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Proc. ACM Program. Lang., 2019