Ákos Hajdu -

Registered user since Thu 3 Oct 2019

Name:Ákos Hajdu

Country:United Kingdom

Affiliation:Meta

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

Twitter:https://twitter.com/himynameisakos

GitHub:https://github.com/hajduakos

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

Contributions

FormaliSE 2023	Committee Member in Program Committee within the FormaliSE 2023-track
Infer 2023	Committee Member in Organizing Committee within the Infer 2023-track Committee Member in Organizing Committee within the Infer 2023-track Committee Member in Program Committee within the Infer 2023-track
VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
Erlang 2022	Author of InfERL: Scalable and Extensible Erlang Static Analysis within the Erlang 2022-track
Infer 2022	Author of InfERL: Scalable and extensible static analysis for Erlang 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
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
MSR 2021	Committee Member in Shadow PC committee within the Shadow PC-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