| SmartPulse: automated checking of temporal properties in smart contracts J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig 2021 IEEE Symposium on Security and Privacy (SP), 555-571, 2021 | 70 | 2021 |
| Demystifying loops in smart contracts B Mariano, Y Chen, Y Feng, SK Lahiri, I Dillig Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 39 | 2020 |
| Automated transpilation of imperative to functional code using neural-guided program synthesis B Mariano, Y Chen, Y Feng, G Durrett, I Dillig Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022 | 35 | 2022 |
| SolType: refinement types for arithmetic overflow in solidity B Tan, B Mariano, SK Lahiri, I Dillig, Y Feng Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 33 | 2022 |
| Program synthesis with algebraic library specifications B Mariano, J Reese, S Xu, TV Nguyen, X Qiu, JS Foster, A Solar-Lezama Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-25, 2019 | 9 | 2019 |
| Automatically tailoring abstract interpretation to custom usage scenarios MN Mansur, B Mariano, M Christakis, JA Navas, V Wüstholz Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 8 | 2021 |
| Automated translation of functional big data queries to SQL G Zhang, B Mariano, X Shen, I Dillig Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 580-608, 2023 | 6 | 2023 |
| Soltype: Refinement types for solidity B Tan, B Mariano, S Lahiri, I Dillig, Y Feng arXiv preprint arXiv:2110.00677, 2021 | 3 | 2021 |
| Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version) B Mariano, Y Chen, Y Feng, G Durrett, I Dillig arXiv preprint arXiv:2203.09452, 2022 | 2 | 2022 |
| Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis B Mariano, Z Wang, S Pailoor, C Collberg, I Dillig Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2211-2241, 2024 | 1 | 2024 |
| Automatically tailoring static analysis to custom usage scenarios MN Mansur, B Mariano, M Christakis, JA Navas, V Wüstholz arXiv preprint arXiv:2009.13860, 2020 | 1 | 2020 |
| Automated transpilation using program synthesis B Mariano | | 2024 |
| Automatically Tailoring Static Analysis to Custom Usage Scenarios M Numair Mansur, B Mariano, M Christakis, JA Navas, V Wüstholz arXiv e-prints, arXiv: 2009.13860, 2020 | | 2020 |
