Benjamin Mariano

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

Relational Databases

Temporal Properties

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, Isil Dillig
Automated Translation of Functional Big Data Queries to SQL. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). CoRR (2022)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: refinement types for arithmetic overflow in solidity. Proc. ACM Program. Lang. 6 (POPL) (2022)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated transpilation of imperative to functional code using neural-guided program synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. IEEE Symposium on Security and Privacy (2021)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: Refinement Types for Solidity. CoRR (2021)
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) (2021)
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR (2020)
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
Demystifying Loops in Smart Contracts. ASE (2020)
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)