| Computing exact worst-case gas consumption for smart contracts M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina International Symposium on Leveraging Applications of Formal Methods, 450-465, 2018 | 76 | 2018 |
| OpenSMT2: An SMT solver for multi-core and cloud computing AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina International Conference on Theory and Applications of Satisfiability …, 2016 | 76 | 2016 |
| Accurate smart contract verification through direct modelling M Marescotti, R Otoni, L Alt, P Eugster, AEJ Hyvärinen, N Sharygina International Symposium on Leveraging Applications of Formal Methods, 178-194, 2020 | 37 | 2020 |
| A Solicitous Approach to Smart Contract Verification R Otoni, M Marescotti, L Alt, P Eugster, A Hyvärinen, N Sharygina ACM Transactions on Privacy and Security 26 (2), 1-28, 2023 | 35 | 2023 |
| Search-space partitioning for parallelizing SMT solvers AEJ Hyvärinen, M Marescotti, N Sharygina International Conference on Theory and Applications of Satisfiability …, 2015 | 27 | 2015 |
| Designing parallel PDR M Marescotti, A Gurfinkel, AEJ Hyvärinen, N Sharygina 2017 Formal Methods in Computer Aided Design (FMCAD), 156-163, 2017 | 22 | 2017 |
| Clause sharing and partitioning for cloud-based SMT solving M Marescotti, AEJ Hyvärinen, N Sharygina International Symposium on Automated Technology for Verification and …, 2016 | 21 | 2016 |
| SMTS: Distributed, Visualized Constraint Solving. M Marescotti, AEJ Hyvärinen, N Sharygina LPAR, 534-542, 2018 | 16 | 2018 |
| A cooperative parallelization approach for property-directed k-induction M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina International Conference on Verification, Model Checking, and Abstract …, 2020 | 15 | 2020 |
| FAUSTA: scaling dynamic analysis with traffic generation at whatsapp K Mao, T Kapus, L Petrou, Á Hajdu, M Marescotti, A Loscher, M Harman, ... Proceedings-2022 IEEE 15th International Conference on Software Testing …, 2022 | 9 | 2022 |
| InfERL: scalable and extensible Erlang static analysis Á Hajdu, M Marescotti, T Suzanne, K Mao, R Grigore, P Gustafsson, ... Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, 33-39, 2022 | 8 | 2022 |
| Lookahead-based SMT solving A Hyyvarinen, M Marescotti, P Sadigova, H Chockler, N Sharygina LPAR-22: LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING …, 2018 | 8 | 2018 |
| PrivacyCAT: Privacy-aware code analysis at scale K Mao, C Åhs, S Cela, D Distefano, N Gardner, R Grigore, P Gustafsson, ... Proceedings of the 46th International Conference on Software Engineering …, 2024 | 6 | 2024 |
| Lookahead in partitioning SMT AEJ Hyvärinen, M Marescotti, N Sharygina 2021 Formal Methods in Computer Aided Design (FMCAD), 271-279, 2021 | 4 | 2021 |
| Enhancing Compositional Static Analysis with Dynamic Analysis D Distefano, M Marescotti, C Ahs, S Cela, GC Sampaio, R Grigore, ... Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 2 | 2024 |
| Parallelization and modelling techniques for scalable SMT-based verification M Marescotti Università della Svizzera Italiana, 2020 | 2 | 2020 |
| The opensmt solver in smt-comp 2020 M Blicha, AE Hyvärinen, M Marescotti, N Sharygina | 1 | 2021 |
| WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp K Mao, T Kapus, CT Åhs, M Marescotti, D Ip, Á Hajdu, S Cela, A Banerjee arXiv preprint arXiv:2512.05314, 2025 | | 2025 |
| The OpenSMT Solver in SMT-COMP 2019 M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina | | |
| An Arboriculture Approach for Parallel SMT and Symbolic Model Checking M Marescotti, AEJ Hyvärinen, N Sharygina | | |
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
