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 Meta, working on static and dynamic code analysis in the WhatsApp Dev Infra team. I received my PhD in computer science from the Budapest University of Technology and Economics (BME) in 2020.
Verification, program analysis, static analysis, formal methods, automated reasoning
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár