Ákos Hajdu -

Registered user since Thu 3 Oct 2019

Name:Ákos Hajdu

Country:United Kingdom

Affiliation:Facebook

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

Twitter:https://twitter.com/himynameisakos

GitHub:https://github.com/hajduakos

Research interests:Formal methods, verification, program analysis, automated reasoning

Contributions

Infer 2022	Author of InfERL – static analysis for Erlang code in WhatsApp server within the Infer 2022-track
ICST 2022	Author of FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp within the Industry-track
MODELS 2021	PC Member in OpenMBEE within the Workshops-track
MSR 2021	Committee Member in Shadow PC committee within the Shadow PC-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ISSTA 2020	Author of Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity within the WoSCA-track
VMCAI 2020	Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track