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)

Demystifying Loops in Smart Contracts. - Benjamin Mariano; Yanju Chen; Yu Feng 001; Shuvendu K. Lahiri; Isil Dillig (ASE, 2020)

Automatically Tailoring Static Analysis to Custom Usage Scenarios. - Muhammad Numair Mansur; Benjamin Mariano; Maria Christakis; Jorge A. Navas; Valentin Wüstholz (CoRR, 2020)

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. - Muhammad Numair Mansur; Benjamin Mariano; Maria Christakis; Jorge A. Navas; Valentin Wüstholz (CAV (2), 2021)

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. - Jon Stephens; Kostas Ferles; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig (SP, 2021)

SolType: Refinement Types for Solidity. - Bryan Tan; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig; Yu Feng 001 (CoRR, 2021)

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). - Benjamin Mariano; Yanju Chen; Yu Feng 001; Greg Durrett; Isil Dillig (CoRR, 2022)

Automated transpilation of imperative to functional code using neural-guided program synthesis. - Benjamin Mariano; Yanju Chen; Yu Feng 001; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2022)

SolType: refinement types for arithmetic overflow in solidity. - Bryan Tan; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig; Yu Feng 001 (Proc. ACM Program. Lang., 2022)

Automated Translation of Functional Big Data Queries to SQL. - Guoqiang Zhang; Benjamin Mariano; Xipeng Shen; Isil Dillig (Proc. ACM Program. Lang., 2023)

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)