conf.researchr.org / Matteo Marescotti

Registered user since Tue 8 Jun 2021

Name:Matteo Marescotti
Country:United Kingdom
Affiliation:Facebook, Inc.

Contributions

Erlang 2022 Author of InfERL: Scalable and Extensible Erlang Static Analysis within the Erlang 2022-track
ICST 2022 Author of FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp within the Industry-track
VMCAI 2020 Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track