Matteo Marescotti

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Static Analysis

Partitioning Algorithm

Constraint Solving

Top Venues

Publications

Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP (2024)
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26 (2) (2023)
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ICST (2022)
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
InfERL: scalable and extensible Erlang static analysis. Erlang Workshop (2022)
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
Lookahead in Partitioning SMT. FMCAD (2021)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) (2020)
Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI (2020)
Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
SMTS: Distributed, Visualized Constraint Solving. LPAR (2018)
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) (2018)
Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
Lookahead-Based SMT Solving. LPAR (2018)
Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina
Designing parallel PDR. FMCAD (2017)
Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
Visualising SMT-Based Parallel Constraint Solving. SMT (2017)
Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA (2016)
Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT (2016)
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
Search-Space Partitioning for Parallelizing SMT Solvers. SAT (2015)