Benjamin Mariano

11 papers A* 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.
Proc. ACM Program. Lang.
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig
2023 J jnl
Automated Translation of Functional Big Data Queries to SQL.
Proc. ACM Program. Lang.
Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, Isil Dillig
2022 J jnl
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).
CoRR
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 J jnl
Automated transpilation of imperative to functional code using neural-guided program synthesis.
Proc. ACM Program. Lang.
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 J jnl
SolType: refinement types for arithmetic overflow in solidity.
Proc. ACM Program. Lang.
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2021 — conf
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios.
CAV (2)
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2021 A* conf
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
SP
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
2021 J jnl
SolType: Refinement Types for Solidity.
CoRR
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2020 J jnl
Automatically Tailoring Static Analysis to Custom Usage Scenarios.
CoRR
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2020 A* conf
Demystifying Loops in Smart Contracts.
ASE
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
2019 J jnl
Program synthesis with algebraic library specifications.
Proc. ACM Program. Lang.
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama