• Sign in
  • Sign up
conf.researchr.org / Ákos Hajdu
  • ASE 2024 profile
  • FSE 2024 profile
  • ICFP/SPLASH 2025 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • PLDI 2025 profile
Á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
Share
xTue 20 May 17:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up