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
Ákos Hajdu
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.
Interests
Verification, program analysis, static analysis, formal methods, automated reasoning
Latest Publications
ICST - 2022
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár