• Sign in
  • Sign up
conf.researchr.org / Matteo Marescotti
  • ICFP 2022 profile
  • ICST 2022 profile
  • POPL 2020 profile
No Photo

Registered user since Tue 8 Jun 2021

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

Contributions

2022

Erlang

  • Author of InfERL: Scalable and Extensible Erlang Static Analysis within the Erlang 2022-track

ICST

  • Author of FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp within the Industry-track

2020

VMCAI

  • Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track
Share
xWed 14 May 02:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up