Ákos Hajdu -

Registered user since Tue 24 Sep 2024

Name:Ákos Hajdu

Country:United Kingdom

Affiliation:Meta

Personal website: https://hajduakos.github.io/

GitHub: https://github.com/hajduakos

Research interests:Formal methods, program analysis, static analysis, automated reasoning, SAT/SMT

Contributions

2025

SOAP

Author of Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health within the State Of the Art in Program Analysis-track

FormaliSE

Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Track-track

2024

ASE

Author of Enhancing Compositional Static Analysis with Dynamic Analysis within the Industry Showcase-track

ESEC/FSE

Author of Automated End-to-End Dynamic Taint Analysis for WhatsApp within the Industry Papers-track

ICSE

Author of PrivacyCAT: Privacy-Aware Code Analysis at Scale within the Software Engineering in Practice-track