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
People
Software Engineer
I am a software engineer at Facebook, working in the WhatsApp Dev Infra team. I received my PhD in computer science from Università della Svizzera italiana (USI) in 2020.
My research interests centre around software verification, static analysis, and SMT solving using parallel computation. Recently, I worked on the verification of smart contracts for blockchain-based systems.
Software verification, static analysis, SMT solving
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina