Matteo Marescotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | PrivacyCAT: Privacy-Aware Code Analysis at Scale. | Ke Mao, Cons T. hs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, kos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne |
| 2022 | ICST | FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. | Ke Mao, Timotej Kapus, Lambros Petrou, kos Hajdu, Matteo Marescotti, Andreas Lscher, Mark Harman, Dino Distefano |
| 2021 | FMCAD | Lookahead in Partitioning SMT. | Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2020 | ISoLA | Accurate Smart Contract Verification Through Direct Modelling. | Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2020 | VMCAI | A Cooperative Parallelization Approach for Property-Directed k-Induction. | Martin Blicha, Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2018 | ISoLA | Computing Exact Worst-Case Gas Consumption for Smart Contracts. | Matteo Marescotti, Martin Blicha, Antti E. J. Hyvrinen, Sepideh Asadi, Natasha Sharygina |
| 2018 | LPAR | Lookahead-Based SMT Solving. | Antti E. J. Hyvrinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
| 2018 | LPAR | SMTS: Distributed, Visualized Constraint Solving. | Matteo Marescotti, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2017 | FMCAD | Designing parallel PDR. | Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvrinen, Natasha Sharygina |
| 2016 | ATVA | Clause Sharing and Partitioning for Cloud-Based SMT Solving. | Matteo Marescotti, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2016 | SAT | OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. | Antti E. J. Hyvrinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina |
| 2015 | SAT | Search-Space Partitioning for Parallelizing SMT Solvers. | Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |