Matteo Marescotti

According to our database, Matteo Marescotti authored at least 15 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

PrivacyCAT: Privacy-Aware Code Analysis at Scale.

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

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023

A Solicitous Approach to Smart Contract Verification.

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

ACM Trans. Priv. Secur., May, 2023

2022

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.

Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

InfERL: scalable and extensible Erlang static analysis.

Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021

Lookahead in Partitioning SMT.

Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

A Cooperative Parallelization Approach for Property-Directed k-Induction.

Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Accurate Smart Contract Verification Through Direct Modelling.

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2018

SMTS: Distributed, Visualized Constraint Solving.

Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Lookahead-Based SMT Solving.

Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Computing Exact Worst-Case Gas Consumption for Smart Contracts.

Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Visualising SMT-Based Parallel Constraint Solving.

Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

Designing parallel PDR.

Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.

Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Clause Sharing and Partitioning for Cloud-Based SMT Solving.

Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Search-Space Partitioning for Parallelizing SMT Solvers.

Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015